C++ 11 理解lambda表达式

在该篇文章中并不准备从头详细讲解lambda表达式，只给出一些样例和比较关键点。

首先，给出lambda表达式的形式

[capture list] (parameter list) -> return type {function body}

capture list

为捕捉列表

parameter list

参数列表

return type

返回值类型

function body

函数体

这里，我们直接看一个例子

#include <iostream>
int main()
{
int t = 2;
auto f = [t](int a, float b)->float {return t*a*b; };
t = 3;
std::cout << f(2, 3);
return 0;
}

该方法输出结果为

12

其中该程序的重点在lambda表达式，

auto f = [t](int a, float b)->float {return t*a*b; };

-

t

为捕捉到的值，该捕捉到的值，可以传入到函数体中使用

-

int a, float b

为参数列表，这个与普通的函数是一样的

-

-> float

紧接着

->

指定返回值类型。某些情况是可以省略的（忽略时，如果函数体只有一个return语句时，返回类型从返回的表达式的类型推断出来，否则，返回void

-

return t*a*b

为函数体，可根据自己需要填充，可以使用捕捉列表中值与参数列表中的值

而这么部分，只是对lambda表达式的定义，而调用时，可以像一个普通函数一样调用它，例如，我们下面所调用的

f(2,3)

那么，问题来了，为什么输出的是12

在相关资料中，找到一句话，“被捕获的变量值是在lambda创建时拷贝” “被捕获的变量值是在lambda创建时拷贝” “被捕获的变量值是在lambda创建时拷贝” 重要的事情说三遍。

啊？好难理解？额，一般来说，记住这句话就成了，但是，既然提出来了，我们就研究一下。？

在编译器编译时，lambda表达式会对应一个新的类类型，注意，是类，那么，这个类长什么样子？

class A{
public:
A(int t):t(t){};  //该形参对应捕获的变量
//该调用运算符的返回类型、形参和函数体都与lambda一致
float operator()(int a,float b) const
{
return t*a*b;
}
private:
int t;
};

默认情况下，从lambda生成的类都包含一个对应该lambda所捕获的变量的数据成员。类似任何普通类的数据成员，lambda的数据成员也在lambda对象创建时被初始化。

这样，就可以理解了，当一个函数传递一个lambda时，同时定义了一个新类型和该类型的一个对象：传递的参数就是此编译器生成的类类型的未命名对象。

到这里，应该可以结束了，但是，你注意到了吗？

operator()

是一个const的函数，不能改变成员变量的值，这个，你可以试试，

auto f = [t](int a, float b)->float {t = 3; return t*a*b; };

编译器会提醒你编译错误的。

当然，lambda表达式还有一些其他的重点，例如捕捉列表也可以传引用，lambda表达式的调用技巧等，这里不再一一介绍。