(C/C++学习)8.C++ Lambda
一.生成随机数字
假设我们有一个vector<int>容器,想用100以内的随机数初始化它,其中一个办法是通过generate函数生成,如代码1所示。generate函数接受三个参数,前两个参数指定容器的起止位置,后一个参数指定生成逻辑,这个逻辑正是通过Lambda来表达的。
代码1:
vector<int> vec(10);
generate(vec.begin(),vec.end(),[]{ return rand() % 100; });
我们现在看到Lambda是最简形式,只包含捕获子句和函数体两个必要部分,其他部分都省略了。[]是Lambda的捕获子句,也是引出Lambda的语法,当编译器看到这个符号时,就知道我们在写一个Lambda了。函数体通过{} 包围起来,里面的代码和一个普通函数的函数体没有什么不同。
那么,代码1生成的随机数字里有多少个奇数呢,我们可以通过for_each函数数一下,如代码2所示。和generate函数不同的是,for_each函数要求我们提供的Lambda接受一个参数。一般情况下,如果Lambda的参数列表不包含任何参数,我们可以把它省略,就像代码1所示的那样;如果包含多个参数,可以通过逗号分隔,如(int index, std::string item)。
代码2:
int odd_count = 0;
for_each(vec.begin(),vec.end(),[&odd_count](int value)
{
if(value %2 == 1)
odd_count++;
});
看到这里,细心的读者可能已经发现代码2的捕获子句里面多了一个"&odd_count",这是用来干嘛的呢?我们知道,这个代码的关键部分是在Lambda的函数体里修改一个外部的计数变量,常见的语言(如C#)会自动为Lambda捕获当前上下文的所有变量,但C++要求我们在Lambda的捕获子句里显式指定想要捕获的变量,否则无法在函数体里使用这些变量。如果捕获子句里面什么都不写,像代码1所示的那样,编译器会认为我们不需要捕获任何变量。
除了显式指定想要捕获的变量,C++还要求我们指定这些变量的传递方式,可以选择的传递方式有两种:按值传递和按引用传递。像[&odd_count] 这种写法是按引用传递,这种传递方式使得你可以在Lambda的函数体里对odd_count变量进行修改。相对的,如果变量名字前面没有加上"&"就是按值传递,这些变量在Lambda的函数体里是只读的。
如果你希望按引用传递捕获当前上下文的所有变量,可以把捕获子句写成[&];如果你希望按值传递捕获当前上下文的所有变量,可以把捕获子句写成[=]。如果你希望把按引用传递设为默认的传递方式,同时指定个别变量按值传递,可以把捕获子句写成[&, a, b];同理;如果默认的传递方式是按值传递,个别变量按引用传递,可以把捕获子句写成[=, &a, &b]。值得提醒的是,像[&, a, &b]和[=, &a, b]这些写法是无效的,因为默认的传递方式均已覆盖b变量,无需单独指定,有效的写法应该是[&, a]和[=, &a]。
二.生成等差数列
现在我们把一开始的问题改一下,通过generate函数生成一个首项为0,公差为2的等差数列。有了前面关于捕获子句的知识,我们很容易想到代码3这个方案,首先按引用传递捕获i变量,然后在Lambda的函数体里修改它的值,并返回给generate函数。
代码3:
int step = 2;
int i = 0;
vector<int> vec(10);
generate(vec.begin(),vec.end(),[&i,step]{ return (i += step); });
for(int it:vec)
如果我们把i变量的传递方式改成按值传递,然后在捕获子句后面加上mutable声明,如代码4所示,我们可以得到相同的效果,我指的是输出结果。那么,这两个方案有什么不一样呢?调用generate函数之后检查一下i变量的值就会找到答案了。需要说明的是,如果我们加上mutable声明,参数列表就不能省略了,即使里面没有包含任何参数。
代码4:
int step = 2;
int i = 0;
vector<int> vec(10);
generate(vec.begin(),vec.end(),[i,step] () mutable { return (i += step); });
cout<<i<<endl;
使用代码3这个方案,i变量的值在调用generate函数之后是18,而使用代码4这个方案,i变量的值是0。这个意味着mutable声明使得我们可以在Lambda的函数体修改按值传递的变量,但这些修改对Lambda以外的世界是不可见的,有趣的是,这些修改在Lambda的多次调用之间是共享的。换句话说,代码4的generate函数调用了10次Lambda,前一次调用时对i变量的修改结果可以在后一次调用时访问得到。
这听起来就像有个对象,i变量是它的成员字段,而Lambda则是它的成员函数,事实上,Lambda是函数对象(Function Object)的语法糖,代码4的Lambda最终会被转换成代码5所示的Functor类。
代码5:
class functor
{
public:
functor(int i,int step)
:_i(i),_step(step){}
int operator()()
{
return (_i += _step);
}
private:
int _i;
int _step;
};
你也可以把代码4的Lambda替换成Functor类,如代码6所示。
代码6:
int i = 0,step = 2;
vector<int> seq(10);
generate(seq.begin(),seq.end(),functor(i,step));
三.如何声明Lambda的类型?
到目前为止,我们都是把Lambda作为参数直接传给函数的,如果我们想把一个Lambda传给多个函数,或者把它当作一个函数多次调用,那么就得考虑把它存到一个变量里了,问题是这个变量应该如何声明呢?如果你确实不知道,也不想知道,那么最简单的办法就是交给编译器处理,如代码7所示,这里的auto关键字相当于C#的var,编译器会根据我们用来初始化f1变量的值推断它的实际类型,这个过程是静态的,在编译时完成。
代码7:
auto f = [](int x,int y){ return x+y; };
如果我们想定义一个接受代码7的Lambda作为参数的函数,那么这个参数的类型又该如何写呢?我们可以把它声明为function模板类型,如代码8所示,里面的类型参数反映了Lambda的签名——两个int参数,一个int返回值。需要注意的是:function是标准库里面提供的一个模板类型,位于std命名空间,使用之前需要#include <functional>。
代码8:
void foo(function < int (int,int) > f)
{
cout<<f(1,2)<<endl;
}
此外,你也可以把这个函数声明为模板函数,如代码9所示。
代码9:
template<class Fn>
void bar(Fn f)
{
cout<<f(1,2)<<endl;
}
无论你如何声明这个函数,调用的时候都是一样的,而且它们都能接受Lambda或者函数对象作为参数,如代码10所示。
代码10:
class functor
{
public:
int operator()(int x,int y)
{
return (x+y);
}
};
int main()
{
auto f = [](int x,int y){ return x+y; };
foo(f);
bar(f);
foo(functor());
bar(functor());
return 0;
}
四.捕获变量的值什么时候确定?
现在,我要把代码7的Lambda调整成代码11所示的那样,通过捕获子句而不是参数列表提供输入,这两个参数分别使用不同的传递方式,那么,我在第三行修改这两个参数的值会否对第四行的调用产生影响?
代码11:
int x = 1,y = 2;
auto f = [x,&y] {return (x+y); };
x = 3,y = 4;
cout<<f()<<endl;
如果你运行代码11,你将会看到输出结果是5。为什么?这是因为按值传递在声明Lambda的那一刻就已经确定变量的值了,无论之后外面怎么修改,里面只能访问到声明时传过来的版本;而按引用传递则刚好相反,里面和外面看到的是同一个东西,因此在调用Lambda之前外面的任何修改对里面都是可见的。这种问题在C#里是没有的,因为C#只有按引用传递这种方式。
五.返回值的类型什么时候可以省略?
最后,我们一直没有提到返回值的类型,编译器会一直帮我们自动推断吗?不会,只有两种情况可以在声明Lambda时省略返回值类型,而前面的例子刚好都满足这两种情况,因此推到现在才说:
- 函数体只包含一条返回语句,如最初的代码1所示。
- Lambda没有返回值,如代码2所示。
当你需要加上返回值的类型时,必须把它放在参数列表后面,并且在返回值类型前面加上"->"符号,如代码12所示。
代码12:
int x = 1,y = 2;
auto f1 = [x,y]()->int
{
return x+y;
};
cout<<f1()<<endl;
}
本文转自 https://www.cnblogs.com/allenlooplee/archive/2012/07/03/2574119.html
(C/C++学习)8.C++ Lambda的更多相关文章
- [算法1-排序](.NET源码学习)& LINQ & Lambda
[算法1-排序](.NET源码学习)& LINQ & Lambda 说起排序算法,在日常实际开发中我们基本不在意这些事情,有API不用不是没事找事嘛.但必要的基础还是需要了解掌握. 排 ...
- 0028 Java学习笔记-面向对象-Lambda表达式
匿名内部类与Lambda表达式示例 下面代码来源于:0027 Java学习笔记-面向对象-(非静态.静态.局部.匿名)内部类 package testpack; public class Test1{ ...
- 最近学习到的Lambda表达式
前言 只有光头才能变强. 文本已收录至我的GitHub仓库,欢迎Star:https://github.com/ZhongFuCheng3y/3y 中秋去了躺上海,在外滩上打了个卡: 紧接着学了一下J ...
- 学习Java8系列-Lambda
Lambda演进 小王在公司正在开发一个学生管理系统,产品经理向他提出一个需求,要筛选出年龄大于15的学生,于是小王写出了以下代码: public static List<Student ...
- 高放的c++学习笔记之lambda表达式
lambda表达式:可以让代码看起来更整洁,有些结构简单且用的次数少的函数可以用lambda表达式替代, 通常结构是这样的[捕获列表](参数列表){函数部分} 捕获列表: lambda表达式如果在一个 ...
- Java学习笔记--Java8 Lambda表达式
Java Lambda表达式入门:http://blog.csdn.net/renfufei/article/details/24600507 lambda内容的介绍:http://swiftlet. ...
- C++ 11学习(1):lambda表达式
转载请注明,来自:http://blog.csdn.net/skymanwu #include <iostream> #include <vector> #include &l ...
- 过16道练习学习Linq和Lambda(转)
1. 查询Student表中的所有记录的Sname.Ssex和Class列. select sname,ssex,class from studentLinq: from s in Students ...
- (二)jdk8学习心得之Lambda表达式
二.Lambda表达式 1. 格式 (参数1,参数2,…,参数n)->{方法体} 注意: (参数1,参数2,...,参数n)要与方法接口中的参数一致,但是名字可以不一样. 此外,方法类型接口,有 ...
- java8学习笔记之lambda表达式
1.lambda表达式特点 lambda表达式可以理解为可传递的匿名函数的一种方式,无名称,但有参数列表和函数体以及返回类型,可能还有一个可抛出异常的列表. 2.lambda表达式基本语法 (para ...
随机推荐
- 【MVC框架】——View和Controller之间的传值
在MVC中,Controller运行一个能够说是路由功能.它通过View传过来的数据,来决定应该调用哪一个Model,相同会把Model处理完的数据传给View,所以就总是涉及到Controller和 ...
- 【JavaScript】JS读取XML文件并进行搜索
需求效果 点击链接.当前页面载入xml文件并展示相应内容 通过搜索框.搜索xml文件内节点数据.展示包括内容的节点数据 功能实现 Demo终于实现效果 http://loadxmldemo.coder ...
- 批量配置SSH 免密钥登录脚本
[root@c3-zabbix-serv hurl]# cat sendsshkey.sh #!/bin/bash if [ -z $1 ]; then echo "Usage : ...
- excel 字符串拼接 添加 超链接
=HYPERLINK("http://"&C2,"http://"&C2)
- 通过adb push 从电脑里复制文件到手机里
在开发中.我们 常常 须要 从 电脑 拷贝 一些 文件 到 自己的 app 目录里. 我之前的 方式 是 将 手机 链接 电脑,然后 从 电脑里 找到 app 文件夹,然后 进行 拷贝. 可是 这种 ...
- Java异常&&RuntimeException异常
Java异常可分为3种: (1)编译时异常:Java.lang.Exception (2)运行期异常:Java.lang.RuntimeException (3)错误:Java.lang.Error ...
- Flume Avor Source
1.cd /usr/local2/flume/conf sudo vim avro.conf: a1.sources = r1 a1.sinks = k1 a1.channels = c1 # Des ...
- Java命名规范(新手宝典)
很多刚开始学习Java的童鞋都不知道如何命名类文件,方法名,字段名,常量名等,今天抽出时间整理了了一下.大佬绕过 Java命名的组成规则:英文大小写字母,数字,$和_. 这里有几点需要注意: 不能以数 ...
- C# 针对文件夹的操作
//创建文件夹Directory.CreateDirectory(Server.MapPath("a"));Directory.CreateDirectory(Server.Map ...
- scrapy 简单操作
1.创建一个简单的scrapy项目 scrapy startproject search(项目名称)按照提示cd searchscrapy genspider serachname search.co ...