lambda表达式c++

介绍

可调用对象

对于一个表达式，如果可以对其使用调用运算符（），则称它为可调用对象。如函数就是一个可调用对象，当我们定义了一个函数f(int)时，我们可以通过f(5)来调用它。

可调用对象有：

函数
函数指针
重载了函数调用运算符的类
lambda表达式

lamdba表达式语法结构

lambda表达式又称匿名函数 ，可以简单的理解为一个内联函数 ，它通常被写在一个普通函数的内部定义和使用，其语法结构为

使用参数列表

参数列表很好理解，类似于我们在定义一个普通函数的时候，要使用的参数，如

cpp 复制代码

void sol() {
	auto f = [](int a,int b) {return a+b; };
	cout << f(2,3) << endl;
}

上述代码中，我们定义了一个普通函数sol，并在其中定义了一个lambda表达式，在参数列表中定义了两个参数，并返回这两个参数的和

需要注意的是，与普通函数不同，lambda表达式中的参数列表中不能使用默认参数

使用捕获列表

捕获列表是一个lamdba表达式所在的普通函数的局部变量的列表，听起来很拗口，我们举例来说

cpp 复制代码

void sol() {
	auto f1 = [](int a,int b) {return a+b; };
	cout << f1(2,3) << endl;

	int x = 3, y = 4;
	auto f2 = [x, y]() {return x + y; };
	cout << f2() << endl;

}

上述代码中，我们在sol的普通函数中定义了两个lambda表达式，其中f1使用了参数列表，f2使用了捕获列表，二者的区别在于， lambda表达式f1的参数列表是自定义的， 而lambda表达式f2中的捕获列表是使用了sol普通函数中的局部变量x和y

也就是说，如果你想在lambda表达式中使用所在函数的局部变量，就要使用捕获列表进行捕获，否则将无法使用该局部变量

为了强调说明这一问题，我们在sol函数中再次定义一个变量z，在捕获列表中不写入它，但在函数体中使用它，来观察结果

由此可见，捕获列表中存放的是lambad表达式所在函数的已经存在的局部变量

lambda表达式使用案例

接下来，我们从一个案例中来看lambda表达式的使用场景

问题描述

假如现在我们有一些单词，这些单词包含重复，现在我想知道这些单词的长度大于等于给定长度的单词有几个，比如，有以下单词序列：
cpp 复制代码
"the","quick","red","fox","jumps","over","the","slow","red","turtle"
其中单词长度大于等于5的单词有三个，分别是jumps、quick、turtle

问题分析

首先我们需要明确的是，由于单词序列中包含重复的单词，因此我们首先需要对单词序列进行去重，其次，我们可以将单词按照其长度大小按照从小到大进行排序，此后找到第一个大于等于给定长度的单词，那么后边的单词都满足条件，统计其个数即可，即

对单词序列进行去重
按照单词的长度进行从小到大进行排序
对排序后的单词序列进行遍历，找到第一个大于等于给定长度的单词，此后的单词就都满足条件，统计个数

问题解决

为了方便观察输出结果，我们首先重载输出运算符

cpp 复制代码

ostream& operator<<(ostream& os, vector<string> words)
{
	for (string word : words)
		os << word << " ";
	return os;
}

上述代码中使用到了范围for循环语句，详情请移步

c++范围for语句-CSDN博客

输入数据

cpp 复制代码

vector<string> words = { "the","quick","red","fox","jumps","over","the","slow","red","turtle" };

数据去重

按照单词的字典序进行排序，这样相同的单词必然会紧邻
对排序后的单词使用泛型算法unique进行去重

cpp 复制代码

void elimDups(vector<string>& words)
{
	sort(words.begin(), words.end());//按照字典序进行排序
	//unique算法将重排输入序列，将相邻的重复项进行"消除"，并返回一个指向不重复值范围末尾的迭代器
	auto end_unique = unique(words.begin(), words.end());
	//unique去重后，vector中对多出来删除的空余位置，删除unique后的空余位置
	words.erase(end_unique, words.end());
}

输入数据并去重

cpp 复制代码

	vector<string> words = { "the","quick","red","fox","jumps","over","the","slow","red","turtle" };
	cout << words << endl;
	elimDups(words);
	cout << words << endl;

