Lambda 没有自动推断返回类型

Question

当我在 https://stackoverflow.com/a/32115498/383779 上回答我自己的问题时，我又有了疑问。

在

const CArray<CItem*>& Items=
    (ItemsInput!= nullptr)?
        *ItemsInput
    :
        [this]() -> const CArray<CItem*>&
        {
            CArray<CItem*> InnerItems;
            GetContainer().GetInnerItems(InnerItems, NULL, true);
            return (InnerItems);
        } ()
;

我尝试删除-> const CArray<CItem*>&返回部分，但编译时出现两个错误：

1>FunctionClass.cpp(line of last semicolon): error C2440: 'initializing' : cannot convert from 'void' to 'const CArray<TYPE> &'
1>          with
1>          [
1>              TYPE=CItem *
1>          ]
1>          Expressions of type void cannot be converted to other types


1>FunctionClass.cpp(line of the return statement): error C3499: a lambda that has been specified to have a void return type cannot return a value

有人可以解释为什么吗？不是应该让 lambda 自动从它的 return 语句中推断出要返回的类型吗？

Answer 1

来自 C++11 标准（N3242 5.1.2/4 确实是旧规范）

如果 lambda 表达式不包含尾随返回类型，则它是 好像尾随返回类型表示以下类型：

——如果 复合语句的形式是

{ 属性说明符序列选择返回表达式； }

后面返回的表达式的类型 左值到右值的转换（4.1），数组到指针的转换 (4.2)，以及函数到指针的转换(4.3)；

——否则无效。

由于您的 lambda 不仅仅是返回表达式，因此返回类型为 void。

这被认为是 C++11 中的一个缺陷 (DR-985)，许多编译器已经放宽了对 C++14 的这些限制，即使在 C++11 模式下也是如此（感谢@dyp）。

Answer 2

您需要使用 C++14 支持进行编译，以便在正文不仅仅是返回语句的情况下工作。您使用的是什么编译器和版本？

无论如何，您为什么返回 (InnerItems) 而不是 InnerItems ？是显式返回对该局部变量的引用吗？