处理constexpr函数中的致命错误（或断言）

Question

    template <class T>
    constexpr inline size_t GetObjectSize(const T & val)
    {
        if constexpr (std::is_arithmetic<T>::value)
        {
            return sizeof(val);
        }

        if constexpr (std::is_class<T>)
        {
            return 5u;
        }

        //there should be compile time error.
    }

    int * p;
    //compile time error
    GetObjectSize(p);

2）它是实现定义的，不保证是costexpr。

3)static_assert(false)总是与T无关地失败。

Answer 1

static_assert(false)总是与T无关地失败。

然后使其依赖于t。

template<typename>
struct always_false { enum {value = 0}; };

// ...

if constexpr(...) {
}
else {
    static_assert(always_false<T>::value, "Some useful description");
}

是的，这是一个魔术师的把戏。但法律的枯燥文字是可以接受的。遗憾的是，在If constexpr的依赖分支中打印有用的诊断信息的方法并不是更好。