浅析C++11新特性的Lambda表达式
lambda简介
熟悉Python的程序员应该对lambda不陌生。简单来说，lambda就是一个匿名的可调用代码块。在C++11新标准中，lambda具有如下格式：
[capture list] (parameter list) -> return type { function body }
可以看到，他有四个组成部分：
1.capture list： 捕获列表
2.parameter list： 参数列表
3.return type： 返回类型
4.function body： 执行代码
其中，参数列表和返回类型可以忽略。
下面，具体看几个简单的例子：
auto f1 = [] { return 1; };
auto f2 = [] () { return 2; };
cout<<f1()<<'\t'<<f2()<<endl;
捕获列表
lambda中的捕获列表既可以捕获值，也可以捕获引用。
捕获值：
int test_data[] = {1, 5, 9, 7, 3, 19, 13, 17};
int border = 8;
auto f3 = [border](const int &i){ if(i > border) cout<<i<<'\t'; };
for_each(begin(test_data), end(test_data), f3);
cout<<endl;
捕获引用：
auto f4 = [&border](const int &i){ if(i > border) cout<<i<<'\t'; };
border = 6;
for_each(begin(test_data), end(test_data), f4);
cout<<endl;
通过输出可以看出，lambda中起作用的border是修改后的6，证实了捕获的确是是引用。
需要注意的是，在捕获引用时，需要保证当lambda被调用时，此引用仍然有效。
捕获列表还可以采用隐式捕获的方式，即让编译器通过lambda的执行代码来判断需要捕获哪些局部变量。
隐式捕获可以捕获值、引用或者两者混合：
char space = ' ';
auto f5 = [=](const int &i){ if(i > border) cout<<i<<'\t'; };
auto f6 = [&](const int &i){ if(i > border) cout<<i<<'\t'; };
auto f7 = [&, space](const int &i){ if(i > border) cout<<i<<space; };
border = 0;
for_each(begin(test_data), end(test_data), f5);
cout<<endl;
for_each(begin(test_data), end(test_data), f6);
cout<<endl;
for_each(begin(test_data), end(test_data), f7);
cout<<endl;
这里的f7使用的混合形式，可以读作“除了space捕获值之外，其他变量均捕获引用”。
可变lambda
当lambda需要在其中修改被值捕获的变量的值时，需要给lambda加上mutable关键字。否则会有编译错误。
auto f8 = [&, space](const int &i) mutable { if(i > border) {cout<<i<<space; space='\t';} };
for_each(begin(test_data), end(test_data), f8);
cout<<endl;
cout<<1<<space<<2<<endl;
从输出中可以看出，space在lambda f8中的值，在第一次调用之后，就被变成了制表符Tab;但是在lambda之外，space仍然是空格。
返回类型
lambda的返回类型采用尾置返回类型的方式。一般的：
1.lambda如果只包含return语句，则编译器可以推断其返回类型，此时可以不显示指定返回类型；
2.否则，编译器假定lambda返回void，而返回void的函数不可以反悔任何具体值，这在大多数情况下是个矛盾，因此需要显示指定返回类型。
但是，经过实际测试，目前的g++编译器更聪明了：对于第2点，目前只要编译器可以从lambda函数体中推断出函数的返回类型，就不需要显式指定返回类型，例如：
auto f9 = [](const int i){if(i % 3) return i * 3; else return i;};
transform(begin(test_data), end(test_data), begin(test_data), f9);
border = 0;
for_each(begin(test_data), end(test_data), f6);
cout<<endl;
lambda代码块中有多个return语句，并且还有if/else语句，但是编译器可以根据return语句推断出，其返回值应该是一个int类型，所以可以省略尾置返回类型。
但是，像下面这种形式，由于编译器在推断返回类型时发现了不一致，所以必须显式的指定返回类型：
auto f10 = [](const int i) -> double
{if(i % 5) return i * 5.0; else return i;};
transform(begin(test_data), end(test_data), begin(test_data), f10);
for_each(begin(test_data), end(test_data), f6);
cout<<endl;
总结
1.lambda表达式形式： [capture list] (parameter list) -> return type { function body }，其中parameter list和return type可以省略。
2.捕获列表可以捕获值[val]，也可以捕获引用[&ref]。
3.捕获列表还可以隐式捕获局部变量，同样有捕获值[=]和捕获引用[&]两种方式，初次之外还可以混合捕获[&, val]或者[=, &ref]。
4.当lambda需要修改捕获的值时，需要加上mutable关键字。
4.当lambda无法自动推断出返回值类型时，需要通过尾置返回类型的方式显示指定。
以上就是C++11新特性之Lambda表达式的全部内容，希望本文对大家学习C++有所帮助。
相关文章
二叉树可以简单理解为对于一个节点来说，最多拥有一个上级节点，同时最多具备左右两个下级节点的数据结构。本文将详细介绍一下C++中二叉树的实现和遍历，需要的可以参考一下2022-03-03
QThreadPool管理和重新设计单个QThread对象，以帮助降低使用线程的程序中的线程创建成本，本文主要介绍了Qt QThreadPool线程池的实现，具有一定的参考价值，感兴趣的可以了解一下2007-03-03
这篇文章主要给大家介绍了关于C++中各种初始化方式的相关资料，文中通过示例代码介绍的非常详细，对大家学习或者使用C++具有一定的参考学习价值，需要的朋友们下面随着小编来一起学习学习吧。2017-10-10
c语言计算三角形面积，这只是一个小作业，大家一起学习C语言吧，面积公式s = (a+b+c) / 2 area = sqrt(s * (s - a) * (s - b) * (s - c))2013-11-11
这篇文章主要介绍了使用C++库实现两个线程交替打印，一个线程打印奇数、一个线程打印偶数，文中通过示例代码介绍的非常详细，对大家的学习或者工作具有一定的参考学习价值，需要的朋友们下面随着小编来一起学习学习吧2022-08-08
C语言使用stdlib.h库函数的二分查找和快速排序的实现代码
以下是对C语言使用stdlib.h库函数的二分查找和快速排序的实现代码进行了详细的介绍，需要的朋友可以过来参考下。希望对大家有所帮助2013-10-10
本篇文章是对C++中数组名与指针用法的比较进行了详细的分析介绍，需要的朋友参考下2013-05-05
这篇文章主要为大家详细介绍了C语言实现停车管理系统，文中示例代码介绍的非常详细，具有一定的参考价值，感兴趣的小伙伴们可以参考一下2022-03-03
这篇文章主要为大家详细介绍了C语言实现经典24点纸牌益智游戏，文中示例代码介绍的非常详细，具有一定的参考价值，感兴趣的小伙伴们可以参考一下2019-10-10
本文给大家分享的是使用C语言实现的斗地主游戏的核心算法，主要实现了面向对象设计，洗牌、发牌、判断牌型、比较牌的大小、游戏规则等算法。通过这个斗地主小项目的练习，提高了我的面向对象设计能力，加深了对算法的理解。最近把这些设计和算法分享给大家。2015-03-03
最新评论