一、lambda表达式的简介

lambda表达式就类似于仿函数，相比仿函数要更加的简洁，我们看一下下面的代码：

//商品类
struct Goods
{
    string _name;  // 名字
    double _price; // 价格
    int _evaluate; // 评价
};

在给定的商品类中，如果我们想要通过名字、价格和评价来给商品进行升序或降序。在没有lambda表达式的时候，通过仿函数就可以实现，代码如下：

//按价格的升序
struct ComparePriceLess
{
	bool operator()(const Goods& g1, const Goods& g2)
	{
		return g1._price < g2._price;
	}
};

//按价格降序
struct ComparePriceGreater
{
	bool operator()(const Goods& g1, const Goods& g2)
	{
		return g1._price > g2._price;
	}
};

int main()
{
	vector<Goods> v = { { "苹果", 2.1, 300 }, { "香蕉", 3.3, 100 }, { "橙子", 2.2, 1000 }, { "菠萝", 1.5, 1 } };
	sort(v.begin(), v.end(), ComparePriceLess());    //按价格升序排序
	sort(v.begin(), v.end(), ComparePriceGreater()); //按价格降序排序
	return 0;
}

显然这样写是没有什么问题，但是，如果你写的仿函数在取名的时候不是很贴切，导致他人看你写的仿函数的时候，有可能看不懂，我们来看看lambda表达式写出来是什么样子的；

int main()
{
	vector<Goods> v = { { "苹果", 2.1, 300 }, { "香蕉", 3.3, 100 }, { "橙子", 2.2, 1000 }, { "菠萝", 1.5, 1 } };
	sort(v.begin(), v.end(), [](const Goods& g1, const Goods& g2)
	{
		return g1._price < g2._price; 
	}); //按价格升序排序

	sort(v.begin(), v.end(), [](const Goods& g1, const Goods& g2)
	{
		return g1._price > g2._price;
	}); //按价格降序排序

	return 0;
}

这样一来，每次调用sort函数时只需要传入一个lambda表达式指明比较方式即可，阅读代码的人一看到lambda表达式就知道本次排序的比较方式是怎样的，提高了代码的可读性。

二、lambda表达式的基本语法

lambda表达式书写格式：[capture-list] (parameters) mutable -> return-type { statement

}

[capture-list] : 捕捉列表，该列表总是出现在lambda函数的开始位置，编译器根据[]来判断接下来的代码是否为lambda函数，捕捉列表能够捕捉上下文中的变量供lambda函数使用。
(parameters)：参数列表。与普通函数的参数列表一致，如果不需要参数传递，则可以连同()一起省略
mutable：默认情况下，lambda函数总是一个const函数，mutable可以取消其常量性。使用该修饰符时，参数列表不可省略(即使参数为空)。
->returntype：返回值类型。用追踪返回类型形式声明函数的返回值类型，没有返回值时此部分可省略。返回值类型明确情况下，也可省略，由编译器对返回类型进行推导。

{statement}：函数体。在该函数体内，除了可以使用其参数外，还可以使用所有捕获到的变量。

lambda函数的参数列表和返回值类型都是可选部分，但捕捉列表和函数体是不可省略的，因此最简单的lambda函数如下：

int main()
{
    //最简单的lambda表达式，该lambda表达式没有任何意义
	[]{}; 

	return 0;
}

捕获列表说明：

[ var ]：表示值传递方式捕捉变量var
[ = ]：表示值传递方式捕获所有父作用域中的变量(成员函数中包括this)
[ &var ]：表示引用传递捕捉变量var
[ & ]：表示引用传递捕捉所有父作用域中的变量(成员函数中包括this)

注意：

父作用域指的是包含lambda函数的语句块
语法上捕捉列表可由多个捕捉项组成，并以逗号分割。比如：[=, &a, &b]，以引用传递的方式捕捉变量a和b，值传递方式捕捉其他所有变量；[&，a, this]：值传递方式捕捉变量a和this，引用方式捕捉其他变量；
捕捉列表不允许变量重复传递，否则就会导致编译错误。比如：[=, a]：=已经以值传递方式捕捉了所有变量，捕捉a重复
在块作用域以外的lambda函数捕捉列表必须为空。
在块作用域中的lambda函数仅能捕捉父作用域中局部变量，捕捉任何非此作用域或者非局部变量都会导致编译报错。
lambda表达式之间不能相互赋值，即使看起来类型相同。

三、lambda表达式的使用方法

使用lambda表达式进行两数的交换

int main()
{
	int a = 10, b = 20;
    //这里的“->void”也是可以省略的
	auto Swap = [](int& x, int& y)->void{
		int tmp = x;
		x = y;
		y = tmp;
	};

	Swap(a, b); 

	return 0;
}

使用传值捕捉所有

int main()
{
	int a = 10, b = 20;
	//传值捕捉所有
	auto Swap = [=]()mutable {
		int tmp = a;
		a = b;
		b = tmp;
	};

	Swap();

	//传值捕捉a和b
	auto Swap2 = [a, b]()mutable {
		int tmp = a;
		a = b;
		b = tmp;
	};
	Swap2();

	return 0;
}

这里需要注意，在以传值捕捉的时候，因为lambda表达式总是一个const函数，mutable可以取消其常量性，此时的圆括号也不可以省略

以引用捕捉

int main()
{
	int a = 10, b = 20;
	//以引用捕捉所有
	auto Swap = [&]{
		int tmp = a;
		a = b;
		b = tmp;
	};

	Swap();

	//以引用捕捉a和b
	auto Swap2 = [&a, &b]{
		int tmp = a;
		a = b;
		b = tmp;
	};
	Swap2();

	//以引用捕捉a、以传值捕捉b
	auto Swap3 = [&a, b]()mutable {
		int tmp = a;
		a = b;
		b = tmp;
	};
	Swap3();

	return 0;
}

lambda表达式之间不能相互赋值，即使看起来类型相同

void (*PF)();
int main()
{
	auto f1 = [] {cout << "hello world" << endl; };
	auto f2 = [] {cout << "hello world" << endl; };

	//f1 = f2;   // 编译失败--->提示找不到operator=()

	// 但允许使用一个lambda表达式拷贝构造一个新的副本
	auto f3(f2);
	f3();

	// 可以将lambda表达式赋值给相同类型的函数指针
	PF = f2;
	PF();

	return 0;
}

四、lambda表达式的底层原理

函数对象，又称为仿函数，即可以想函数一样使用的对象，就是在类中重载了operator()运算符的类对象。

class Rate
{
public:
	Rate(double rate) : _rate(rate)
	{}

	double operator()(double money, int year)
	{
		return money * _rate * year;
	}

private:
	double _rate;
};

int main()
{
	// 函数对象
	double rate = 0.49;
	Rate r1(rate);
	r1(10000, 2);

	// lamber
	auto r2 = [=](double monty, int year)->double {return monty * rate * year;};
	r2(10000, 2);

	return 0;
}