C++11的lambda表达式

Lambda表达式是一种匿名函数，允许我们在不声明方法的情况下，直接定义函数。它是函数式编程的一种重要特性，常用于简化代码、优化程序结构和增强代码可读性。

lambda表达式的语法非常简单，具体定义如下：

[ captures ] ( params ) specifiers exception -> ret { body }

举例：

#include <iostream>

int main()
{
	int x = 3, y = 4;

	auto res = [x](int y)->int{
		return x + y;
	};

	std::cout << res(y) << std::endl;

	system("pause");
	return 0;
}

[ captures ] —— 捕获列表，它可以捕获当前函数作用域的零个或多个变量，变量之间用逗号分隔。在对应的例子中，[x]是一个捕获列表，不过它只捕获了当前函数作用域的一个变量x，在捕获了变量之后，我们可以在lambda表达式函数体内使用这个变量，比如return x * y。另外，捕获列表的捕获方式有两种：按值捕获和引用捕获
( params ) —— 可选参数列表，语法和普通函数的参数列表一样，在不需要参数的时候可以忽略参数列表。对应例子中的(int y)。
specifiers —— 可选限定符，C++11中可以用mutable，它允许我们在lambda表达式函数体内改变按值捕获的变量，或者调用非const的成员函数。上面的例子中没有使用说明符。
exception —— 可选异常说明符，我们可以使用noexcept来指明lambda是否会抛出异常。对应的例子中没有使用异常说明符。
ret —— 可选返回值类型，不同于普通函数，lambda表达式使用返回类型后置的语法来表示返回类型，如果没有返回值（void类型），可以忽略包括->在内的整个部分。另外，我们也可以在有返回值的情况下不指定返回类型，这时编译器会为我们推导出一个返回类型。对应到上面的例子是->int。
{ body } —— lambda表达式的函数体，这个部分和普通函数的函数体一样。对应例子中的{ return x + y; }。

在lambda函数的定义中，参数列表和返回类型都是可选的部分，而捕捉列表和函数体都可能为空。那么在极端情况下，C++11中最为简略的lambda函数只需要声明为

  []{};

就可以了。不过理所应当地，该lambda函数不能做任何事情。

捕获列表的作用域

捕获列表中的变量存在于两个作用域——lambda表达式定义的函数作用域以及lambda表达式函数体的作用域。

前者是为了捕获变量，后者是为了使用变量。另外，标准还规定能捕获的变量必须是一个自动存储类型。简单来说就是非静态的局部变量。

在这里插入图片描述可以看到，当我们把全局变量和一个静态变量放到捕获列表中会报错。

如果我们要在函数体内使用全局变量和静态变量的话直接使用即可。

#include <iostream>

int x = 0;

int main()
{
	static int y = 2;

	auto res = []()->int{
		return x + y;
	};

	std::cout << res() << std::endl;

	system("pause");
	return 0;
}

如果我们将一个lambda表达式定义在全局作用域，那么lambda表达式的捕获列表必须为空。因为根据上面提到的规则，捕获列表的变量必须是一个自动存储类型，但是全局作用域并没有这样的类型，比如：

#include <iostream>

int x = 0;

static int y = 2;

auto res = []()->int {
	return x + y;
};

int main()
{
	std::cout << res() << std::endl;

	system("pause");
	return 0;
}

捕获列表的捕获值和引用

捕获列表的捕获方式分为捕获值和捕获引用。

捕获值

#include <iostream>

int main()
{
	int x = 3, y = 2;

	auto res = [x, y]()->int {
		return x + y;
	};

	std::cout << res() << std::endl;	// 5

	system("pause");
	return 0;
}

捕获引用

捕获引用的语法与捕获值只有一个&的区别，要表达捕获引用我们只需要在捕获变量之前加上&，类似于取变量指针。只不过这里捕获的是引用而不是指针，在lambda表达式内可以直接使用变量名访问变量而不需解引用

#include <iostream>

int main()
{
	int x = 3, y = 2;

	auto res = [&x, &y]()->int {
		return x + y;
	};

	std::cout << res() << std::endl;

	system("pause");
	return 0;
}

如果只是读捕获列表中的值，那么上述两个例子没有区别，但是要修改捕获列表的值就有区别。

void bar1()
{
    int x = 5, y = 8;
    auto foo = [x, y] {
        x += 1;             // 编译失败，无法改变捕获变量的值
        y += 2;             // 编译失败，无法改变捕获变量的值
        return x * y;
    };
    std::cout << foo() << std::endl;
}

