如何告诉static_assert constexpr函数参数是const？

Question

我有一个constexpr函数，看起来像这样：

constexpr int foo(int bar)
{
   static_assert(bar>arbitrary_number, "Use a lower number please");

   return something_const;
}

但是，使用GCC 4.6.3进行编译时不断告诉我

错误：'bar'不能出现在常量表达式中

我试过类似的东西

constexpr int foo(constexpr const int bar)
{
   static_assert(bar>arbitrary_number, "Use a lower number please");

   return something_const;
}

但constexpr不能用于函数参数。

是否有一些简单的方法告诉编译器bar始终是编译时常量？

Answer 1

是否有一些简单的方法告诉编译器bar始终是编译时常量？

如果bar总是编译时常量，那么你应该把你的函数编写为：

template<int bar>
constexpr int foo()
{
   static_assert(bar>arbitrary_number, "Use a lower number please");
   return something_const;
}

因为如果你不这样做，而是写下你已经写过的东西，那么在这种情况下， 也可以使用非const参数调用该函数; 只是当你传递非const参数时，函数将失去它的constexpr -ness。

请注意，在上面的代码中， arbitrary_number应该是常量表达式，否则它将无法编译。

Answer 2

constexpr函数可以在编译时进行评估，它一般不受标准强制（你可以在编译时强制通过在常量表达式中使用它来评估函数，比如用它初始化constexpr变量）。

此外， constexpr函数的参数实际上不是常量，它们可能随着每次调用而改变（即使在编译时进行评估）。

一个解决方法是使用非类型模板来传递bar ，如果它总是一个编译时常量（它似乎是）。

Answer 3

foo可以按以下方式使用：

int i;
std::cin >> i;
foo("foo", i);

正如您所看到的， i不完全是上面的常量表达式，但它仍然可以与constexpr函数一起使用。 constexpr函数（和函数模板）是一个奇怪的野兽，保证例如foo(p, i)是一个常量表达式iff p和i也是， 但仍然可以像常规函数一样使用。

如果函数的参数确实始终是常量表达式，那么它们应该是模板参数，而不是函数参数。