带有编译时验证的 constexpr 构造函数

Question

我想建立一个带有 constexpr-ness 选项的类。而且，当然，我想利用编译时错误检查。

当给定参数不是常量表达式时，每个constexpr 函数（包括构造函数）也必须在运行时工作。这应该就是为什么每次在 constexpr 函数中对函数参数使用 static_assert 时它无法编译的原因。

这么说，我已经读过可以使用异常抛出机制，因为当函数在常量表达式上调用时，可以在编译时评估这些异常。如果这样的话，对于函数来说问题就解决了。

但是构造函数的问题仍然没有解决，因为constexpr构造函数似乎必须没有主体......所以看起来我不能使用从那里抛出异常！

有什么想法吗？

Answer 1

以下可能会有所帮助：

class A
{
public:
    constexpr A(int i) : i(i != 42 ? throw 42 : i) {}
private:
    int i;
};

int main(int argc, char *argv[])
{
    constexpr A a1(42);
    //constexpr A a2(41); // Compile error as expected.
    return 0;
}