C++11新特性:lambda表达式

Lamda表达式

C++ 11 中的 Lambda 表达式用于定义并创建匿名的函数对象,以简化编程工作。

一个完整的 Lambda 表达式如下:

[=] (int x, int y) mutable -> int { int z = x + y; return z; }

[函数对象参数] (操作符重载函数参数) mutable 或 exception 声明 -> 返回值类型 {函数体}

可以看到,Lambda 主要分为五个部分:

[函数对象参数]
(操作符重载函数参数)
mutable 或 exception 声明
-> 返回值类型
{函数体}

各个参数

1、[函数对象参数]

标识一个 Lambda 表达式的开始,这部分必须存在,不能省略。

Lambda 函数内部只能看到入参,如果想访问函数外部的变量,就需要用到 [函数对象参数]。

函数对象参数只能使用那些到定义 Lambda 为止时 Lambda 所在作用范围内可见的局部变量(包括 Lambda 所在类的 this)。

空 :没有任何函数对象参数。
= :函数体内可以使用 Lambda 所在范围内所有可见的局部变量(包括 Lambda 所在类的 this)
    并且是值传递方式(相当于编译器自动为我们按值传递了所有局部变量)。
& :函数体内可以使用 Lambda 所在范围内所有可见的局部变量(包括 Lambda 所在类的 this)
    并且是引用传递方式(相当于是编译器自动为我们按引用传递了所有局部变量)。
this :函数体内可以使用 Lambda 所在类中的成员变量。
a :将 a 按值进行传递。按值进行传递时,函数体内不能修改传递进来的 a 的拷贝,
    因为默认情况下函数是 const 的,要修改传递进来的拷贝,可以添加 mutable 修饰符。
&a : 将 a 按引用进行传递。
a,&b :将 a 按值传递,b 按引用进行传递。
=,&a,&b :除 a 和 b 按引用进行传递外,其他参数都按值进行传递。
&,a,b : 除 a 和 b 按值进行传递外,其他参数都按引用进行传递。

函数对象参数是传递给编译器自动生成的函数对象类的构造函数的。

2、(操作符重载函数参数)

声明 Lambda 函数的入参。

标识重载的 () 操作符的参数,没有参数时,这部分可以省略。

参数可以通过按值(如: (a, b))和按引用 (如: (&a, &b)) 两种方式进行传递。

3、mutable 或 exception 声明

按值传递函数对象参数(即第一部分外部变量,不是函数入参)时默认是const,加上 mutable 修饰符后,可以修改传递进来的拷贝(注意是能修改拷贝,而不是值本身)。

exception 声明用于指定函数抛出的异常,如抛出整数类型的异常,可以使用 throw(int)。

这部分可以省略。

4、-> 返回值类型

标识函数返回值的类型

当返回值为 void,或者函数体中只有一处 return 的地方(此时编译器可以自动推断出返回值类型)时,这部分可以省略。

5、 {函数体}

标识函数的实现,这部分不能省略,但函数体可以为空。

几个例子

[] (int x, int y) { return x + y; } // 隐式返回类型
[] (int& x) { ++x;  } // 没有 return 语句 -> Lambda 函数的返回类型是 'void'
[] () { ++global_x;  } // 没有参数,仅访问某个全局变量
[] { ++global_x; } // 与上一个相同,省略了 (操作符重载函数参数)

可以像下面这样显示指定返回类型: 

[] (int x, int y) -> int { int z = x + y; return z; }

在这个例子中创建了一个临时变量 z 来存储中间值。和普通函数一样,这个中间值不会保存到下次调用。什么也不返回的
Lambda 函数可以省略返回类型,而不需要使用 -> void 形式。

Lambda 函数可以引用在它之外声明的变量. 这些变量的集合叫做一个闭包. 闭包被定义在 Lambda 表达式声明中的方括
号 [] 内。这个机制允许这些变量被按值或按引用捕获。如下图的例子:

std::vector<int> some_list;
int total = 0;
for (int i = 0; i < 5; ++i) some_list.push_back(i);
std::for_each(begin(some_list), end(some_list), [&total](int x)
{
    total += x;
});

 此例计算 list 中所有元素的总和。变量 total 被存为 Lambda 函数闭包的一部分。因为它是栈变量(局部变量)total 引用,所以可以改变它的值。

  • 1
    点赞
  • 2
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
Lambda表达式C++11引入的一种函数对象,可以在需要函数对象的地方使用,比如作为函数参数、返回值等。Lambda表达式的语法形式如下: ``` [capture list](parameters) mutable exception -> return type { // function body } ``` 其中,`capture list` 表示捕获列表,用于捕获外部变量。`parameters` 表示函数参数列表,`mutable` 用于表示是否可以修改值传递的变量,`exception` 是异常列表,`return type` 表示返回类型,`function body` 则是函数体。 在Lambda表达式中,可以通过 `[this]` 捕获当前对象的指针,即 `this` 指针,可以方便地访问当前对象的成员变量和成员函数。例如: ``` class MyClass { public: void foo() { int x = 1; auto lambda = [this, x]() mutable { this->m_member_var += x; this->m_member_function(); x++; }; lambda(); } private: int m_member_var; void m_member_function(); }; ``` 在上面的例子中,Lambda表达式通过 `[this, x]` 捕获了当前对象的指针和 `foo()` 函数中定义的变量 `x`。在 Lambda 表达式中可以通过 `this->m_member_var` 和 `this->m_member_function()` 访问当前对象的成员变量和成员函数。由于 `x` 是值传递的,所以在 Lambda 表达式中需要使用 `mutable` 关键字使其可修改,可以通过 `x++` 修改变量的值。最后调用 `lambda()` 执行 Lambda 表达式。 需要注意的是,Lambda表达式捕获 `this` 指针时,需要保证当前对象是有效的,即不能在已经销毁的对象中访问成员变量和成员函数。

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

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

余额充值