C++ 11 - constexpr函数中的static_assert？

Question

如何static_assert在一个constexpr函数中正确执行？例如:

constexpr int do_something(int x)
{
  static_assert(x > 0, "x must be > 0");
  return x + 5;
}

这不是有效的C++ 11代码,因为constexpr函数必须只包含return语句.我不认为该标准有例外,但GCC 4.7不允许我编译这段代码.

Answer 1

这不是有效的C++ 11代码,因为constexpr函数必须只包含return语句.

这是不正确的.static_assert在一个constexpr功能是好的.什么是不好的是在常量表达式中使用函数参数,就像你这样做.

你可以扔掉x <= 0.在需要常量表达式的上下文中调用该函数将无法编译

constexpr int do_something(int x) {
  return x > 0 ? (x + 5) : (throw std::logic_error("x must be > 0"));
}

Answer 2

这是有效的C++ 11代码,因为模板参数只是编译时间:

template <int x>
constexpr int do_something() {
    static_assert(x > 0, "x must be > 0");
    return x + 5;
}

我遇到了与C++中常量表达式相同的问题.目前关于constexprs的文档很少.请注意,在gcc的问题跟踪器中有一些已知的错误,但你的问题似乎不是一个错误.

请注意,如果在类中声明constexpr函数,则无法在类中使用它们.这似乎也不是一个错误.

编辑:根据标准允许这样:7.1.3状态

...或仅包含的复合语句

• 空语句,
• static_assert -declarations
• typedef声明和不
  定义类或枚举的别名声明,
• 使用申述,
• using指令,
• 而且只有一个退货声明