目录
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 ", 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 ", 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 ", 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 ", *iter); } // 使用函数指针 for_each(nums.begin(), nums.end(), print); // 使用Lamdba函数 for_each(nums.begin(), nums.end(), [=](int i) { printf("%d ", i); }); return 0; } |
8. 参考资料
推荐进一步阅读:《深入理解C++11:C++11新特性解析与应用》。