【C++】C++11中的常见语法(下)

C++11

  • 一、可变参数模板
    • 1. 递归函数方式展开参数包
    • 2. 逗号表达式展开参数包
    • 3. STL容器中的 empalce 相关接口函数
  • 二、lambda 表达式
    • 1. C++98 中的一个例子
    • 2. 使用 lambda 表达式
    • 3. lambda 表达式语法
      • (1)lambda 表达式各部分说明
      • (2)捕获列表说明
    • 4. 函数对象与 lambda 表达式
  • 三、包装器
    • 1. function 包装器
    • 2. bind

一、可变参数模板

C++11 的新特性可变参数模板能够让我们创建可以接受可变参数的函数模板和类模板,相比 C++98/03 ,类模版和函数模版中只能含固定数量的模版参数,可变模版参数是一个巨大的改进。然而由于可变模版参数比较抽象,使用起来需要一定的技巧,所以这块还是比较晦涩的。所以我们只需要掌握一些基础的可变参数模板特性够了,如果大家有需要,再可以深入去学习。

其实我们早就接触过可变参数了,例如 printf 函数,这个是函数的可变参数,如下图:

在这里插入图片描述

… 代表可以传任意个参数。

以下是可变参数模板的语法:

				// Args是一个模板参数包,args是一个函数形参参数包// 声明一个参数包Args...args,这个参数包中可以包含0到任意个模板参数。template <class ...Args>void ShowList(Args... args){}

我们可以像以下这样传参:

				int main(){ShowList(1, 2, 3, 4, 5);ShowList(1, "abcde", 3.33);return 0;}

我们可以通过 sizeof...(args) 计算出参数包的个数,如下:

				template <class ...Args>void ShowList(Args... args){cout << sizeof...(args) << endl;}

在这里插入图片描述

如果我们想打印参数包中的内容呢?我们无法直接获取参数包 args 中的每个参数的,只能通过展开参数包的方式来获取参数包中的每个参数,这是使用可变模版参数的一个主要特点,也是最大的难点,即如何展开可变模版参数。由于语法不支持使用 args[i] 这样方式获取可变参数,所以我们的用一些其他方式来一一获取参数包的值。

1. 递归函数方式展开参数包

如以下代码:

				// 递归终止函数void _ShowList(){cout << endl;}// 展开函数template <class T, class ...Args>void _ShowList(const T& val, Args... args){cout << val << " ";_ShowList(args...);}template <class ...Args>void ShowList(Args... args){_ShowList(args...);}int main(){ShowList(1, 2, 3, 4, 5);ShowList(1, "abcde", 3.33);return 0;}

如上代码,我们就可以打印出参数包的内容,这种方法叫做编译时的递归推演。

2. 逗号表达式展开参数包

这种展开参数包的方式,不需要通过递归终止函数,是直接在expand函数体中展开的, PrintArg 不是一个递归终止函数,只是一个处理参数包中每一个参数的函数。这种就地展开参数包的方式实现的关键是逗号表达式。我们知道逗号表达式会按顺序执行逗号前面的表达式。

如下代码:

				template <class T>int PrintArg(T t){cout << t << " ";return 0;}//展开函数template <class ...Args>void ShowList(Args... args){int arr[] = { PrintArg(args)... };cout << endl;}

上述代码中,要初始化 arr,就强行让编译器解析参数包,参数包有几个参数,PrintArg 就依次推演生成几个参数。

3. STL容器中的 empalce 相关接口函数

C++11中为容器新增了一些 empalce 的插入接口,首先我们看到的 emplace 系列的接口,支持模板的可变参数,并且万能引用。那么相对 insertemplace 系列接口的优势到底在哪里呢?

在这里插入图片描述

我们先尝试一下使用两种方法插入一些数据,如下:

				int main(){list<Young::string> lt;Young::string s1("abcde");lt.push_back(s1);lt.push_back(move(s1));Young::string s2("edcba");lt.emplace_back(s2);lt.emplace_back(move(s2));return 0;}

在这里插入图片描述

