Lambda 表达式作为 C++14 中的类模板参数

Question

问题Lambda expressions as class template parameters 询问是否可以使用 lambda 表达式作为类模板参数。

这个问题的答案是否定的。但是，它是关于 C++11 的。

新标准 C++14 的情况是否发生了变化？

Answer 1

不，C++14 中的情况根本没有改变，事实上，5.1.2Lambda 表达式第 2 部分中的语言已经从以下方面收紧：

lambda 表达式不得出现在未计算的操作数中（子句 5).

到：

[...]lambda 表达式不应出现在未计算的操作数中 （第 5 条），在模板参数中，在别名声明中，在 typedef 声明，或在函数或函数的声明中 函数体和默认参数之外的模板。 [注： 目的是防止 lambda 出现在签名中。 -结尾 注意][...]

Defect report 1607. Lambdas in template parameters 导致了这种变化。

缺陷报告只是间接地处理了不允许这样做的理由，但我们可以在Rationale for lambda-expressions not being allowed in unevaluated contexts 中找到关于为什么不允许这样做的非常详细的解释。原因归结为：

• Lambda 表达式没有唯一的类型
• 编译器实现问题：
  • 如SFINAE的非凡扩展
  • 命名 mangle 整个 lambda 主体的可能要求。

鉴于此限制的基本原理，它似乎不太可能改变。

Answer 2

新标准 C++14 的情况是否发生了变化？

Lambda 表达式仍不应出现在未计算的操作数中 - 与 Xeo's Post 中的引用相同的引用也存在于最新的公开可用草案 N3797 中，位于完全相同的位置。

但是，每个闭包类型都有一个已删除的默认构造函数（N3797，§5.1.2/20）：

与 lambda-expression 关联的闭包类型已删除 (8.4.3) 默认构造函数和一个已删除的复制赋值运算符。

因此，为了可移植性和标准一致性（并且可能为了代码在合理的编译器上工作），您需要将闭包对象传递给实例化类的构造函数以进行复制。但是要传递一个与该专业化的模板参数类型相同的闭包对象，无论如何您都必须先定义它：

using my_map_type = map<int, int, decltype([] (auto&& lhs, auto&& rhs) {return lhs < rhs*4;})>;
// Assuming the above compiles

my_map_type m( [] (auto&& lhs, auto&& rhs) {return lhs < rhs*4;} );
// Different closure type - compiler error! What do you copy from!? 

没有任何合法的方法可以创建第一个 lambda 闭包类型的单个对象。因此，即使要删除该规则，您也无法创建my_map_type 的单个实例。其他“作为模板参数的闭包类型”场景也会出现类似的问题。