C++语法学习笔记三十二： lambda表达式捕获模式的陷阱分析和展示

实例代码

// lambda表达式捕获模式的陷阱分析和展示

#include <iostream>
#include <vector>
#include <map>
#include <functional>
#include <algorithm>
#include <ctime>

using namespace std;


std::vector<std::function<bool(int)>> gv; // 全局变量，每个元素都是个function，每个function 给进去的参数为int,返回是bool值 

std::vector<std::function<bool(int)>> gv1;
void myfunc() {
	srand((unsigned)time(NULL));
	int tmpvalue = rand() % 6; // 产生一个0-5之间的随机数
	gv.push_back(
		[&](int tv) {  //“[&]”按引用捕获
		if (tv % tmpvalue == 0) {  // 如果tv是tmpvalue 的倍数
			return true;
		}
		return false;
	});
}

void myfunc1() {
	srand((unsigned)time(NULL));
	int tmpvalue = rand() % 6; // 产生一个0-5之间的随机数
	gv.push_back(
		[=](auto tv) { // “[=]”按值捕获
		if (tv % tmpvalue == 0) {  // 如果tv是tmpvalue 的倍数
			return true;
		}
		return false;
	});
}

void myfunc2() {
	srand((unsigned)time(NULL));
	int tmpvalue = rand() % 6; // 产生一个0-5之间的随机数
	gv.push_back(
		[&](auto tv) {
		if (tv % tmpvalue == 0) {  // 如果tv是tmpvalue 的倍数
			return true;
		}
		return false;
	});
}


void myfunc3() {
	srand((unsigned)time(NULL));
	static int tmpvalue = 4; // 静态变量是不需要捕获，也捕获不到
	gv.push_back(
		[](auto tv) {
		cout << tmpvalue << endl;
		if (tv % tmpvalue == 0) {  // 如果tv是tmpvalue 的倍数
			return true;
		}
		return false;
	});
	tmpvalue++;
}


class AT {
public:
	int m_tmpvalue = 7;
	void addItem() {
		gv1.push_back(
			//= 是按值捕获的意思
			//我们会认为这个[=] 是按值捕获，使用我们能够访问成员变量 m_tmpvalue
			//所以我们顺理成章的认为，这里这个lambda表达式所使用的m_tmpvalue 是按值捕获的；
			//但实际情况不是这么简单的,下面“三、成员变量的捕获问题”第二个实例演示出错。
			//我们要明确一点：捕获这个概念，只针对于在创建lambda表达式的作用域内可见的 “非静态 局部变量”（包括形参）
			// m_tmpvalue 并不是非静态局部变量，是类成员变量，成员变量是不能被捕获到的
			[=](auto tv) {   //这里 [=] 就等价于捕获[this]， 所以这个lambda表达式依赖this 生命周期，所以下面“三、成员变量的捕获问题”第二个实例演示出错

			cout << m_tmpvalue << endl;
			if (tv % m_tmpvalue == 0) {  // 如果tv是tmpvalue 的倍数
				return true;
			}
			return false;
		});
	}

	void addItem1() {
		gv1.push_back(
			[abc = m_tmpvalue](auto tv) {   //将 m_tmpvalue 复制到闭包里来，后面使用的都是m_tmpvalue 副本
			cout << abc << endl;
			if (tv % abc == 0) {  // 如果tv是tmpvalue 的倍数
				return true;
			}
			return false;
		});
	}

};


int main()
{
	//一、捕获列表中的&： 捕获外部作用域中所有变量，并作为引用在lambda表达式中使用；
	// 按照引用这种捕获方式，会导致lambda表达式包含绑定到局部变量的引用
	//myfunc();
	//cout << gv[0](10) << endl; // 非法调用，因为gv中包含的lambda表达式中引用的局部变量 tmpvalue 在这里已经失效，这里调用lambda表达式会出现不可预料的问题
	//引用捕获方式超出范围的情形也叫做“引用悬空”，上面的问题通过按值捕获 "[=]" 去解决  如：myfunc1

	//二、形参列表可以使用auto  如：myfunc2
	//C++ 14 允许在lambda表达式的形参中使用auto ,auto用于自动推导参数类型


	//三、成员变量的捕获问题
	AT *pat = new AT();
	pat->addItem();
	cout << gv1[0](10) << endl;  //输出 7, 0 ， 执行正确   
	delete pat;

	//delete pat;
	//cout << gv[0](10) << endl;  //输出 -87767567, 0 ， 执行不正常   

	//结论，lambda表达式的执行正确与否，取决于pat对象是否存在，只有pat对象存在，这个lambda表达式执行才正确，更多解释见AT类中注释


	//四、广义lambda捕获 C++ 14中引入 为了解决类似上面捕获问题
	// 如上面 类AT  addItem1函数中lambda 中的 “[abc = m_tmpvalue]”

	//五、静态局部变量： 是不能被捕获的，但是可以在lambda表达式中使用（按引用的方式使用），另外，静态局部变量是保存在静态存储区，它的有效期一直到程序结束。
	// 如上面的 myfunc3
	myfunc3();
	gv[0](10); //输出 5
	gv[0](10);

	system("pause");
}