如何告诉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也是，但仍然可以像常规函数一样使用。

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