【C++系列】lambda表达式的使用

sort中的比较器

std::sort方法，默认是升序也就是less比较器，传入greater也就是降序。

#include <algorithm>
#include <functional>

using namespace std;
int main()
{
	int array[] = { 4,1,8,5,3,7,0,9,2,6 };

	// 默认按照小于比较，排出来结果是升序
	std::sort(array, array + sizeof(array) / sizeof(array[0]));

	// 如果需要降序，需要改变元素的比较规则
	std::sort(array, array + sizeof(array) / sizeof(array[0]), greater<int>());
	return 0;
}

如果待排序元素为自定义类型，需要用户定义排序时的比较规则：
例如下面的日期类，重载了< > 和 输出

class Date
{
public:
	Date(int year = 1900, int month = 1, int day = 1)
		: _year(year)
		, _month(month)
		, _day(day)
	{}
	bool operator<(const Date& d)const
	{
		return (_year < d._year) ||
			(_year == d._year && _month < d._month) ||
			(_year == d._year && _month == d._month && _day < d._day);
	}
	bool operator>(const Date& d)const
	{
		return (_year > d._year) ||
			(_year == d._year && _month > d._month) ||
			(_year == d._year && _month == d._month && _day > d._day);
	}
	friend ostream& operator<<(ostream& _cout, const Date& d);
private:
	int _year;
	int _month;
	int _day;
};
ostream& operator<<(ostream& _cout, const Date& d)
{
	_cout << d._year << "-" << d._month << "-" << d._day;
	return _cout;
}

用vector 做插入

void test1()
{
	vector<Date> vc;
	vc.push_back(Date(2020, 11, 1));
	vc.push_back(Date(2018, 1, 11));
	vc.push_back(Date(2021, 11, 1));
	vc.push_back(Date(2022, 11, 1));

	sort(vc.begin(), vc.end());
	cout << "less<Date>():" << endl;
	for (auto date : vc)
	{
		cout << date << endl;
	}

	sort(vc.begin(), vc.end(),greater<Date>());
	cout << "greater<Date>():" << endl;
	for (auto date : vc)
	{
		cout << date << endl;
	}
}

结果如下

less<Date>():
2018-1-11
2020-11-1
2021-11-1
2022-11-1
greater<Date>():
2022-11-1
2021-11-1
2020-11-1
2018-1-11

除此以外，还可以用下面的方法

struct cmp
{
	bool operator()(Date& d1,Date& d2)
	{
		return d1 < d2;
	}
};

sort(vc.begin(), vc.end(),cmp());

同样是重载了< ,因此还是升序。

lambda表达式

人们开始觉得上面的写法太复杂了，每次为了实现一个algorithm算法， 都要重新去写一个类，如果每次比较的逻辑不一样，还要去实现多个类，特别是相同类的命名，这些都给编程者带来了极大的不便。因此，在C11语法中出现了Lambda表达式。

所以可以这样写，非常简洁

sort(vc.begin(), vc.end(), [](Date& d1,Date& d2){
	return d1 < d2;
});

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

lambda表达式各部分说明

[capture-list] : 捕捉列表，该列表总是出现在lambda函数的开始位置，编译器根据[]来判断接下来的代码是否为lambda函数，捕捉列表能够捕捉上下文中的变量供lambda函数使用。

(parameters)：参数列表。与普通函数的参数列表一致，如果不需要参数传递，则可以连同()一起省略

mutable：默认情况下，lambda函数总是一个const函数，mutable可以取消其常量性。使用该修饰符时，参数列表不可省略(即使参数为空)。

->returntype：返回值类型。用追踪返回类型形式声明函数的返回值类型，没有返回值时此部分可省略。返回值类型明确情况下，也可省略，由编译器对返回类型进行推导。

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

注意： 在lambda函数定义中，参数列表和返回值类型都是可选部分，而捕捉列表和函数体可以为空。
因此C++11中最简单的lambda函数为：[]{}; 该lambda函数不能做任何事情。

使用方法

最简单的lambda表达式, 该lambda表达式没有任何意义

[] {};

对于a，b而言，都是const常量，要使用mutable;可以不用写返回值

int a = 3, b = 4;
[a,b]()mutable{
	a = 20;
	b = 30;
	return a+b;
};

使用auto关键字进行调用，注意这里是值传递，外部的a b不会发生变化

int a = 3, b = 4;
auto fun=[a,b]()mutable{
	a = 20;
	b = 30;
	return a + b;
};
cout << fun(); //50
cout << a << b; // 3 4

使用引用&传递，外部也会发生变化

int a = 3, b = 4;
auto fun=[&a,&b]()mutable{
	a = 20;
	b = 30;
	return a + b;
};
cout << fun(); //50
cout << a << b; //20 30

假如有很多变量呢，可以使用:

[=] ：表示值传递方式捕获所有父作用域中的变量(包括this)
[&]：表示引用传递捕捉所有父作用域中的变量(包括this)
[this]：表示值传递方式捕捉当前的this指针

当然是可以结合使用，如：

// 各部分都很完善的lambda函数
auto fun2 = [=, &b](int c)->int {return b += a + c; };
cout << fun2(10) << endl; // 

[=, &a, &b]：以引用传递的方式捕捉变量a和b，值传递方式捕捉其他所有变量

[&，a, this]：值传递方式捕捉变量a和this，引用方式捕捉其他变量

注意事项

捕捉列表不允许变量重复传递，否则就会导致编译错误。

• 比如：[=, a]：=已经以值传递方式捕捉了所有变量，捕捉a重复了。

在块作用域以外的lambda函数捕捉列表必须为空，因为全局变量在哪都能看到，不捕捉也能用

在块作用域中的lambda函数仅能捕捉父作用域中局部变量，捕捉任何非此作用域或者非局部变量都
会导致编译报错。

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

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

auto f1 = []{cout << "hello world" << endl; };
auto f2 = []{cout << "hello world" << endl; };

允许使用一个lambda表达式拷贝构造一个新的副本

 auto f3(f2);
 f3();

可以将lambda表达式赋值给相同类型的函数指针

void (*PF)();
 PF = f2;
 PF();

lambda的底层实现

先看这个加法的表达式

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

fun(10, 20);

再写一个加法的仿函数类

struct Add
{
	int operator()(int a, int b)
	{
		return a + b;
	}
};

Add add;
add(10, 20);

转到反汇编

实际在底层编译器对于lambda表达式的处理方式，完全就是按照函数对象的方式处理的，即：如果定义了一个lambda表达式，编译器会自动生成一个类，在该类中重载了operator()。