在decltype（自动）情况下，lambda是否有特殊规则？

Question

如果我正确理解了这个答案，并参考了标准部分[dcl.type.auto.deduct-5]，代码：

decltype(auto) a = e;

总是相当于

decltype( e  ) a = e;

但是现在问题出现了，如果我把lambda表达式放在dectype（自动）中，而不是e：

decltype(auto) lambda = [](){};

令我惊讶的是，它在gcc和clang中都编译成功。我所经历的震惊的原因在于标准，其中特别指出lambda不应该出现在未赋值的操作数[expr.prim.lambda#2]（emphasis mine）中：

lambda表达式是一个prvalue，其结果对象称为closure对象。lambda表达式不应出现在未赋值的操作数、模板参数、别名声明、typedef声明中，或在函数体和默认参数之外的函数或函数模板声明中。

但是正如我提到的，这个例子相当于：

decltype([](){}) lambda = [](){};

上述明确编写的代码显然是格式错误的。当然，我们可以假设decltype中的[]（{}语句是一种引用，它并不像结构化绑定那样是一种真正的引用，但也许在标准中有一条特殊的规则，我没有涵盖lambda初始化decltype（auto）？

Answer 1

这个答案基于我对相关标准文本的解释。这些章节并不十分清晰，意见分歧，因此目前很难知道它们的确切含义。除了可能的疏忽之外，主要的编撰者似乎都同意，所讨论的定义确实是格式良好的。

此外，我认为，如果听到这个定义的形式不正确，那将是非常令人惊讶的。

我所经历的震惊的原因在于标准，它特别指出lambda不应该出现在未赋值的操作数中

您在哪里看到lambda出现在未评估的上下文中？

decltype(auto) lambda = [](){};

我没有看到它，因为没有。lambda被用作初始化器，这是完全合法的。

现在你的困惑可能是因为你似乎认为上面的陈述相当于

decltype([](){}) lambda = [](){};

但严格来说，情况并非如此。如果你看一下措辞的语言，有一点不同（由我强调）：

如果占位符是

这里的关键词是“尽管”。它只是意味着演绎就像是decltype（e）一样发生，这意味着decltype的演绎规则适用于操作数e。

在这里，操作数e确实是lambda，但这是完全合法的，因为标准要求行为与编写decltype（[]（）{}）的行为相同，这意味着decltype演绎规则中的一条适用于lambda。现在[expr.prim.lambda]/2不适用于这里，因为lambda不在未计算的上下文中，所以编译器使用decltype（[]（）{}）来推断类型实际上是合法的，这意味着必须对lambda使用decltype规则。

当然，如果您编写dectype([](){})，则程序是格式错误的，但这种情况并非如此，如上所述。

在这种情况下，因为lambda表达式是一个prvalue，所以推导的类型应该只是lambda的类型。

至少我是这么理解的...