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

最新推荐文章于 2024-07-08 19:01:16 发布
最新推荐文章于 2024-07-08 19:01:16 发布
阅读量572 收藏
点赞数 1
分类专栏： # C++11/14/17/20/23 文章标签： c++ 开发语言
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/weixin_42136255/article/details/128161375
版权

一、捕获列表中的 &

& : 捕获外部作用域中的所有变量，并作为引用在lambda表达式中使用。按照引用这种捕获方式，会导致lambda表达式包含绑定到局部变量的引用。

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


using namespace std;

std::vector<std::function<bool(int)>> gv;

void myfunc()
{
	srand((unsigned)time(NULL));
	int tmpvalue = rand() % 6;
	gv.push_back(
		[&](int tv) {
			if (tv % tmpvalue == 0) {
				return true;
			}
			return false;
		}
	);
}

int main()
{
	myfunc();
	cout << gv[0](10) << endl; //非法调用，程序将会出现不可预料的结果。
	//1.用 & 去捕获 tmpvalue 的值，当myfunc()执行完之后，tmpvalue作为在stack上的局部变量，内存已经被操作系统回收了。
    //2.这个时候tmpvalue 已经是一个无效的值了，程序将会出现不可预料的结果。

	return 0;
}

二、形参列表可以使用auto

C++14允许在lambda表达式的形参列表中使用auto。

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


using namespace std;

std::vector<std::function<bool(int)>> gv;

void myfunc()
{
	srand((unsigned)time(NULL));
	int tmpvalue = rand() % 6;
	gv.push_back(
		//[&](auto tv){
		[=](auto tv) {
			if (tv % tmpvalue == 0) {
				return true;
			}
			return false;
		}
	);
}

int main()
{
	myfunc();
	cout << gv[0](10) << endl; //非法调用，程序将会出现不可预料的结果。
	//1.用 & 去捕获 tmpvalue 的值，当myfunc()执行完之后，tmpvalue作为在stack上的局部变量，内存已经被操作系统回收了。
    //2.这个时候tmpvalue 已经是一个无效的值了，程序将会出现不可预料的结果。
	//3.引用捕获方式超出范围的情形也叫做“引用悬空”，采用按照值捕获的方式可以解决眼下这个问题。因为按值捕获是赋值了一份作为副本。


	return 0;
}

三、成员的捕获问题

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


using namespace std;

std::vector<std::function<bool(int)>> gv;


class AT
{
public:
	int m_tmpvalue = 7;
	void addItem()
	{
		gv.push_back(
			[=](auto tv) { // = 等价于 this 捕获
				cout << "m_tmpvalue : " << m_tmpvalue << endl;
				if (tv % m_tmpvalue == 0) {
					return true;
				}
				return false;
			}
		);
	}
};

//分析成员变量的捕获方式。
//1.= 是按照值捕获的意思。
//2.我们会认为这个[=] 是按照值捕获，是使得我们能够访问成员变量 m_tmpvalue。
//3.所以我们顺理成章的认为，这里的这个lambda表达式是所使用的 m_tmpvalue 是按照值捕获的。
//4.如果按照上述所想的话，我们在 cout << gv[0](10) << endl; 之前 delete pat;也不会出现什么问题，因为按照值捕获是复制了一份副本出来。
//5.实验结果表明：lambda表达式的执行正确与否，取决于pat对象是否存在，只有pat对象存在，这个lambda表达式执行才正确。
//6.结论：捕获这个概念，只针对于在创建lamdba表达式的作用域内可见的 非静态 局部变量(包括形参)。m_tmpvalue 并不是非静态局部变量，m_tmpvalue是一个
//成员变量，成员变量是不能被捕获到的。这里的 = 本质上是 this 捕获，m_tmpvalue 本质上是等价于 this->m_tmpvalue 

int main()
{
	AT* pat = new AT();

	pat->addItem();

	delete pat;

	cout << gv[0](10) << endl;

	

	return 0;
}

