c++ - 编译时 constexpr 错误，但运行时没有开销

Question

有一个众所周知的技巧可以通过执行以下操作在 constexpr 函数的评估中导致编译时错误:

constexpr int f(int x) {
    return (x != 0) ? x : throw std::logic_error("Oh no!");
}

如果在 constexpr 上下文中使用该函数，如果 x == 0 则会出现编译时错误。但是，如果 f 的参数不是 constexpr，那么如果 x == 0，它将在运行时抛出异常，这可能不会出于性能原因总是需要的。

类似于 assert 被 NDEBUG 保护的理论，有没有办法用 constexpr 函数导致编译时错误，但在运行时不执行任何操作？

最后，C++1y (C++14) 中宽松的 constexpr 规则有什么改变吗？

Answer 1

有没有办法使用 constexpr 函数导致编译时错误，但在运行时不执行任何操作？

您可以使用完全相同的技巧，但不要使用 throw-expression，而是使用不是常量表达式但在运行时执行您想要的操作的表达式。例如:

int runtime_fallback(int x) { return x; } // note, not constexpr
constexpr int f(int x) {
  return (x != 0) ? x : runtime_fallback(0);
}

constexpr int k1 = f(1); // ok
constexpr int k2 = f(0); // error, can't call 'runtime_fallback' in constant expression
int k3 = f(0);           // ok

C++1y (C++14) 中宽松的 constexpr 规则会改变什么吗？

不在这个区域，不。有一些表达式形式在 C++14 中的常量表达式中有效，但在 C++11 中无效，但既不是 throw-expressions 也不是对非 constexpr 的调用函数在该列表中。