按照单词长度进行排序

cpp 复制代码

	sort(words.begin(), words.end(), [](string w1,string w2) {
		return w1.size() < w2.size();
		});

上述代码中，我们使用sort函数对去重后的单词序列进行排序，排序规则是单词的长度，并且按照从小到大进行排序，在sort函数的第三个参数中使用lambda表达式定义排序规则，上述代码等价于：

cpp 复制代码

bool compare(const string& s1, const string& s2)
{
	return s1.size() < s2.size();
}

void sol()
{
	sort(words.begin(), words.end(), compare);
}

可以看到，我们用lambda表达式代替了compare函数，也就是说

lambda表达式可以直接在需要调用函数的位置定义短小精悍的函数，而不需要预先定义好函数

找到满足条件的单词位置

对单词序列按照长度进行排序后，我们只需要找到单词长度大于等于给定长度的单词位置即可，我们使用find_if函数来查找第一个具有特定大小的元素，如下：

cpp 复制代码

	vector<int>::size_type sz = 5;
	auto wc = find_if(words.begin(), words.end(),
		[sz](string word) {
			return word.size() >= sz;
		});
	decltype(sz) count = words.end() - wc;
	cout << count << endl;

上述代码中，我们同样使用lambda表达式作为find_if函数的查找规则，其中捕获列表中的参数sz是为我们在函数中定义的给定长度，至此案例开头给出的问题就解决了，下边是完整代码，详细解释可见《c++ primer》第五版P343~P349

cpp 复制代码

#include<iostream>
#include<vector>
#include<string>
#include<algorithm>
using namespace std;

#if 1
ostream& operator<<(ostream& os, vector<string> words)
{
	for (string word : words)
		os << word << " ";
	return os;
}

void elimDups(vector<string>& words)
{
	sort(words.begin(), words.end());//按照字典序进行排序
	//unique算法将重排输入序列，将相邻的重复项进行"消除"，并返回一个指向不重复值范围末尾的迭代器
	auto end_unique = unique(words.begin(), words.end());
	//unique去重后，vector中对多出来删除的空余位置，删除unique后的空余位置
	words.erase(end_unique, words.end());
}

void sol()
{
	vector<string> words = { "the","quick","red","fox","jumps","over","the","slow","red","turtle" };
	cout << words << endl;
	elimDups(words);
	cout << words << endl;
	
	sort(words.begin(), words.end(), [](string w1,string w2) {
		return w1.size() < w2.size();
		});
	cout << words << endl;

	vector<int>::size_type sz = 5;
	auto wc = find_if(words.begin(), words.end(),
		[sz](string word) {
			return word.size() >= sz;
		});
	decltype(sz) count = words.end() - wc;
	cout << count << endl;
}

int main()
{
	sol();
	return 0;
}
#endif

lambda表达式语法结构详解

通过以上案例我们已经知道了lambda表达式的使用场景，接下来我们详细说明lambda表达式语法结构中各参数的使用

捕获列表

类似于参数传递，捕获列表在捕获函数中的局部变量时，也可分为值捕获与引用捕获；其中采用值捕获的前提是变量可以被拷贝，但与普通函数的参数值传递不同，被捕获的变量的值是在lambdb创建时拷贝，而不是调用时拷贝。

值捕获

cpp 复制代码

void sol() {
	int a = 41;
	auto f1 = [a]() {return a; };
	a=0;//修改啊的值
	cout << f1() << endl;//41
}

上述代码中，我们使用值捕获来捕获sol函数中的局部变量a，之后改变a的值再次输出，发现lambda表达式中的值仍旧是改变前的值，说明此时被捕获的变量a是在lambda创建时拷贝过去的，因此后续a的改变将不影响lambda内的值

引用捕获

cpp 复制代码

void sol() {
	int a = 41;
	auto f1 = [&a]() {return a; };
	a=0;
	cout << f1() << endl;//0
}

与上述实验不同，我们使用引用捕获方式捕获局部变量a，此时在改变a的值后，lambda表达式输出的是改变后的值，因为使用的是引用捕获，因此lambda内所捕获的变量a与sol函数的a使用的是同一份内存，故对局部变量a的改变也会影响到lambda表达式中a的值

