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

Question

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

问题的答案是否定的。然而，它是关于 C++11 的。

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

Answer 1

不，C++14 中的情况根本没有改变，事实上 5.1.2 Lambda 表达式 段落 2 已收紧:

A lambda-expression shall not appear in an unevaluated operand (Clause 5).

到:

[...]A lambda-expression shall not appear in an unevaluated operand (Clause 5), in a templateargument, in an alias-declaration, in a typedef declaration, or in the declaration of a function or function template outside its function body and default arguments. [ Note: The intention is to prevent lambdas from appearing in a signature. —end note ][...]

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

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

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

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