lambda 函数/表达式是否支持 constexpr？

Question

struct Test
{
  static const int value = []() -> int { return 0; } ();
};

使用 gcc-4.6，我得到类似错误：函数需要为 constexpr 的信息。我尝试了在不同位置放置 constexpr 的多种组合，但没有成功。

lambda 函数是否也支持 constexpr（无论是否指定返回类型）？正确的语法是什么？

有什么解决办法吗？

Answer 1

更新：从 C++17 开始，常量表达式中允许使用 lambda。

---

根据 [expr.const]/(2.6)，目前 (C++14) 不允许在常量表达式中使用 Lambda，但它们一旦N4487 被接受（可以在工作草案中找到） N4582）：

该提案建议在常量中允许使用 lambda 表达式
表达式，删除现有的限制。作者提出
某些lambda表达式以及对某些闭包的操作
允许对象出现在常量表达式中。在这样做的过程中，
我们还建议将闭包类型视为文字类型，如果
它的每个数据成员的类型都是文字类型；并且，如果
lambda 声明符中省略了 constexpr 说明符，即
如果满足，则生成的函数调用运算符为 constexpr
constexpr 函数的要求（类似于
隐式定义已经发生的 constexpr 推断
构造函数和赋值运算符函数）。

Answer 2

来自 C++0x FDIS §7.1.5[dcl.constexpr]/1：

constexpr 说明符仅适用于变量的定义、函数或函数模板的声明或文字类型的静态数据成员的声明。

lambda 表达式不是这些东西，因此不能声明 constexpr。

Answer 3

C++17 之前 lambda 与 constexpr 不兼容。它们不能在常量表达式中使用。

从 C++17 开始 lambda 是有意义的 constexpr 。提案N4487将被纳入C++17标准。在 他的网站上 Herb ISO C++ 委员会主席 Sutter 表示：

现在允许在 constexpr 函数中使用 Lambda。

Answer 4

FFWD 到 2018 年 :)

auto my_const_expression_lambda = []()
  constexpr -> bool
{
   return true ;
}

自 c++17 起

Answer 5

我知道这是一个老问题，但没有人为此指定解决方法。解决方法是使用 constexpr 函子，如下所示：

struct functor
{
    constexpr int operator()() { return 0; }
};

struct Test
{
  static const int value = functor{}();
};

这不是最佳选择，因为它将代码移离了使用的位置，但当您没有太多选项时，这是可行的。对于仍使用 c++14 编译的项目，我必须使用类似的东西。这个简单的案例已在 c++11 上进行了测试：https://godbolt.org/z/Gvxq19jsd

但是，如果您有 c++17 或更高版本，则使用所描述的：

struct Test
{
  static constexpr int value = []() constexpr { return 0; }();
};

是一个更好的选择。