Effective Modern C++ 之 lambda表达式

lambda表达式是C++11中增添的特性。lambda表达式(可调用表达式：函数，函数指针，lambda表达式，std::bind,函数对象类)是可调用表达式的一种。lambda表达式一般可以用在为智能指针创建删除器和作为算法族的实参进行传递等等。

lambda表达式可以创建闭包（lambda表达式创建的运行期的对象），闭包也是可以复制的。

    auto lambda_1 = [](int a, int b) {return a + b; };
    auto lambda_2 = lambda_1;

C++中lambda表达式的默认捕获模式有两种：按值捕获和按引用捕获。lambda表达式的捕获只能针对创建lambda表达式的作用域内可见的非静态的局部变量。

        int a = 1;
	int b = 2;
	auto _lambda = [=a]() {return a; };
	auto _lambda_ = [&b]() {return b; };

按引用捕获可能会导致空悬引用，因为如果某函数返回的是非静态的局部变量的引用或者指针，而lambda表达式正好捕获了它，那么便会导致空悬引用。还有一种情况就是如果我们捕获的非静态的局部变量的生命周期比l创建的ambda表达式的生命周期要短，也会导致空悬引用。同理对于按复制捕获的非静态的局部变量也同样的适用。

按值捕获说明捕获的是该非静态的局部变量的副本，也就是说该非静态的局部变量与副本之间是独立的。如果该非静态的局部变量是个指针，则可能会导致副本的空悬，也就是说对delete的指针，进行访问操作。

；lambda表达式不仅可以捕获非静态的局部变量和lambda表达式的形参，而你且还可以依赖（不是捕获哦）静态存储的变量。

还有，C++14中可以在lambda表达式的形参中使用auto。

auto lambda_3 = [](auto _a, auto _b) {return _a + _b; };

C++14中还引入了广泛的lambda表达式（也叫做初始化表达式）。广泛的lambda表达式（表面上）不存在捕获行为。

	auto lambda_4 = [a = a]() {return a; }; //实质是在lambda创建的闭包里面创建一个对象，然后复制到闭包里的该对象中。
	auto lambda_5 = [a=(std::move(a))]{ return a; }; //  //实质是在lambda创建的闭包里面创建一个对象，然后移动到闭包里的该对象中。

以上代码就是初始化捕获非静态的局部变量。“=”左侧的，是你指定在闭包中创建成员变量的名字。“=”右侧的，是其初始化表达式。

我们前面过，函数对象类也是一个可调用的表达式。而lambda表达式的实质就是一个函数对象类（含有operator()的成员函数的类）