通用Lambda在C ++ 14中如何工作？

Question

通用Lambda如何auto在C ++ 14标准中工作（关键字作为参数类型）？是否基于C ++模板，其中每个不同的参数类型，编译器都会生成具有相同主体但已替换类型的新函数（编译时多态性），或者它更类似于Java的泛型（类型擦除）？代码示例：auto glambda = [](auto a) { return a; };

Answer 1

通用lambda在引入C++14。

简单来说，由lambda表达式定义的闭包类型将具有模板化的调用运算符，而不是C++11的lambdas 的常规非模板调用运算符（当然，auto在参数列表中至少出现一次）。

所以你的例子：

auto glambda = [] (auto a) { return a; };

将创建glambda此类型的实例：

class /* unnamed */

{

public:

    template<typename T>

    T operator () (T a) const { return a; }

};

C ++ 14标准草案n3690的5.1.2 / 5段指定了如何定义给定lambda表达式的闭包类型的调用运算符：

非通用lambda表达式的闭包类型具有公共内联函数调用运算符（13.5.4），其参数和返回类型分别由lambda表达式的parameter-declaration-clause和Trailing-return-type描述。对于通用lambda，闭包类型具有一个公共的内联函数调用操作员成员模板（14.5.2），该模板的template-parameter-list由一个发明的类型template-parameter组成，用于lambda的parameter-declaration-clause中每次出现的auto，按出场顺序。如果相应的参数声明声明了功能参数包（8.3.5），则本发明的类型template-parameter是参数包。函数调用运算符模板的返回类型和函数参数是从lambda表达式的尾随返回类型和参数声明子句派生的，方法是将参数声明子句的decl-specifiers中的auto每次出现替换为name相应的发明模板参数。

最后：

它是否类似于模板，对于每个不同的参数类型，编译器都会生成具有相同主体但类型已更改的函数，还是与Java的泛型更相似？

如以上段落所述，泛型lambda只是具有模板化调用运算符的唯一未命名函子的语法糖。那应该回答你的问题:)

Answer 2

这是提议的C ++ 14功能（不在C ++ 11中），与模板相似（甚至等效）。例如，N3559提供了以下示例：

例如，以下通用lambda-expression包含语句：

auto L = [](const auto& x, auto& y){ return x + y; };

可能会导致创建闭包类型，并且对象的行为类似于以下结构：

struct /* anonymous */

{

    template <typename T, typename U>

    auto operator()(const T& x, U& y) const // N3386 Return type deduction

    { return x + y; }

} L;