修改后就可以正常捕获了：

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


using namespace std;

std::vector<std::function<bool(int)>> gv;


class AT
{
public:
	int m_tmpvalue = 7;
	void addItem()
	{
		auto tmpvalueCopy = m_tmpvalue;

		gv.push_back(
			[tmpvalueCopy](auto tv) { // = 等价于 this 捕获
				cout << "m_tmpvalue : " << tmpvalueCopy << endl;
				if (tv % tmpvalueCopy == 0) {
					return true;
				}
				return false;
			}
		);
	}
};

int main()
{
	AT* pat = new AT();

	pat->m_tmpvalue = 70; //后面捕获到的是这个值。

	pat->addItem();

	//pat->m_tmpvalue = 90; //放在后面没有用，因为lambda 表达式已经捕获70作为副本了。

	delete pat;

	cout << gv[0](10) << endl;

	

	return 0;
}

四、广义lambda 捕获 ：generalized lambda capture

C++14 引入的广义的lambda捕获

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


using namespace std;

std::vector<std::function<bool(int)>> gv;


class AT
{
public:
	int m_tmpvalue = 7;
	void addItem()
	{
		gv.push_back(
			[tmpvalueCopy = m_tmpvalue](auto tv) { // 将m_tmpvalue 复制到闭包里面来
				cout << "m_tmpvalue : " << tmpvalueCopy << endl; //使用的是副本
				if (tv % tmpvalueCopy == 0) {
					return true;
				}
				return false;
			}
		);
	}
};

int main()
{
	AT* pat = new AT();

	pat->m_tmpvalue = 70; //后面捕获到的是这个值。

	pat->addItem();

	//pat->m_tmpvalue = 90; //放在后面没有用，因为lambda 表达式已经捕获70作为副本了。

	delete pat;

	cout << gv[0](10) << endl;

	

	return 0;
}

五、静态局部变量

1.捕获是不包含静态局部变量的，也就是说，静态局部变量是不能被捕获的。

2.但是可以在lambda表达式中使用的，另外，静态局部变量是保存在静态存储区的，它的有效期一直到程序结束。

3.但是static变量和 按值捕获(=)不一样，它类似于按引用捕获(&)。

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


using namespace std;

std::vector<std::function<bool(int)>> gv;

void myfunc()
{
	int tmpvalue = 4;
	gv.push_back(
		[=](int tv) {
			cout << "tmpvalue ：" << tmpvalue << endl;
			if (tv % tmpvalue == 0) {
				return true;
			}
			return false;
		}
	);
	tmpvalue++;
}

int main()
{
	myfunc();
	cout << gv[0](10) << endl;
	myfunc();
	cout << gv[1](10) << endl;

	return 0;
}
#include <iostream>
#include <future>
#include <vector>
#include <map>
#include <functional>
#include <string>
#include <algorithm>
#include <ctime>


using namespace std;

std::vector<std::function<bool(int)>> gv;

void myfunc()
{
	static int tmpvalue = 4;
	gv.push_back(
		[](int tv) {
			cout << "tmpvalue ：" << tmpvalue << endl;
			if (tv % tmpvalue == 0) {
				return true;
			}
			return false;
		}
	);
	tmpvalue++;
}

int main()
{
	myfunc();
	cout << gv[0](10) << endl; 
	myfunc();
	cout << gv[1](10) << endl;

	return 0;
}

repinkply
关注
  • 1
    点赞
  • 踩
  • 0
    收藏
    觉得还不错? 一键收藏
  • 打赏
    打赏
  • 0
    评论
