一、什么是lambda表达式?
C++ Lambda 表达式是一种匿名函数,它可以像变量一样被定义、传递和赋值,大大简化了 C++ 的编程过程。Lambda 表达式的语法形式如下:
[capture-list] (parameters) -> returntype {statement}
对于以上各个部分的解析:
[capture-list] : 捕捉列表,该列表总是出现在lambda函数的开始位置,编译器根据[]来判断接下来的代码是否为lambda函数,捕捉列表能够捕捉上下文中的变量供lambda函数使用。
(parameters):参数列表。与普通函数的参数列表一致,如果不需要参数传递,则可以连同()一起省略
mutable:默认情况下,lambda函数总是一个const函数,mutable可以取消其常量性。使用该修饰符时,参数列表不可省略(即使参数为空)。(因此我们通常配合捕获列表使用)
->returntype:返回值类型。用追踪返回类型形式声明函数的返回值类型,没有返回值时此部分可省略。返回值类型明确情况下,也可省略,由编译器对返回类型进行推导。
{statement}:函数体。在该函数体内,除了可以使用其参数外,还可以使用所有捕获到的变量。
例如,下面的代码定义了一个简单的 lambda 表达式,它接受两个整数参数并返回它们的和:
auto add = [](int a, int b) -> int { return a + b; };//通常用auto来接收 std::cout << add(2, 3); // 输出 5
注意:
在lambda函数定义中,参数列表和返回值类型都是可选部分,而捕捉列表和函数体可以为空。因此C++11中最简单的lambda函数为:[]{}; 该lambda函数不能做任何事情。
二、lambda表达式详解
捕捉列表
在 C++ 中,Lambda 表达式可以使用捕获列表来指定它如何访问在其外部作用域中的变量。捕获列表可以包含以下元素:
[ ]表示不捕获任何变量
[var]:表示值传递方式捕捉变量var
[=]:表示值传递方式捕获所有父作用域中的变量(包括this)
[&var]:表示引用传递捕捉变量var
[&]:表示引用传递捕捉所有父作用域中的变量(包括this)
[this]:表示值传递方式捕捉当前的this指针
注意:
a. 父作用域指包含lambda函数的语句块
b. 语法上捕捉列表可由多个捕捉项组成,并以逗号分割。
比如:[=, &a, &b]:以引用传递的方式捕捉变量a和b,值传递方式捕捉其他所有变量[&,a, this]:值传递方式捕捉变量a和this,引用方式捕捉其他变量
c. 捕捉列表不允许变量重复传递,否则就会导致编译错误。
比如:[=, a]:=已经以值传递方式捕捉了所有变量,捕捉a重复
d. 在块作用域以外的lambda函数捕捉列表必须为空。
e. 在块作用域中的lambda函数仅能捕捉父作用域中局部变量,捕捉任何非此作用域或者非局部变量都会导致编译报错。
f. lambda表达式之间不能相互赋值,即使看起来类型相同
[var]:表示值传递方式捕捉变量var
需要注意的是传递过来的变量默认是const 的,是不能进行修改的,但是可以读。如果要修改需要用到外面的mutable。这里的传递实际上就是传值传参数初始化lambda函数。
如下例子:(这里未使用mutable)
int x = 1, y = 2; auto cg = [x, y](){int tmp = x; x = y; y = tmp; };
使用了mutable后:
int x = 1, y = 2; auto cg = [x, y]()mutable{int tmp = x; x = y; y = tmp; };
如上我们写了一个交换两值的数,但是由于只是传递值所以没有进行改变,意思就是函数里面的x和y和函数外的x和y不是同一个,这也是为什么这种捕捉也叫做:传值捕捉。
如果我们要实现交换我们可以使用下面的传引用捕捉。
[&var]:表示引用传递捕捉变量var
int x = 1, y = 2; auto cg = [&x, &y]()mutable{int tmp = x; x = y; y = tmp; }; //auto cg = [&x, &y](){int tmp = x; x = y; y = tmp; }; //两种都可用,都是符合要求的
[=]:表示值传递方式捕获所有父作用域中的变量(包括this)
int x = 3; char ss = 'Q'; auto cg = [=]() {cout << x << ' ' << ss << endl; };
[&]:表示引用传递捕捉所有父作用域中的变量(包括this)
int x = 3; char ss = 'Q'; auto cg = [&]() { x = 4; ss = 'U'; };
[this]:表示值传递方式捕捉当前的this指针
我们通常会在类中使用[this]来捕获父作用域中的变量,如果我们要使用成员变量,通常就需要捕获this,如果直接捕获是不会成功的,因为只能捕获 作用域中的变量。如下:
//正确的使用方法如下:用[this]捕获成员变量 class TX { public: void fun() { auto cg = [this]() {cout << a << " " << b << endl; }; cg(); } private: int a=4; char b='U'; };
[=,&]:拷贝与引用混用
拷贝与引用混用主要由于有特殊的值需要引用的原因,比如以下的例子:
[=,&val]混用
int x = 0; int y = 10; string ss = "114514"; auto cg = [=, &x, &y]() {cout << x << " " << y << " " << ss << endl; int tmp = x; x = y; y = tmp; }; cg(); cout <<x<<" "<<y<< endl; //结果为:0 10 114514 // 10 0
[&,val]混用
int x = 0; int y = 10; string ss = "114514"; auto kg = [&,ss]() {cout << x << " " << y << " " << ss << endl; int tmp = x; x = y; y = tmp; }; kg(); cout << x << " " << y << endl; //结果为:0 10 114514 // 10 0
但是需要注意的是当我们已经捕获过变量而再次去捕获是不行的,比如[=,x]这样就重复的捕获了,同理[&,&x]也是不行的。同理的我们也可以混用[&,this]、[=,&a,&this]等。
返回值类型
C++ lambda表达式的返回类型可以是任意类型,包括基本数据类型、引用类型、指针类型、数组类型、结构体类型、类类型等。
- 无返回值:[]() {}
- 一个返回值:[x]() { return x; }
- 多个返回值:[x, y]() { return std::make_pair(x, y); }
- 带有异常规范的返回值:[&]() noexcept { /*...*/ }
- 带有完美转发的返回值:[&]() -> T { /*...*/ }
- 带有默认参数的返回值:[x = 10, y]() -> int { return x + y; }
- 带有模板参数的返回值:[T](T t) -> decltype(t * t) { return t * t; }
- 带有捕获列表的返回值:[&]() -> int { /*...*/ }
- 带有命名捕获列表的返回值:[&a, &b]() -> int { /*...*/ }
- 带有初始化捕获列表的返回值:[&]() -> int { static int count = 0; return ++count; }
需要注意的是:C++中Lambda的返回类型会自动推导。即:可以不使用->returntype,编译器会根据函数体中的return的类型进行推导。但是如果指定了返回类型,编译器则会根据指定的类型返回。
auto ch = [](int x, int y)->double { return x + y; }; auto ch2 = [](int x, int y){ return x + y; }; cout <<ch(1,2) <<endl; cout << typeid(ch(1,2)).name() << endl; //结果为:3 double cout << ch2(1, 2) << endl; cout << typeid(ch2(1, 2)).name() << endl; //结果为:3 int
其余部分
(parameters):参数列表。与普通函数的参数列表一致,如果不需要参数传递,则可以连同()一起省略
mutable:默认情况下,lambda函数总是一个const函数,mutable可以取消其常量性。使用该修饰符时,参数列表不可省略(即使参数为空)。(因此我们通常配合捕获列表使用)
{statement}:函数体。在该函数体内,除了可以使用其参数外,还可以使用所有捕获到的变量。
三、lambda与仿函数的对比
函数对象,又称为仿函数,即可以想函数一样使用的对象,就是在类中重载了operator()运算符的类对象。而实际上从使用方式上来看,函数对象与lambda表达式完全一样。如下:
class Rate { public: Rate(double rate): _rate(rate) {} double operator()(double money, int year) { return money * _rate * year;} private: double _rate; }; int main() { // 函数对象 double rate = 0.49; Rate r1(rate); r1(10000, 2); // lamber auto r2 = [=](double monty, int year)->double{return monty*rate*year; }; r2(10000, 2); return 0;
函数对象将rate作为其成员变量,在定义对象时给出初始值即可,lambda表达式通过捕获列表可以直接将该变量捕获到。
底层观察:
实际在底层编译器对于lambda表达式的处理方式,完全就是按照函数对象的方式处理的,即:如果定义了一个lambda表达式,编译器会自动生成一个类,在该类中重载了operator()。
lambda与仿函数的异同
在C++中,lambda函数和仿函数都是用来创建匿名函数的方式。它们的共同点在于都可以在函数内部定义一些代码,并且这些代码可以在整个程序中重复使用。但是,它们也有一些重要的不同之处。
相同点:
1. **匿名性**:lambda函数和仿函数都是匿名的,也就是说它们没有名字,只有其函数体。
2. **可以被捕获**:lambda函数和仿函数都可以被捕获,这意味着它们可以访问其外部作用域中的变量。但是,lambda函数可以捕获任何类型的对象,而仿函数只能捕获引用。
3. **可以有参数**:lambda函数和仿函数都可以有参数。参数可以是任何类型的,也可以是有默认值的。
4. **可以有返回值**:lambda函数和仿函数都可以有返回值,而且可以是任何类型的。
5. **可以作为函数参数**:lambda函数和仿函数都可以作为其他函数的参数。
不同点:
1. **模板函数支持**:lambda函数可以直接作为模板函数的参数,而仿函数则不行。
2. **内联性能**:对于简单的、只有一行代码的函数,lambda函数通常比仿函数更快,因为它们不需要额外的函数调用开销。
3. **调用特性**:lambda函数可以提供更强大的调用特性,比如静态成员和虚函数的重载。
4. **定义方式**:lambda函数的定义方式更为简洁明了,而仿函数需要先声明再定义。
5. **适应范围**:lambda函数适合于简单的、一次性的函数,而仿函数适合于复杂的、需要复用的函数。
6. **捕获方式**:lambda函数可以通过多种方式捕获外部变量,如自动捕获、值捕获、引用捕获等,而仿函数只能通过引用捕获。
总的来说,lambda函数更适合于简单的、一次性的函数,而仿函数更适合于复杂的、需要复用的函数。同时,lambda函数的定义方式更为简洁明了,但是在使用时需要注意其内存管理和性能问题。
感谢你耐心的看到这里ღ( ´・ᴗ・` )比心,如有哪里有错误请踢一脚作者o(╥﹏╥)o!