c/c++ lambda 表达式 剖析
程序员文章站
2022-09-14 18:03:07
lambda 表达式 剖析 大前提：捕获列表里变量的确定时机。 捕获列表和参数列表有区别，捕获列表里的变量，是在捕获的时间点就确定了，而不是在lambda调用时确定，参数列表是在调用时才确定。所以当捕获了一个int i，i=12，然后在lambda后面的代码又改变i为22，但是当调用lambda的时 ......
lambda 表达式 剖析
大前提：捕获列表里变量的确定时机。
捕获列表和参数列表有区别，捕获列表里的变量，是在捕获的时间点就确定了，而不是在lambda调用时确定，参数列表是在调用时才确定。所以当捕获了一个int i，i=12，然后在lambda后面的代码又改变i为22，但是当调用lambda的时候，i值还是12。
剖析点：
1，值捕获，即使在lambda后面改变了该值，在调用lambda时，这个值还是捕获时的值。
2，引用捕获，在lambda后面改变了该值，在调用lambda时，这个值不是捕获时的值，而是改变后的值。
3，隐式捕获：
- [=]代表全部采用值捕获
- [&]代表全部采用引用捕获
- [=, &val]代表val为引用捕获，其余为值捕获
- [&,val]代表val为值捕获，其余为引用捕获
4，可变lambda，当想在lambda函数体里，修改一个值捕获的变量是，需要mutable关键字。
5，lambda的返回类型，函数体是单一的return语句的话，可以在声明lambda时，省略返回值的类型。
由剖析点2：引用捕获，会引发很多血案。比如，被捕获的引用或者指针指向的对象已经不存在了，然后调用lambda时，就会出现致命错误。
警告：当以引用或者指针方式捕获一个变量时，必须保证在lambda执行时变量是存在的。
建议：
1，捕获一个普通变量时，如int, string或其他非指针类型，通常可以采用简单的值捕获方式。所以，只需关注变量在捕获时，值是否是所需的值就行。
2，如果捕获一个指针或迭代器，或引用，就必须保证在lambda被执行的时候，绑定到迭代器，指针或引用的对象仍然存在，而且，需要保证对象是预期的值。因为，有可能在捕获的时候，是预期的值，但是在执行lambda之前有代码改变了绑定对象的值，在执行lambda时，就变成不是预期的值了。
3，一般来说，尽量减少捕获的数据量，来避免潜在的捕获导致的问题。而且，如果可能的话，尽量避免捕获指针或引用。
#include <iostream>
#include <vector>
#include <algorithm>
using namespace std;
int main(){
//test1 值捕获
/*
int i = 1;
auto f = [i]{return i;};
i = 10;
int j = f();
cout << j << endl;
*/
//test2 引用捕获
/*
int i = 1;
auto f = [&i]{return i;};
i = 10;
int j = f();
cout << j << endl;//3
*/
//test3 隐式值捕获
/*
int i = 1;
int j = 2;
auto f = [=]{return i + j;};
i = 3;
int m = f();
cout << m << endl;
*/
//test4 隐式引用捕获
/*
int i = 1;
int j = 2;
auto f = [&]{return i + j;};
i = 3;
int m = f();
cout << m << endl;//5
*/
//test5 隐式，显式混合1
/*
int i = 1;
int j = 2;
//i为值捕获，j为引用捕获
auto f = [=,&j]{return i + j;};
i = 3;
int m = f();
cout << m << endl;//3
*/
//test5 隐式，显式混合2
/*
int i = 1;
int j = 2;
//i为引用捕获，j为值捕获
auto f = [&,j]{return i + j;};
i = 3;
int m = f();
cout << m << endl;//5
*/
//test6 可变lambda
/*
int i = 10;
auto f = [i] () mutable{return ++i;};
int j = f();
cout << j << endl;
*/
/*
const int i = 10;
//编译错误，因为i为const
auto f = [i] () mutable{return ++i;};
int j = f();
cout << j << endl;
*/
//test7 lambda的返回类型
vector<int> ivec{-12,2,-22,3,0};
//改变ivec里的值，负数变成整数
//此lambda不写返回类型没有问题.
//transform(ivec.begin(),ivec.end(),ivec.begin(),
// [](int i){return i < 0 ? -i : i;});
//此lambda不写返回类型也没有问题.
transform(ivec.begin(),ivec.end(),ivec.begin(),
[](int i){if(i < 0) return -i;
else return i;});
for(const auto &s : ivec){
cout << s << " ";
}
cout << endl;
}