C++11之Lambda特性探析

时间:2024-08-10 13:33:50

目录

目录 1

1. 什么是Lambda? 1

2. 语法格式 1

2.1. 语法格式 1

2.2. 最简定义 2

3. 应用示例 2

4. capture列表 3

4.1. 基本形式 3

4.2. 注意事项 3

5. 对比仿函数 3

6. 对比函数指针 4

7. Lamdba和STL 4

8. 参考资料 5

1. 什么是Lambda?

Lambda['læmdə]表达式是一个没有函数名的匿名函数,基于数学中的希腊字母λ演算得名。

2. 语法格式

2.1. 语法格式

Lambda函数的语法定义为:[capture] (parameters) mutable ->return_type { statement }。

1) capture

捕获列表,可以为空,但[]是必须的不能省略,编译器需要根据它来判断是否为Lambda函数。这个是整个Lambda中相对新鲜和复杂的地方,后面专节介绍。

区别于普通函数,捕获列表的意义在于:Lambda可直接访问父作用域中捕获列表所指定的变量,普通函数或类成员函数除了参数和类成员外,是不能访问父作用域(如调用它的父函数)中其它变量的。。

2) parameters

参数列表,和普通的函数没什么两样,如果没有参数,写可以写成(),不同于[],空的()也可省略。

3) mutable

修饰符,默认Lambda函数为const函数。

4) ->return_type

函数返回类型,在无返回值,或返回值可以推导出的情况下,可以省略。

5) statement

函数体,和普通函数体没有什么不同,但是除了可以使用参数外,还可以使用capture中所指定的变量。

2.2. 最简定义

通过以上规则,显然可以发现最简的Lambda函数定义:[] {};,这是一个什么也不做的空Lambda函数。

3. 应用示例

// 编译:g++ -std=c++11 -g -o x x.cpp

// 示例在g++ 4.8.2上编译通过

#include <stdio.h>

int main()

{

int boys = 4;  // 男生人数

int girls = 3; // 女生人数

// 计算男生和女生总人数,

// 这里必须用上C++11新定义的auto,

// total_child类似于指向函数的指针了,并带两个int类型的参数

auto total_child = [](int x, int y) -> int

{

return x + y;

};

// 调用

int x = total_child(girls, boys);

printf("%d\n", x);

return 0;

}

4. capture列表

4.1. 基本形式

这个是C++11 Lambda中非常有趣的地方,使用[]标识,有如下几种形式:

1) [var] 表示以值传递方式捕获变量var

2) [=] 表示以值传递方式捕获父作用域的所有变量,包括this

3) [&var] 表示以引用传递方式捕获变量var

4) [&] 表示以引用传递方式捕获父作用域的所有变量,包括this

5) [this] 表示以值传递方式捕获this

除以上5种基本形式化,还支持组合,如:

1) [=, &a, &b] 表示以引用传递方式捕获变量a和变量b,以值传递方式捕获父作用域的其它所有变量

2) [&, a, this] 表示以值传递方式捕获父作用域的变量a和this,以引用传递方式捕获其它所有变量

4.2. 注意事项

在上一节,可以看到捕获的几种基本形式,可以组合同时使用,但这里有个约束:不允许重复传递,比如:

1) [=, a] 由于=表示以值传递方式捕获所有父作用域的变量,a就和它重复了,所以产生了语法错误

2) [&, &this] 同理,&this也重复了,同样是语法错误。

5. 对比仿函数

在C++中,仿函数就是用一个类来模仿含糊,虽然用得不多,但有时却需要它,比如自定义map的比较函数等场合。下面是一个仿函数示例:

// 编译:g++ -std=c++11 -g -o y y.cpp

// 示例在g++ 4.8.2上编译通过

#include <stdio.h>

// 定义一个仿函数

class functor

{

public:

// 仿函数的特点就是重载了类的()操作符

int operator ()(int x, int y) const

{

return x + y;

}

};

int main()

{

int boys = 4;

int girls = 3;

// 使用仿函数

functor total_child;

int x = total_child(girls, boys);

printf("%d\n", x);

return 0;

}

由于仿函数是借助class或struct来实现的,因此它可以有类成员,仿函数被广泛的应用在STL的实现当中,它和Lambda函数相似,但要复杂一点。

6. 对比函数指针

Lambda函数并非函数指针,在C++11标准中将它定义为闭包(Closure)的类,每个Lambda会产生一个闭包类型的临时对象(右值)。

虽然如此,但C++11标准允许Lambda表达式向函数指针的转换,前提是Lambda函数没有捕获任何变量,而且函数指针的原型必须和Lambda函数有相同的调用方式。

7. Lamdba和STL

Lamdba函数和STL中的for_each结合,是最典型的应用场景,它相比其它方式都显得更为简约:

// 编译:g++ -std=c++11 -g -o z z.cpp

// 示例在g++ 4.8.2上编译通过

#include <algorithm>

#include <stdio.h>

#include <vector>

using namespace std;

void print(int i)

{

printf("%d\n", i);

}

int main()

{

vector<int> nums;

nums.push_back(2);

nums.push_back(0);

nums.push_back(1);

nums.push_back(4);

// 传统的for循环

for (auto iter=nums.begin(); iter!=nums.end(); ++iter)

{

printf("%d\n", *iter);

}

// 使用函数指针

for_each(nums.begin(), nums.end(), print);

// 使用Lamdba函数

for_each(nums.begin(), nums.end(), [=](int i)

{

printf("%d\n", i);

});

return 0;

}

8. 参考资料

推荐进一步阅读:《深入理解C++11:C++11新特性解析与应用》。