Lambda Expressions in C++

1. 捕捉块(catpure block): 指定如何捕捉所在作用域中的变量，并供给lambda主体使用。
2. 参数(parameter): (可选)lambda表达式使用的参数列表。只有在不使用任何参数，并且没有自定mutable、一个exception_specification 和一个return_type的情况下可以忽略该列表，返回类型在某些情况下也是可以忽略的，详见对return_type的说明：eg: [] {return 10;}
3. mutable：（可选）如果所在作用域的变量是通过值捕捉到，那么lambda表达式主体中可以使用这些变量的副本。这些副本默认标记为const，因此lambda表达式的主体不能修改这些副本的值。如果lambda表达式标记为mutable，那么这些副本则不是const，因此主体可以修改这些本地副本。
4. exception_specification：（可选）用于指定lambda可以抛出的异常。
5. return_type：（可选）返回值的类型。如果忽略了return_type，那么编译器会根据以下原则判断返回类型：
6. 如果lambda表达式主体的形式为{return expression;}那么表达式return_type的类型为expression的类型，其他情况下的return_type为void

• 参数列表和普通函数的参数列表类似，区别如下：
• 参数不能有默认值。
• 不允许变长参数列表。
• 不允许未命名的参数。

lambda表达式的方括号部分称为lambda捕捉块(capture block)，在这里可以指定如何从所在作用域中捕捉变量。捕捉变量的意思是可以在lambda表达式主体中使用这个变量。有两种方式：

• [=]：通过值捕捉所有变量
• [&]：通过引用捕捉所有变量

指定空白的捕捉块[]表示不从所在作用域中捕捉变量。还可以酌情决定捕捉那些变量以及这些变量的捕捉方法，方法是指定一个捕捉列表，其中带有可选的默认捕捉选项。前缀为&的变量通过引用捕捉。不带前缀的变量通过值捕捉。默认捕捉应该是捕捉列表中的第一个元素，可以是=或&。

例如：

[&x]只通过引用捕捉x，不捕捉其他变量。

[x]只通过值捕捉x，不捕捉其他变量。

[=, &x， &y]默认通过值捕捉，变量x和y例外，这两个变量通过引用捕捉。

[&, x]默认通过引用捕捉，变量x例外，这个变量通过引用捕捉。

[&x, &y]非法，因为标志符不允许重复。

通过引用捕捉变量的时候，一定保证党lambda表达式在执行的时候，这个引用还是可用的。

转载于:https://my.oschina.net/pirtt/blog/888026