C++ lamda表达式

序

lamda表达式是c++11规范引入的新语法。这是一个已经出现在众多语言中的一个语法形式。引用百科中对于lamda表达式的解释：

“Lambda 表达式”(lambda expression)是一个匿名函数，Lambda表达式基于数学中的λ演算得名，直接对应于其中的lambda抽象(lambda abstraction)，是一个匿名函数，即没有函数名的函数。

基本语法

基本语法如下

[capture](parameters) mutable ->return-type{statement}

各部分解释如下

1. [capture]：捕捉列表。捕捉列表总是出现在Lambda函数的开始处。实际上，[]是Lambda引出符。编译器根据该引出符判断接下来的代码是否是Lambda函数。捕捉列表能够捕捉上下文中的变量以供Lambda函数使用;
2. (parameters)：参数列表。与普通函数的参数列表一致。如果不需要参数传递，则可以连同括号“()”一起省略;
3. mutable：mutable修饰符。默认情况下，Lambda函数总是一个const函数，mutable可以取消其常量性。在使用该修饰符时，参数列表不可省略（即使参数为空）;
4. ->return-type：返回类型。用追踪返回类型形式声明函数的返回类型。我们可以在不需要返回值的时候也可以连同符号->一起省略。此外，在返回类型明确的情况下，也可以省略该部分，让编译器对返回类型进行推导;
5. {statement}：函数体。内容与普通函数一样，不过除了可以使用参数之外，还可以使用所有捕获的变量。

注意到，lamda表达式，与普通函数，最大的不同，在于拥有捕获列表。捕获列表有一下几种形式

1. [var]表示值传递方式捕捉变量var；
2. [=]表示值传递方式捕捉所有父作用域的变量（包括this）；
3. [&var]表示引用传递捕捉变量var；
4. [&]表示引用传递方式捕捉所有父作用域的变量（包括this）；
5. [this]表示值传递方式捕捉当前的this指针。

注意的是，捕获列表可以组合，但是不能重复。

// 合法的例子：
[&, a, b]
[=, &a, &b]
// 非法的例子：
[=, a]
[&, &a]

lamda的使用

用于函数参数

在使用STL时，我们有时需要传递一些函数参数给STL的算法函数，在没有lamda表达式之前，我们有两种做法，一种是传递函数，一种是传递函数对象。现在，我们可以简单的传递lamda表达式，比如：

for_each(vec.begin(), vec.end(), [](int v){cout << v < endl;})

用于闭包

有了lamda表达式，我们能够很方便的实现闭包，而不必通过函数调用，每次都传递相应的值。比如

int a = 10;
auto func = [&a](int v){cout << v + a << endl;};
for (auto i : vec) {
    func(i);
    ++a;
}

总结

lamda表达式在现代语言中，非常的普遍。lamda表达式简化了我们的一些语法，使得代码的表达更加的清晰，便于书写与阅读。