首先摆出Lambda表达式语法

lambda-expression:
　　lambda-introducer lambda-declarator_opt compound-statement
lambda-introducer:
　　[ lambda-capture_opt ]

lambda-capture:
　　capture-default
　　capture-list
　　capture-default , capture-list
capture-default:
　　&
　　=
capture-list:
　　capture
　　capture-list , capture
capture:
　　identifier
　　& identifier
　　this
lambda-declarator:
　　( parameter-declaration-clause ) attribute-specifier_opt mutable_opt exception-specification_opt trailing-return-type_opt

然后用一张图表示他们的属性：

1. capture 子句）

2. 参数列表）

3. 可变规范）

4. 异常规范）

5. 返回类型）

6. lambda 体）

之后是capture 子句（最让人搞不懂的地方）

&) 前缀的变量通过引用访问，没有该前缀的变量通过值访问。通过只访问局部变量是只读的。除非你加上了mutable。。

[ ] 指示 lambda 表达式的主体不访问封闭范围中的变量。

factor，则以下 capture 子句等效：

[&total, factor]
[factor, &total]
[&, factor]
[factor, &]
[=, &total]
[&total, =]

capture-default 时，只有 lambda 中提及的变量才会被捕获。

以下代码片段给出了一些示例。

struct S { void f(int i); };

void S::f(int i) {
    [&, i]{};    // OK
    [&, &i]{};   // ERROR: i preceded by & when & is the default
    [=, this]{}; // ERROR: this when = is the default
    [i, i]{};    // ERROR: i repeated
}

可变参数模板示例中所示：

template<class... Args>
void f(Args... args) {
    auto x = [args...] { return g(args...); };
    x();
}

在使用 capture 子句时，建议记住以下几点（尤其是使用采取多线程的 lambda 时）：

• mutable 允许修改副本，而不能修改原始项。美柚mutable连副本都不能修改）

• 引用捕获会反映外部变量的更新，而值捕获却不会反映。

• 引用捕获引入生存期依赖项，而值捕获却没有生存期依赖项。

参数列表

[&]  {int a, b = 1;a = b + 1; }();

可变规范

异常规范

auto x1 = [](int i){ return i; }; // OK: return type is int
auto x2 = []{ return{ 1, 2 }; };  // ERROR: return type is void, deducing
                                  // return type from braced-init-list is not valid
auto x2 = [](int i) -> initializer_list<int>{return {1, 2};};  //OK: return type is compatible

Lambda 体

普通函数和 lambda 表达式的主体均可访问以下变量类型：

• 参数

• 本地声明变量

• this 时）

• 具有静态存储持续时间的任何变量（例如，全局变量）

lambda 表达式的主体使用默认捕获模式来访问隐式捕获的变量。

m 的 lambda 表达式：