c++11/14新特性解读之四（lambda与仿函数，lambda与STL）

lambda
首先定义一下lambda函数的语法定义：

[capture] (parameters) mutable ->return-type(statement)
其中，
[capture]：捕捉列表，[]是lambda引出符。编译器根据引出符判断接下来的代码是否是lambda函数。捕捉列表能够捕捉上下文的变量以供lambda函数使用。具体的方法见下文中会描述。
(parameters)：参数列表。与普通函数参数列表一致。如果不需要传递参数，则可以连同()一起省略。
mutable：修饰符。默认情况下，lambda函数总是一个const函数，mutable可以取消其常量性。使用该修饰符时，参数列表不可省略(即使参数为空)。
->return-type：返回类型。用追踪返回类型形式声明函数的返回类型。出于方便，不需要返回值的时候也可以连同->一起省略。此外，返回类型明确的情况下，也可以省略该部分，让编译器对返回值类型进行推导。
[statement]：函数体。内容与普通函数一样，不过除了可以使用参数外，还可以使用所有捕获的变量。下面根据定义列出各种lambda函数。

int main()
{
 []{}; // 最简单的lambda函数
 int a = 3;
 int b = 4;
 [=]{return a + b}; // 省略了参数列表与返回值类型
 auto fun1 = [&](int c){b = b+ c}; // 省略了返回值类型
 auto fun2 = [=,&b](int c)->int{return b += a + c}; // 各部分都完整的lambda函数
}

语法上，捕捉列表由多个捕捉项组成，并以‘,’分割。捕捉列表由如下的几种形式：
[var]表示值传递方式捕捉变量var.
[=]表示值传递方式捕捉所有父作用域的变量(包括this)。
[&var]表示引用传递捕捉变量var。
[&]表示引用传递所有父作用域的变量(包括this)。
[this]表示值传递方式捕捉当前的this指针。

这里有必要解释一下的是对于 值传递 是传递的是编译时期的值而非运行时期的值。
例如：

int main()
{
 int a = 1;
 auto f = [a]()mutable
 {
  cout << a << endl;
  a++;
 }；
 a = 10;
 f();
 f();
 f();
}

输出结果是
1
2
3
可以看出，在定义lambda函数时，编译器会把当前定义捕捉变量的值传进来，而非运行时的值捕获。

仿函数
仿函数简单的说就是一个类中重载了()操作符，例如：

class funobj
{
public:
 int operator()(int a,int b)
 {
  return a + b;
 }
}

int main()
{
 funobj fun;
 int sum = fun(1,2);
 cout << sum << endl;
 return 0;
}

输出结果：3
这里的fun实际上是一个对象，我们通常把他叫做函数对象或者仿函数
这样的对象有个特点，就是其使用在代码层面感觉跟函数的使用一样，但究其本质并非函数。

在来看一个例子：

class funobj
{
public:
 funobj(int a) :x(a) {}
 int operator()(int b) const
 {
  return x + b;
 }
private:
 int x;
};
int main()
{
 int a = 1;
 funobj fun(a);
 auto fun1 = [a](int b)
 {
  return a + b;
 };
 cout << fun(2) << endl;
 cout << fun1(2) << endl;
 return 0;
}

在这个例子中，lambda捕捉了变量a,而仿函数则以a初始化类，其他的，如参数传递上两者保持一致。可以看到，除在语法层面上的不同，lambda和仿函数却有着相同的内涵----都可以捕捉一些变量作为初始状态，并接受参数进行计算。

实际上，仿函数是编译器实现lambda的一种方式

等价关系如箭头所示。

lambda与STL
一个最为常见的STL算法for_each,for_each的一个示意实现如下：

for_each(iterator begin,iterator end,Function fn)
{
  for(iterator i = begin;i != end;i++)
    fn(*i);
}

通常我们可以将fn用lambda表示。在STL中有很多类似这样的用法。具体可参见STL。