隐式捕获

上述捕获都属于显示捕获，也就是说我们想在lambda中使用哪个局部变量就在捕获列表中填入哪个，但有时我们希望使用sol函数中所有的局部变量时，一个一个填入捕获列表显然就会很麻烦，因此使用隐式捕获，就表示我们在lambda表达式中可以使用所在普通函数中所有局部变量。

同显示捕获一样，隐式捕获也分为值捕获与引用捕获

值传递隐式捕获

cpp 复制代码

void sol() {

	int a = 3,b=4;
	auto f = [=]() {return a + b; };
	cout << f() << endl;
}

上述代码的lambda表达式中的捕获列表=表示，该lambda表达式可以使用sol函数的全部的局部变量，且使用方式为值捕获

引用传递隐式捕获

同样的道理，下述lambda表达式可以使用sol函数的全部的局部变量，且使用方式为引用捕获

cpp 复制代码

void sol() {

	int a = 3,b=4;
	auto f = [&]() {return a + b; };
	cout << f() << endl;
}

混合捕获

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

cpp 复制代码

int index = 1;
int num = 100;
auto function = ([=, &index, &num]{
		num = 1000;
		index = 2;
		std::cout << "index: "<< index << ", " 
            << "num: "<< num << std::endl;
	}
);

function();

可变规则mutable

默认情况下，对于值捕获方式捕获到的变量，lambda在内部不能改变其值，如果想改变就需要使用mutable关键字。

如上述代码的那样报错，如果想在lambda内部改变值捕获到的变量，需要加入mutable关键字，如下所示：

cpp 复制代码

void sol() {
	int a = 3,b=4;
	auto f = [=]() mutable{return ++a; };
	cout << f() << endl;
}

对于引用捕获获取到的变量，lambda在内部是否可以改变，取决于该局部变量是否是const的，如：

返回类型

Lambda表达式的返回类型会自动推导,但仅限于其函数体内只有一个return语句，否则当lambda函数体中包含了return之外的任何语句，编译器都会假定此lambda返回的是void类型。除非你指定了返回类型，否则不必使用关键字。

cpp 复制代码

void sol() {
	vector<int> v = { -1,2,-3,4 };
	vector<int> result;
	//lambda函数体中只有一个return语句，将自动推断返回类型为int
	transform(v.begin(), v.end(), back_inserter(result),
		[](int i) {return i < 0 ? -i : i; });

	//使用for_each打印vector
	for_each(v.begin(), v.end(), [](int x) {
		cout << x << " ";
		});
	cout << endl;
	for_each(result.begin(), result.end(), [](int x) {
		cout << x << " ";
		});
}

上述代码使用泛型算法transform将v中的数据变为其绝对值，并将转换后的结果存放到result中，其中back_insert是一个插入迭代器（效果等同于push_back），整个transform语句表示遍历vector的每个元素v，判断其是否小于0，如果是就返回其相反数，并将结果push_back到result中

此外代码中还使用了for_each泛型算法遍历vector，在此我们再次看到了在泛型算法中使用lambda表达式的优势所在

但是，如果我们将上述代码改为如下代码，则编译器将会报错：

cpp 复制代码

transform(v.begin(), v.end(), back_inserter(result),
	[](int i)
	{
		if (i < 0)	return -i;
		else return i;
	});

因为这段代码中的lambda函数体有两个return语句，编译器将返回void类型，但笔者在vs上进行实验时，发现并没有报错，后查阅资料发现是c++进行了隐式类型转换？

但还是建议使用显示说明的返回类型

lambda表达式工作原理

编译器会把一个Lambda表达式生成一个匿名类的匿名对象 ，并在类中重载函数调用运算符 ，实现了一个operator()方法。

如下所示：

cpp 复制代码

auto print = []{cout << "Hello World!" << endl; };

编译器会把上面这一句翻译为下面的代码：

cpp 复制代码

class print_class
{
public:
	void operator()(void) const
	{
		cout << "Hello World!" << endl;
	}
};
// 用构造的类创建对象，print此时就是一个函数对象
auto print = print_class();

参考：

《c++ primer》

【精选】C++ Lambda表达式详解-CSDN博客