专栏目录
C#-Lambda表达式
qq_64968602的博客
03-05 262
匿名方法 delegate void ActCute(); ActCute del； del = delegate(){} Lambada表达式 del = delegate(){...}; lambada表达式 del = ()=>{...}; 比如我要加入一个无名的Lambada表达式 ActCute del = null; Dog dog = new Dog("A"); Cat cat = new Cat("B"); del = .
1. lambda 表达式1
08-03
【C++ Lambda 表达式详解】 Lambda 表达式是 C++11 引入的一项重要特性，它提供了一种简洁的创建匿名函数的方法，这些函数可以用于各种...在编写Lambda表达式时，应尽量保持其清晰、简洁，以便其他开发者理解和使用。
lambda表达式捕获模式的陷阱分析和演示
INGNIGHT的专栏
08-29 427
#include <iostream> #include <functional> #include <algorithm> using namespace std; vector<std::function<bool(int)>> gv; void myfunc() { srand((unsigned)time(nullptr)); int tempvalue = rand() % 6; gv.push_back( .
C++ lambda按引用捕获导致的空悬指针问题
最新发布
brahmsjiang的专栏
07-08 450
该Wrap也有const版本和非const版本的重载，const版本在捕获类成员函数的指针时，对其用了按值捕获[&, f]（即cmd），而非const版本在捕获类成员函数的指针时，对其默认用了按引用捕获[&]（即cmd1）。在执行cmd.Execute()是没有问题，而执行cmd1.Execute()发生了crash，通过debug发现按引用捕获类成员函数指针，在Wrap()的时候可以取到类成员函数的地址，但一旦退出Wrap()，该类成员函数的地址不复存在。lambda可以按值捕获，也可以按引用捕获。
C++11：lambda表达式的陷阱
zzhongcy的专栏
02-28 3115
1、对于lambda表达式，避免使用默认捕获模式 1.1 对于lambda表达式，避免使用默认捕获模式 个人看法 英文原著中使用的是“avoid default capture modes”，所以我在文中翻译为“避免使用默认捕获模式”，但是我认为把“默认捕获模式”称为“隐式捕获模式”更好，因为作者所指的“默认捕获模式”是指在捕获语句中只出现等号或者引用符号（即“[=]”或“[&a...
【QT】关于Lambda 表达式的引用捕获和值捕获
weixin_44939430的博客
12-19 556
符号表示通过引用捕获外部作用域中的变量。Lambda 表达式内部对这些变量的修改会影响到外部的实际变量。这是一种可以修改外部变量的捕获方式。= 符号表示通过值捕获外部作用域中的变量。Lambda 表达式内部对这些变量的修改不会影响到外部的实际变量。这是一种只读方式的捕获方式。
lambda表达式——捕获
weixin_45119096的博客
11-21 3687
【代码】lambda表达式——捕获的原理，捕获类型，示例代码编写，调试，输出结果分析
ASP.net基础知识之常见错误分析
10-30
### ASP.NET基础知识之常见错误分析 #### 一、Command调用存储过程时的注意事项 当使用`SqlCommand`对象调用存储过程并期望返回一个`DataSet`时，必须确保`SqlCommand`对象的`Connection`属性已经设置正确。如果...
C++ 编程—从问题分析到程序设计
01-14
9. **C++11及更新标准**：C++11引入了许多新特性，如lambda表达式、右值引用、auto关键字、类型推断、nullptr、并发编程支持等，使得C++更加现代和高效。 10. **GUI编程**：如`C++ GUI Programming with Qt 4.pdf`...
C++程序设计陷阱(C++Gotchas) 中英两个版本
05-03
10. **C++11新特性的影响**：C++11引入了许多新特性，如右值引用、lambda表达式和自动类型推断（auto）。不理解这些新特性的行为可能导致陷阱，如误用auto可能导致类型推断错误，不理解右值引用可能导致资源管理的...
C++程序设计陷阱
03-26
13. **C++11及其新特性**：C++11引入了许多新的语言特性，如右值引用、auto类型推断、lambda表达式等，这些都提升了C++的现代性和易用性。 通过深入阅读《C++程序设计陷阱》这本书，你可以了解到如何避免上述陷阱，...
Modern C++中lambda表达式的陷阱
xmcy001122的专栏
06-04 539
文章目录Modern C++中lambda表达式的陷阱陷阱1：默认引用捕获可能带来的悬挂引用问题陷阱2：捕获this陷阱总结 Modern C++中lambda表达式的陷阱 lambda表达式给stl带来了无与伦比的便利，尤其对像std::for_each这种使用函数指针的场合更是方便，但却是写的爽快，维护的蛋疼，前几天还遇到了一个陷阱，这里特意记录一下 陷阱1：默认引用捕获可能带来的悬挂引用问题 在捕获参数时喜欢使用[&]来一次捕获包括this在内的所有内容,此方法非常方便，但在遇到局部变量时，引
lambda表达式的“值捕获”和“引用捕获”
“时光清浅，不觉多年”的博客
08-03 3362
对于lambda表达式而言，捕获的方式分为两种：“值捕获”和“引用捕获”； 这两种方式有什么区别呢？ 在理解区别之前，必须知道一个lambda表达式的规则： lambda表达式的“参数”是在被调用时拷贝，而“被捕获的变量的值”是在lambda表达式创建时拷贝。 理解这一点至关重要，因为lambda表达式捕获的值在创建时被拷贝，因此如果采用“值捕获”的方式，后续对于该变量的修改并不会影响到lambda表达式的计算；但是如果采用“引用捕获”的方式，在lambda表达式被创建后被调用前的这个阶段，如果该值发生了改
C++基础：lambda介绍以及简述值捕获、引用捕获、隐式捕获的区别以及注意事项
CHNIM的博客
08-14 756
Lambda 表达式与普通函数类似，也有参数列表、返回值类型和函数体，只是它的定义方式更简洁，并且可以在函数内部定义。需要注意的是，在使用引用捕获时，要确保被引用的对象在 lambda 表达式执行时仍然存在。引用捕获传递的是引用，后边值修改后引用也会改变，值捕获传递的是此时此刻的值，后续做的修改不影响当前值。的值时，第一个 lambda 函数输出新的值，而第二个 lambda 函数输出原来的值。的值，lambda 函数内部仍然使用的是原来的值。的值时，lambda 函数内部也会使用新的值。
lambda表达式：方法引用
LieBrother
12-08 2559
写给大忙人看的JavaSE8中的方法引用
20.9 C++高级话题与新标准-lambda表达式捕获模式的陷阱分析和展示
migu123的专栏
02-21 73
9.lambda表达式捕获模式的陷阱分析和展示 9.1 捕获列表中的& 9.2 形参列表可以使用auto 9.3 成员变量的捕获问题 9.4 广义lambda捕获 9.5 静态局部变量
C# lambda捕获外部变量
weixin_33675507的博客
01-07 1452
2019独角兽企业重金招聘Python工程师标准>>> ...
C++匿名函数（空捕获、值捕获、引用捕获、可变捕获、表达式捕获、泛型捕获、隐式捕获）
qq_52486404的博客
08-07 1266
也就意味着，如果在lambda函数创建和调用的中间，人为改变了捕获的值，并不会改变lambda函数内部的值。lambda表达式可以看作是一般的函数的函数名被略去，返回值通过->的形式表示。采用值捕获的方式，如果想要在函数内部修改它的值（这个不会影响全局），可以用mutable修饰.允许捕获的成员用任意的表达式初始化，被声明的捕获变量类型会自动判断。并且，在lambda内部，不可以直接修改捕获的值。// 值捕获方式，使用mutable修饰，可以改变捕获的变量值。传的是引用，lambda表达式会修改传入的值。
lambda表达式this陷阱
09-09
Lambda表达式中的this陷阱是指在lambda函数中捕获this指针，并在lambda函数在this销毁后继续使用this指针的情况。这会导致无法确定this指针指向的位置。 在C++的lambda表达式中，通过默认值捕获this指针，使得在...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

repinkply

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付：¥1
获取中
扫码支付

您的余额不足，请更换扫码支付或充值

打赏作者

实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值