C++ 11的Lambda Expressions

喵哥第一次接触Lambda Expressions是在研究Concurrency Runtime，出现的触不及防，看到那一堆代码，整个人都不好了，意识到如果要继续学习Concurrency Runtime 就必须把Lambda Expressions搞定，所以花了点时间了解了一下，也花点时间总结一下。

先给个Lambda Expressions 的大致印象：

#include <iostream>
using namespace std;

int main()
{
	int a= 5, b = 5;
	auto func = [=](int h)-> int { return b*a*h; };
	cout << func(5) << endl;
	getchar();
	return 0;
}

这是一段简单的代码，可以看成是求边长为5的立方体的体积，输出结果是125。代码的逻辑很简单，但是第二句代码看似理解了，但是一一看懂还是有点困难的，这就是一句Lambda Expressions。根据第三行的使用来看，Lambda Expressions可以看成是一个函数。它的语法如下：

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

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

与普通函数最大的区别是，除了可以使用参数以外，Lambda函数还可以通过捕获列表访问一些上下文中的数据。具体地，捕捉列表描述了上下文中哪些数据可以被Lambda使用，以及使用方式（以值传递的方式或引用传递的方式）。语法上，在“[]”包括起来的是捕捉列表，捕捉列表由多个捕捉项组成，并以逗号分隔。捕捉列表有以下几种形式：

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

捕捉列表还可以进行组合，例如：

• [=,&a,&b]表示以引用传递的方式捕捉变量a和b，以值传递方式捕捉其它所有变量;
• [&,a,this]表示以值传递的方式捕捉变量a和this，引用传递方式捕捉其它所有变量。

不过值得注意的是，捕捉列表不允许变量重复传递。下面一些例子就是典型的重复，会导致编译时期的错误。例如：

• [=,a]这里已经以值传递方式捕捉了所有变量，但是重复捕捉a了，会报错的;
• [&,&this]这里&已经以引用传递方式捕捉了所有变量，再捕捉this也是一种重复。