c++ - 处理 constexpr 函数中的 fatal error (或断言)

Question

如果参数类型T错误，下面的函数怎么办？

    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);

可能的替代方案是 1) 抛出异常 2) assert 3) 静态断言

1) 我应该抛出什么类型的异常？

2) 它是实现定义的，不保证是一个 costexpr。

3) static_assert(false) 总是独立于 T 失败。

Answer 1

static_assert(false) always fails independently of T.

然后让它依赖于T。

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

// ...

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

是的，这是魔术师的把戏。但干巴巴的法律条文是可以接受的。遗憾的是，没有真正更好的方法来在 if constexpr 的依赖分支中打印有用的诊断信息。