但是我们发现,在这种情况下两者并没有明显的区别,那么它们的区别到底在哪呢?

下面我们换一种初始化方式,我们在构造函数中也打印相应的语句,这样有利于我们观察:

				int main(){list<Young::string> lt;lt.push_back("abcde");lt.emplace_back("abcde");return 0;}

结果如下:

在这里插入图片描述

其中 push_back 调的是构造和移动构造;emplace_back 只调了构造,这是为什么呢?原因如下图所示:

在这里插入图片描述

下面我们再看一种场景,多参数传参:

				int main(){list<pair<Young::string, int>> lt;lt.push_back(make_pair("abcde", 1));cout << endl;lt.emplace_back("edcba", 2);return 0;}

在这里插入图片描述

其原因也与上述的类似:

在这里插入图片描述

下面我们更改一下我们自己实现的 list 类,增加 emplace_back 版本的插入,为了方便演示上述过程:

首先增加构造节点的构造函数:

					template <class... Args>list_node(Args&&... args): _data(args...), _next(nullptr), _prev(nullptr){}

再增加 emplace_back 的插入版本,这里没有实现后面链接的部分代码,只是为了演示这个过程:

				template <class... Args>void emplace_back(Args&&... args){Node* newnode = new Node(args...);// 链接节点// ...}

emplace_back 版本的插入过程如下图所示:

在这里插入图片描述

结论:emplace_back 比 push_back 略微高效一点点,并没有很大的提升,因为移动构造的成本也是足够低的!

二、lambda 表达式

1. C++98 中的一个例子

在 C++98 中,如果想要对一个数据集合中的元素进行排序,可以使用std::sort 方法:

				int main(){int array[] = { 4,1,8,5,3,7,0,9,2,6 };// 默认按照小于比较,排出来结果是升序std::sort(array, array + sizeof(array) / sizeof(array[0]));// 如果需要降序,需要改变元素的比较规则std::sort(array, array + sizeof(array) / sizeof(array[0]), greater<int>());return 0;}

如果待排序元素为自定义类型,如下:

				struct Goods{string _name;  // 名字double _price; // 价格int _evaluate; // 评价Goods(const char* str, double price, int evaluate): _name(str), _price(price), _evaluate(evaluate){}};

需要用户定义排序时的比较规则,所以这时候需要写仿函数:

				struct ComparePriceLess{bool operator()(const Goods& gl, const Goods& gr){return gl._price < gr._price;}};struct ComparePriceGreater{bool operator()(const Goods& gl, const Goods& gr){return gl._price > gr._price;}};

其中,sort 中的 Compare comp 是一个可调用对象:

在这里插入图片描述

随着 C++ 语法的发展,人们开始觉得上面的写法太复杂了,每次为了实现一个 algorithm 算法,都要重新去写一个类,如果每次比较的逻辑不一样,还要去实现多个类,特别是相同类的命名,这些都给编程者带来了极大的不便。因此,在 C++11 语法中出现了 lambda 表达式。

2. 使用 lambda 表达式

我们可以先见识一下如何使用 lambda 表达式;如果想使用 lambda 表达式达到上面的比较效果,假设我们需要分别写一个按照商品的价格的高低的排序,如下:

			int main(){vector<Goods> v = { { "苹果", 2.1, 5 }, { "香蕉", 3, 4 }, { "橙子", 2.2,3 }, { "菠萝", 1.5, 4 } };// lambda 表达式sort(v.begin(), v.end(), [](const Goods& g1, const Goods& g2) {return g1._price < g2._price; });sort(v.begin(), v.end(), [](const Goods& g1, const Goods& g2) {return g1._price > g2._price; });return 0;}

上述代码就是使用 C++11 中的 lambda 表达式来解决,可以看出 lambda 表达式实际是一个匿名函数。

3. lambda 表达式语法

lambda 表达式书写格式:[capture-list] (parameters) mutable -> return-type { statement };

(1)lambda 表达式各部分说明

  • [capture-list] : 捕捉列表,该列表总是出现在 lambda 函数的开始位置,编译器根据[]来判断接下来的代码是否为 lambda 函数,捕捉列表能够捕捉上下文中的变量供 lambda 函数使用。

  • (parameters):参数列表。与普通函数的参数列表一致,如果不需要参数传递,则可以连同()一起省略

  • mutable:默认情况下,lambda 函数总是一个 const 函数,mutable 可以取消其常量性。使用该修饰符时,参数列表不可省略(即使参数为空)。现阶段我们按照默认的使用即可,可省略。

  • ->returntype:返回值类型。用追踪返回类型形式声明函数的返回值类型,没有返回值时此部分可省略。返回值类型明确情况下,也可省略,由编译器对返回类型进行推导。

  • {statement}:函数体。在该函数体内,除了可以使用其参数外,还可以使用所有捕获到的变量。

其中捕捉列表和函数体是必须写的,其它的可省略。

注意:在 lambda 函数定义中,参数列表和返回值类型都是可选部分,而捕捉列表和函数体可以为空。因此 C++11 中最简单的 lambda 函数为:[]{}; 该 lambda 函数不能做任何事情。

由于 lambda 表达式是一个可调用对象,所以也可以像下面一样写:

				int main(){auto f1 = [](int x) {cout << x << endl; return 0; };f1(10);return 0;}

我们也可以查看一下 lambda 表达式的类型:

在这里插入图片描述

如上图,我们可以看到,lambda 表达式的类型是一个类,这个类的名称是 lambda + uuid. 每个 lambda 都会生成一个类。

(2)捕获列表说明

捕捉列表描述了上下文中哪些数据可以被 lambda 使用,以及使用的方式传值还是传引用。

  • [var]:表示值传递方式捕捉变量 var
  • [=]:表示值传递方式捕获所有父作用域中的变量(包括this)
  • [&var]:表示引用传递捕捉变量 var
  • [&]:表示引用传递捕捉所有父作用域中的变量(包括this)
  • [this]:表示值传递方式捕捉当前的 this 指针

注意:

  1. 父作用域指包含 lambda 函数的语句块;
  2. 语法上捕捉列表可由多个捕捉项组成,并以逗号分割。
    比如:
    [=, &a, &b]:以引用传递的方式捕捉变量 ab,值传递方式捕捉其他所有变量;
    [&,a, this]:值传递方式捕捉变量 athis,引用方式捕捉其他变量;
  3. 捕捉列表不允许变量重复传递,否则就会导致编译错误。
    比如:[=, a]:=已经以值传递方式捕捉了所有变量,捕捉 a 重复;
  4. 在块作用域以外的 lambda 函数捕捉列表必须为空;
  5. 在块作用域中的 lambda 函数仅能捕捉父作用域中局部变量,捕捉任何非此作用域或者非局部变量都会导致编译报错;
  6. lambda 表达式之间不能相互赋值,即使看起来类型相同。

4. 函数对象与 lambda 表达式

函数对象,又称为仿函数,即可以像函数一样使用的对象,就是在类中重载了 operator() 运算符的类对象。

如下分别为仿函数和 lambda

				class Rate{public:Rate(double rate) : _rate(rate){}double operator()(double money, int year){return money * _rate * year;}private:double _rate;};int main(){// 函数对象double rate = 0.49;Rate r1(rate);r1(10000, 2);// lambdaauto r2 = [=](double monty, int year) {return monty * rate * year; };r2(10000, 2);return 0;}

从使用方式上来看,函数对象与 lambda 表达式完全一样。

函数对象将 rate 作为其成员变量,在定义对象时给出初始值即可,lambda 表达式通过捕获列表可以直接将该变量捕获到。

实际在底层编译器对于 lambda 表达式的处理方式,完全就是按照函数对象的方式处理的,即:如果定义了一个 lambda 表达式,编译器会自动生成一个类,在该类中重载了 operator().

三、包装器

1. function 包装器

function 包装器 也叫作适配器,C++ 中的 function 本质是一个类模板,也是一个包装器。

要学包装器,首先需要知道包装器包装的是什么?其实包装器包装的是可调用对象,目前我们学习到的可调用对象有:函数指针、仿函数、lambda,我们要学的包装器就是要包装它们三个中的任意一个。

其中,函数指针的设计不太好,不符合我们常规的写法,例如:void (*pswap)(int* p1, int* p2),这种方式不好写,类型也不好写。

而仿函数类型比较好写,但是它比较重,它得在全局里面单独定义一个类,即使是写一个很简单的比较,也是需要定义一个类,这种方法太笨重了。

lambda 比较灵活,但是 lambda 也和函数指针面临同样的问题,类型不好写,类型是匿名的。

我们先来看看 function 包装器的语法:

				// 类模板原型如下template <class Ret, class... Args>class function<Ret(Args...)>;模板参数说明:Ret: 被调用函数的返回类型Args…:被调用函数的形参

下面我们来简单使用一下包装器包装可调用对象,假设我们需要包装一个实现两个数交换的可调用对象,如下,先包装函数指针:

				void swap_func(int& x, int& y){int tmp = x;x = y;y = tmp;}int main(){int x = 10, y = 20;cout << "x = " << x << " " << "y = " << y << endl;// 包装函数指针function<void(int&, int&)> f1 = swap_func;f1(x, y);cout << "x = " << x << " " << "y = " << y << endl;return 0;}

在这里插入图片描述

如上图,我们完成对函数指针的包装。

包装函数对象和 lambda

				int main(){int x = 10, y = 20;cout << "x = " << x << " " << "y = " << y << endl;auto swap_lambda = [](int& r1, int& r2){int tmp = r1;r1 = r2;r2 = tmp;};// 包装函数指针function<void(int&, int&)> f1 = swap_func;f1(x, y);cout << "x = " << x << " " << "y = " << y << endl;// 包装函数对象function<void(int&, int&)> f2 = Swap();f2(x, y);cout << "x = " << x << " " << "y = " << y << endl;// 包装 lambdafunction<void(int&, int&)> f3 = swap_lambda;f3(x, y);cout << "x = " << x << " " << "y = " << y << endl;return 0;}

在这里插入图片描述

但是在实际中我们并不像上面的这样用,假设我们需要将可调用对象放入一个容器中,假设是 map,就可以像下面这样包装:

				map<string, function<void(int&, int&)>> cmdOP = {{"函数指针", swap_func},{"仿函数", Swap()},{"lambda", swap_lambda}};

我们在使用的时候,就像在使用对应的命令去调对应的函数一样,这就是回调:

				int main(){int x = 10, y = 20;cout << "x = " << x << " " << "y = " << y << endl << endl;auto swap_lambda = [](int& r1, int& r2){int tmp = r1;r1 = r2;r2 = tmp;};map<string, function<void(int&, int&)>> cmdOP = {{"函数指针", swap_func},{"仿函数", Swap()},{"lambda", swap_lambda}};cmdOP["函数指针"](x, y);cout << "x = " << x << " " << "y = " << y << endl;cmdOP["仿函数"](x, y);cout << "x = " << x << " " << "y = " << y << endl;cmdOP["lambda"](x, y);cout << "x = " << x << " " << "y = " << y << endl;return 0;}

在这里插入图片描述

2. bind

std::bind 函数定义在头文件中,是一个函数模板,它就像一个函数包装器(适配器),接受一个可调用对象(callable object),生成一个新的可调用对象来“适应”原对象的参数列表。一般而言,我们用它可以把一个原本接收 N 个参数的函数 fn,通过绑定一些参数,返回一个接收 M 个(M 可以大于 N,但这么做没什么意义)参数的新函数。同时,使用 std::bind 函数还可以实现参数顺序调整等操作。

				// 原型如下:template <class Fn, class... Args>/* unspecified */ bind (Fn&& fn, Args&&... args);// with return type (2) template <class Ret, class Fn, class... Args>/* unspecified */ bind (Fn&& fn, Args&&... args);

可以将 bind 函数看作是一个通用的函数适配器,它接受一个可调用对象,生成一个新的可调用对象来“适应”原对象的参数列表。
调用 bind 的一般形式:auto newCallable = bind(callable,arg_list);

其中,newCallable 本身是一个可调用对象,arg_list 是一个逗号分隔的参数列表,对应给定的 callable 的参数。当我们调用 newCallable 时,newCallable 会调用 callable,并传给它 arg_list 中的参数。

arg_list 中的参数可能包含形如 _n 的名字,其中 n 是一个整数,这些参数是“占位符”,表示 newCallable 的参数,它们占据了传递给 newCallable 的参数的 “位置”。数值 n 表示生成的可调用对象中参数的位置:_1newCallable 的第一个实参,_2 为第二个实参,以此类推。

使用举例:

				int Sub(int a, int b){return a - b;}int main(){function<int(int, int)> f1 = Sub;cout << f1(10, 5) << endl;// 调整参数顺序function<int(int, int)> f2 = bind(Sub, placeholders::_2, placeholders::_1);cout << f2(10, 5) << endl;return 0;}

使用 bind 调整参数顺序如下图所示:

在这里插入图片描述

还可以像以下这种用法,调整参数个数:

				int main(){function<int(int, int)> f1 = Sub;cout << f1(10, 5) << endl;// 调整参数个数,有些参数可以使用 bind 时固定function<int(int)> f3 = bind(Sub, 20, placeholders::_1);cout << f3(5) << endl;return 0;}

在这里插入图片描述

下面再看一个场景,在类中调用函数指针:

假设有个 Plus 类:

				class Plus{public:static int plusi(int a, int b){return a + b;}double plusd(double a, double b){return a + b;}};

我们需要在类外包装类中的成员函数,有以下做法:

				int main(){// 成员函数取地址,比较特殊,要加一个类域和&function<int(int, int)> f1 = &Plus::plusi;cout << f1(1, 2) << endl;// 上面静态成员函数没有 this 指针,所以不用传指针// 普通成员函数有 this 指针,所以需要传对象的指针function<double(Plus*, double, double)> f2 = &Plus::plusd;Plus ps;cout << f2(&ps, 1.1, 2.2) << endl;// 这里传 Plus 编译器会进行特殊处理,实际上是 Plus*function<double(Plus, double, double)> f3 = &Plus::plusd;cout << f3(Plus(), 1.11, 2.22) << endl;return 0;}

如上对于普通成员函数每一次都要传 Plus*,这时候我们就可以用上面学的 bind 将这个步骤省去,即调整参数的个数,如下:

			function<double(double, double)> f4 = bind(&Plus::plusd, Plus(), placeholders::_1, placeholders::_2);cout << f4(1.11, 2.22) << endl;

如上,经过 bind 后,每次使用可调用对象的时候就不需要传 Plus* 了,只需要传参数即可。

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.hqwc.cn/news/344344.html

如若内容造成侵权/违法违规/事实不符,请联系编程知识网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

通信电缆的UL认证安全标准UL 444详情介绍

在介绍相关标准之前先介绍一下UL认证和UL测试报告的区别 UL认证是自愿性的认证&#xff0c;需要检测产品和审核工厂&#xff0c;每个季度审核一次&#xff0c;费用高、时间久&#xff0c;而且审厂非常的严格。 UL测试报告是根据产品选用相应的UL标准进行测试合格后&#xff0…

JDBC初体验(二)

一、SQL注入 1.1 SQL注入原理 利用现有应用程序&#xff0c;将&#xff08;恶意的&#xff09;SQL命令注入到后台数据库引擎执行的能力&#xff0c;它可以通过在web表单中输入&#xff08;恶意的&#xff09;SQL语句得到一个存在安全漏洞的网站上的数据库&#xff0c;而不是按…

stable diffusion使用相关

IP Adapter&#xff0c;我愿称之它为SD垫图 IP Adapter是腾讯lab发布的一个新的Stable Diffusion适配器&#xff0c;它的作用是将你输入的图像作为图像提示词&#xff0c;本质上就像MJ的垫图。 IP Adapter比reference的效果要好&#xff0c;而且会快很多&#xff0c;适配于各种…

EasyBill账单易版本更新--支持Alibaba Cloud阿里云国际站分销模式

EasyBill账单易针对进行阿里云国际站reseller模式分销业务的分销伙伴需求&#xff0c;现推出全新版本。阿里国际业务满足适配最新版Alibaba Cloud Channel Platform 平台&#xff0c;自动获取账单。此外还提供国际版常用地址&#xff0c;常用银行&#xff0c;汇率&#xff0c;税…

AMEYA360报导:瑞萨宣布收购Transphorm,大举进军GaN

全球半导体解决方案供应商瑞萨电子与全球氮化镓(GaN)功率半导体供应商Transphorm, Inc.(以下“Transphorm”)于今天宣布双方已达成最终协议&#xff0c;根据该协议&#xff0c;瑞萨子公司将以每股5.10美元现金收购Transphorm所有已发行普通股&#xff0c;较Transphorm在2024年1…

一文读懂ERP、OMS、WMS、TMS(1/2)

目录 一、ERP、OMS、WMS、TMS的定义 1.1 ERP&#xff08;Enterprise Resource Planning&#xff09; 1.2 OMS&#xff08;Order Management System&#xff09; 1.3 WMS&#xff08;Warehouse Management System&#xff09; 1.4 TMS &#xff08;Transportation Manageme…

一款非常好用的语音转文字工具介绍

最近发现一款非常好用的语音转文字的工具Whisper&#xff0c;支持将视频和语音转换成文字&#xff0c;同时记录语音的位置信息&#xff0c;支持语言的翻译&#xff0c;可以将英文转换成中文。同时支持实时的语音自动采集录制。 下面是下载的地址&#xff1a; 【免费】视频、语…

《2024 年 Web3.0 数字资产趋势报告》(一)

撰文&#xff1a;方军、周芳鸽、李祺虹、张睿彬&#xff0c;Uweb 编辑&#xff1a;Nona&#xff0c;Techub News 点击关注公众号获取完整报告 接下来我们将继续和大家分享《2024 年 Web3.0 数字资产趋势报告》中的六大趋势。

MySQL的体系结构(超全总结版)

MySQL组成 连接池组件管理服务和工具组件SQL接口组件查询分析器组件优化器组件缓冲组件插件式存储引擎物理文件 存储引擎 InnoDB存储引擎 主要面向OLTP(在线事务处理)方面的应用&#xff0c;特点是行锁设计、支持外键&#xff0c;默认情况下读取操作不会产生锁。通过使用多…

Qt QListWidget列表框控件

文章目录 1 属性和方法1.1 外观1.2 添加条目1.3 删除条目1.4 信号和槽 2 实例2.1 布局2.2 代码实现 Qt中的列表框控件&#xff0c;对应的类是QListWidget 它用于显示多个列表项&#xff0c;列表项对应的类是QListWidgetitem 1 属性和方法 QListWidget有很多属性和方法&#xf…

观测云产品更新 | 日志、场景仪表板、监控器等

观测云更新 用户访问监测 &#xff08;RUM &#xff09; 公网 Dataway 支持 ip 转换成地理位置信息。 日志 > 查看器详情页 1、新增 BPF 网络日志采集及日志详情页&#xff0c;支持 Json 格式转化&#xff1b; 2、上述 1 中的日志详情页中新增可读的展示模式&#xff0c…

突然又对 Go 感兴趣,GOPATH entry cannot start with shell metacharacter 错误

打发无聊时间&#xff0c;水文一篇&#xff5e; 事情是这样的&#xff0c;因为我们上架的渠道包基本是定制化混淆出包&#xff0c; 混淆出包有一个关键点就是指定映射文件&#xff0c;映射文件的内容有一部分是使用外部工具在打包前按照一定规律随机生成包名、类名&#xff0c…