什么是C++中的Lambda表达式?它的作用是什么?
C++中的 Lambda 表达式:
Lambda 表达式是 C++11 引入的一种匿名函数,可以在需要的地方直接定义并使用。
通常的形式是
` `[捕获列表](参数列表)` `-> 返回类型 { 函数体 };
作用:
- 简化代码 :可以使代码更加简洁紧凑,避免定义单独的函数。例如在对容器进行排序、遍历等操作时,可以直接传入 Lambda 表达式作为参数,无需提前定义函数。
- 增加灵活性 :可以方便地捕获外部变量,根据不同的上下文进行灵活的操作。捕获列表可以指定以值捕获或引用捕获的方式获取外部变量。
- 提高代码可读性 :尤其是在一些短小的、特定的操作中,使用 Lambda 表达式可以让代码的意图更加清晰,直接在使用的地方看到具体的操作逻辑。
Lambda表达式可以捕获哪些类型的变量?有哪些捕获方式?
Lambda 表达式可捕获的变量类型:
- 局部变量:在 Lambda 表达式所在作用域内定义的普通变量。
- 静态变量:在程序运行期间一直存在的静态变量。
- 全局变量:整个程序都可访问的全局变量。
- 函数参数:传递给包含 Lambda 表达式的函数的参数。
lambda有以下优点:
- 可以就地匿名定义目标函数与函数对象,不需要额外写一个函数
- lambda是一个匿名的内联函数
lambda表达式定义了一个匿名函数,语法如下:
capture](params)-> ret {body;};
其中capture是捕获列表,params是参数列表,ret是返回值类型,body是函数体。
捕获列表[]:捕获一定范围的变量
参数列表[]:和普通函数的参数列表一样,如果没有参数参数列表可以省略不写
auto fun =` `[](){return` `0;};`
`auto fun =` `[]{return` `0;};
捕获列表
- []不能捕获任何变量
- [&]捕获外部作用域中的所有变量,并且按照引用捕获
- [=]捕获外部作用域中的所有变量,按照之捕获,拷贝过来的副本在函数体内是只读的
- [=,&a]按值捕获外部作用域得所有变量,并且按照引用捕获外部变量a
- [bar]按值捕获bar变量,不捕获其他变量
- [this]捕获当前类中的this指针,让lambda表达式拥有和当前类成员函数同样的访问权限
捕获方式:
- 值捕获 :以值的方式捕获外部变量,在 Lambda 表达式内部是这些变量的副本。例如 [a,b]() ,这里 a 和 b 都是以值捕获的方式被捕获到 Lambda 表达式中。
- 引用捕获 :以引用的方式捕获外部变量,在 Lambda 表达式内部可以直接修改外部变量的值。例如 [&a,&b]() ,这里 a 和 b 都是以引用捕获的方式被捕获到 Lambda 表达式中。
- 混合捕获 :可以同时使用值捕获和引用捕获,例如 [=,&a]() ,这里除了变量 a 以引用捕获外,其他外部变量都以值捕获的方式被捕获。
- 隐式捕获 :使用 [=] 表示以值捕获所有外部变量,使用 [&] 表示以引用捕获所有外部变量。
int` `main()`
`{`
`int a=10,b=20;`
`auto fl=[]{return a;};` `// 错误,没有捕获外部变量,因此无法访问变量 a`
`auto f2=[&]{return a++;};//正确,使用引用的方式捕获外部变量,可读写`
`auto f3=[=]{return a;};` `//正确,使用值拷贝的方式捕获外部变量,可读`
`auto f4=[=]{return a++;};//错误,使用值拷贝的方式捕获外部变量,可读不能写 `
`auto f5=[a]{return a+b;};// 错误,使用拷贝的方式捕获了外部变量 a,没有捕获外部变量 b,因此无法访问变量 b`
`auto f6=[a,&b]{return a+(b++);};` `// 正确,使用拷贝的方式捕获了外部变量 a,只读,使用引用的方式捕获外部变量 b,可读写`
`auto f7 =[=,&b]{return a+(b++);};` `//正确,使用值拷贝的方式捕 获所有外部变量以及 b 的引用,b 可读写,其他只读`
`return` `0;`
`}
class` `Test`
`{`
`public:`
`void` `output(int x,int y)`
`{`
`auto xl=]{return m number;};// 错误,没有捕获外部变量,不能使用类成员 m number`
`auto x2=[=]{returnmnumber+x+y;};//正确,以值拷贝的方式捕获所有外部变量`
`auto x3=[&]{returnmnumber+x+y;};//正确,以引用的方式捕获所有外部变量`
`auto x4=thisl{returnmnumber;};//正确,捕获 this指针,可访问对象内部成员`
`auto x5=[this]{returnm number+x+y;};//错误,捕获 this指针,可访问类内部成员,没有捕获到变量x,y,因此不能访问。`
`auto x6=[this,x,y]{returnmnumber+x+y;};// 正确,捕获 this 指针,x,y`
`auto x7=[this]{return m number++;};//正确,this 指针,并且可以修改对象内部变量的值捕获`
`}`
`int mnumber=100;`
`};
返回值
一般情况下,不指定 lambda 表达式的返回值,编译器会根据 return 语句自动推导返回值类型,但是需要注意的是 lambda 表达式不能通过列表初始化自动推导出返回值类型。
//可以自动推导出返回值类型`
`auto f=[](int i)`
`{`
`return i;`
`}`
`//不能推导出返回值类型`
`auto fl=[]()`
`{`
`return{1,2};//基于列表初始化推导返回值,错误`
`}`
`//正确显示声明了函数的返回值类型`
`auto fl=[]()-> vector<int>`
`{`
`return` `{1,2};//基于列表初始化推导返回值,错误`
`};