void bar2()
{
    int x = 5, y = 8;
    auto foo = [&x, &y] {
        x += 1;
        y += 2;
        return x * y;
    };
    std::cout << foo() << std::endl;
}

在上面的代码中函数bar1无法通过编译，原因是我们无法改变捕获变量的值。这就引出了lambda表达式的一个特性：捕获的变量默认为常量，或者说lambda是一个常量函数（类似于常量成员函数）。

bar2函数里的lambda表达式能够顺利地通过编译，虽然其函数体内也有改变变量x和y的行为。这是因为捕获的变量默认为常量指的是变量本身，当变量按值捕获的时候，变量本身就是值，所以改变值就会发生错误。相反，在捕获引用的情况下，捕获变量实际上是一个引用，我们在函数体内改变的并不是引用本身，而是引用的值，所以并没有被编译器拒绝。

另外，使用mutable说明符可以移除lambda函数的常量性。例如：

void bar1()
{
	int x = 5, y = 8;
	auto foo = [x, y]() mutable{
		x += 1;             
		y += 2;             
		return x * y;
	};
	std::cout << foo() << std::endl;
}

但是这并不意味着二者就没有任何区别了，捕获值和捕获引用最根本上和函数参数的值传递和引用传递是一样的。例如：

void bar1()
{
	int x = 5, y = 8;
	auto foo = [x, y]() mutable{
		x += 1;             // 编译失败，无法改变捕获变量的值
		y += 2;             // 编译失败，无法改变捕获变量的值
		return x * y;
	};

	std::cout << foo() << std::endl;	// 60
	std::cout << x << std::endl;		// 5
	std::cout << y << std::endl;		// 8
}

void bar2()
{
	int x = 5, y = 8;
	auto foo = [&x, &y] {
		x += 1;
		y += 2;
		return x * y;
	};

	std::cout << foo() << std::endl;	// 60
	std::cout << x << std::endl;		// 6
	std::cout << y << std::endl;		// 10
}

对于捕获值的lambda表达式还有一点需要注意，捕获值的变量在定义lambda表达式时就固定下来，无论在定义lambda表达式定义之后如何修改这个变量的值，在lambda函数体内都不会改变。例如：

void bar2()
{
	int x = 5, y = 8;
	auto foo = [x, &y] {
		return x * y;
	};

	x += 1;
	y += 2;

	std::cout << foo() << std::endl;	// 50
	std::cout << x << std::endl;		// 6
	std::cout << y << std::endl;		// 10
}

特殊的捕获方法

lambda表达式的捕获列表除了指定捕获变量之外还有3种特殊的捕获方法。

1．[this] —— 捕获this指针，捕获this指针可以让我们使用this类型的成员变量和函数。

class A
{
public:

	void Print()
	{
		std::cout << "class A" << std::endl;
	}

	void Test()
	{
		auto foo = [this] {
			
			Print();

			x += 2;

			std::cout << x << std::endl;
		};

		foo();
	}

private:

	int x = 2;
};

2．[=] —— 捕获lambda表达式定义作用域的全部变量的值，包括this。

void bar2()
{
	int x = 5, y = 8;
	auto foo = [=] {
		return x * y;
	};

	std::cout << foo() << std::endl;	// 40
}

3．[&] —— 捕获lambda表达式定义作用域的全部变量的引用，包括this。

void bar2()
{
	int x = 5, y = 8;
	auto foo = [&] {
		return x * y;
	};

	std::cout << foo() << std::endl;	// 40
}

无状态的lambda表达式

C++标准对于无状态的lambda表达式有着特殊的照顾，即它可以隐式转换为函数指针，例如：

void f(void(*)()) {}
void g() { f([] {}); } // 编译成功

在上面的代码中，lambda表达式[] {}隐式转换为void(*)()类型的函数指针。同样，看下面的代码：

void f(void(&)()) {}
void g() { f(*[] {}); }

这段代码也可以顺利地通过编译。我们经常会在STL的代码中遇到lambda表达式的这种应用。

在STL中使用lambda表达式

使用lambda表达式作为STL算法的第三个参数

#include <iostream>
#include <vector>
#include <algorithm>

int main()
{
	std::vector<int> x = { 1,2,3,4,5,6 };

	std::cout << *std::find_if(x.begin(), x.end(), [](int i) {

		return (i % 3) == 0;

	}) << std::endl;

	system("pause");
	return 0;
}