C++11新特性(二)

ops/2024/11/14 7:05:43/

目录

 一、C++11的{}

1.初始化列表

2.initializer_list

二、可变参数模版

1.语法与原理

2.包扩展

3.empalce接口

三、新的类功能

四、lambda

1.语法

2.捕捉列表

3.原理

五、句装器

1.function

2.bind


 一、C++11的{}

1.初始化列表

  • C++11以后想统⼀初始化⽅式,试图实现⼀切对象皆可⽤{}初始化,{}初始化也叫做列表初始化
  • 关于c++11后的{}初始化,内置类型⽀持,⾃定义类型也⽀持。⾃定义类型使用{}初始化本质是类型转换,中间会产⽣临时对象,最后优化了以后变成直接构造。
  • {}初始化的过程中,可以省略掉=。
  • C++11列表初始化的本意是想实现⼀个⼤统⼀的初始化⽅式,其次他在有些场景下带来的不少便利,如容器push/inset多参数构造的对象时,{}初始化会很⽅便。

例如:

struct pt
{int x;int y;
}
int main()
{int a1 = { 7 };double d1 = { 26.3 };set<int> st1= { 71 };pt pos1={ 3, 4 };//......//=可省略int a2{ 7 };double d2{ 26.7 };set<int> st2{ 78 };pt pos2{ 3, 4 };//......return 0;
}

2.initializer_list

        上⾯的初始化已经很⽅便,但是对象容器初始化还是不太⽅便,⽐如⼀个vector对象,想⽤N个值去构造初始化,那么我们得实现很多个构造函数才能⽀持。

C++11库中提出了⼀个std::initializer_list的类

  • auto il = { 10, 20, 30 }; 这个类的本质是底层开⼀个数组,将数据拷⻉过来,std::initializer_list内部有两个指针分别指向数组的开始和结束。
  • std::initializer_list⽀持迭代器遍历。
  • 容器⽀持⼀个std::initializer_list的构造函数,也就⽀持任意多个值构成的 {x1,x2,x3...} 进⾏初始化。STL中的容器⽀持任意多个值构成的 {x1,x2,x3...} 进⾏初始化,就是通过std::initializer_list的构造函数⽀持的。

 例如:

int main()
{vector<int> arr{ 1,5,2,62,4 };unordered_map<char, int> mp{ {'a',1},{'p',8},{'v',8} };//可以任意传多个值,在此之前编译器是不能确定你要传入多少个值的,//所以底层用了std::initializer_list从而支持初始化多个值return 0;
}

二、可变参数模版

1.语法与原理

        C++11⽀持可变参数模板,也就是说⽀持可变数量参数的函数模板和类模板,可变数⽬的参数被称为参数包,存在两种参数包:模板参数包,表⽰零或多个模板参数;函数参数包:表⽰零或多个函数参数。

        也就是模板的参数个数是不确定的,当使用它的时候它会根据传入参数的个数自动去推导并生成对应的参数个数的函数或类。

template <class... Args> void Func(Args... x) {}
template <class... Args> void Func(Args&... x) {}
template <class... Args> void Func(Args&&... x) {}

        我们⽤省略号来指出⼀个模板参数或函数参数的表⽰⼀个包,在模板参数列表中,class...或
typename...指出接下来的参数表⽰零或多个类型列表;在函数参数列表中,类型名后⾯跟...指出
接下来表⽰零或多个形参对象列表;函数参数包可以⽤左值引⽤或右值引⽤表⽰,跟前⾯普通模板
⼀样,每个参数实例化时遵循引⽤折叠规则。
        可变参数模板的原理跟模板类似,本质还是去实例化对应类型和个数的多个函数。
这⾥我们可以使⽤sizeof...运算符去计算参数包中参数的个数。

2.包扩展

        包扩展就是一个将包里的元素取出来的操作,因为考虑到很多因数,在这个取这些元素过程会比较复杂。

        注意:包扩展是在编译时完成的。

如下一个包开展过程:

bf9f1c1df1c24ad48d19408dbcff7551.png

3.empalce接口

        C++11以后STL容器新增了empalce系列的接⼝,empalce系列的接⼝均为模板可变参数,功能上兼容push和insert系列,但是empalce还⽀持新玩法,假设容器为container<T>,empalce还⽀持直接插⼊构造T对象的参数,这样有些场景会更⾼效⼀些,可以直接在容器空间上构造T对象。
 

三、新的类功能

        在原来C++类中6个默认成员函数:构造函数、析构函数、拷⻉构造函数、拷⻉赋值重载、取地址重载、const取地址重载的基础上C++11新增了2个默认成员函数,移动构造函数移动赋值运算符重载

关键字功能:

  • defult:强行生成默认成员函数。只需在需要编译器生成的默认成员函数声明加上=defult即可。如下:
    class student
    {
    public:student(const string& s, const int& num):_name(s),_age(num){}student() = default;~student() = default;
    private:string _name;int _age;
    };
  • delete:如果能想要限制某些默认函数的⽣成,在C++98中,是该函数设置成private,并且只声明补丁已,这样只要其他⼈想要调⽤就会报错。在C++11中更简单,只需在该函数声明加上=delete即可,该语法指⽰编译器不⽣成对应函数的默认版本,称=delete修饰的函数为删除函数。例如:
    class student
    {
    public:student(const string& s, const int& num) = delete;
    private:string _name;int _age;
    };
  • final:(1).防止类被继承。(2).防止函数被重写。
  • override:检查函数重写是否正确。

四、lambda

1.语法

        lambda 表达式本质是⼀个匿名函数对象,跟普通函数不同的是他可以定义在函数内部。
        lambda 表达式语法使⽤层⽽⾔没有类型,所以我们⼀般是⽤auto或者模板参数定义的对象去接收 lambda 对象。
lambda表达式的格式:

[捕捉列表]->返回类型 {函数体}
一个简单的lambda表达式:

auto add1 = [](int x, int y)->int {return x + y; };
cout << add1(1, 2) << endl;
//捕捉列表和参数可为空
//返回值可以省略,可以通过返回对象⾃动推导
//如下:
auto add2 = [](int x, int y){return x + y; };
cout << add2(1, 2) << endl;

  1. 捕捉列表:该列表总是出现在 lambda 函数的开始位置,编译器根据[]来判断接下来的代码是否为 lambda 函数,所以捕捉列表可为空当[ ]不能省略。捕捉列表能够捕捉上下⽂中的变量供 lambda 函数使⽤,捕捉列表可以传值和传引⽤捕捉。
  2. 参数列表:与普通函数的参数列表功能类似,如果不需要参数传递,则可以连同()⼀起省略。
  3. 返回值类型:⽤追踪返回类型形式声明函数的返回值类型,没有返回值时此部分可省略。⼀般返回值类型明确情况下,也可省略,由编译器对返回类型进⾏推导。
  4. 函数体:函数体内的实现跟普通函数完全类似,在该函数体内,除了可以使⽤其参数外,还可以使⽤所有捕获到的变量,函数体为空也不能省略{ }。

2.捕捉列表

        lambda 表达式中默认只能⽤ lambda 函数体和参数列表中的变量,如果想⽤外层作⽤域中的变量就需要进⾏捕捉。其中捕捉方式有三种,如下:

  • 显示捕捉:在捕捉列表中显⽰的传值捕捉传引⽤捕捉,捕捉的多个变量⽤逗号分割。[x,y,&z]表⽰x和y值捕捉,z引⽤捕捉。
  • 隐式捕捉:在捕捉列表写⼀个=表⽰隐式值捕捉,即[=],在捕捉列表写⼀个&表⽰隐式引⽤捕捉即,即[&],这样我们 lambda 表达式中⽤了那些变量,编译器就会⾃动捕捉那些变量。
  • 混合捕捉:即有显示捕捉又有隐式捕捉,如[=,&x]表⽰其他变量隐式值捕捉,x引⽤捕捉;[&,x,y]表⽰其他变量引⽤捕捉,x和y值捕捉。当使⽤混合捕捉时,第⼀个元素必须是&或=,并且&混合捕捉时,后⾯的捕捉变量必须是值捕捉,同理=混合捕捉时,后⾯的捕捉变量必须是引⽤捕捉。

        lambda 表达式如果在函数局部域中,他可以捕捉 lambda 位置之前定义的变量,不能捕捉静态局部变量和全局变量,静态局部变量和全局变量也不需要捕捉, lambda 表达式中可以直接使
⽤。这也意味着 lambda 表达式如果定义在全局位置,捕捉列表必须为空。
        默认情况下, lambda 捕捉列表是被const修饰的,也就是说传值捕捉的过来的对象不能修改,mutable加在参数列表(注意不是捕捉列表)的后⾯可以取消其常量性,也就说使⽤该修饰符后,传值捕捉的对象就可以修改了,但是修改还是形参对象,不会影响实参。使⽤该修饰符后,参数列表不可省略(即使参数为空)。

3.原理

        lambda底层确实是仿函数对象,也就说我们写了⼀个lambda 以后,编译器会⽣成⼀个对应的仿函数的类。仿函数的类名是编译按⼀定规则⽣成的,保证不同的 lambda ⽣成的类名不同,lambda参数/返回类型/函数体就是仿函数operator()的参数/返回类型/函数体, lambda 的捕捉列表本质是⽣成的仿函数类的成员变量。

        所以为了方便或增加可读性我们通常都会用lambda来代替仿函数或函数指针。

五、句装器

1.function

        std::function是⼀个类模板,也是⼀个包装器被定义<functional>头⽂件中。 std::function 的实例对象可以包装存储其他的可以调⽤对象,包括函数指针、仿函数、 lambda 、 bind 表达式等,存储的可调⽤对象被称为std::function的⽬标。若std::function不含⽬标,则称它为空。调⽤空std::function的⽬标导致抛出异常。
        函数指针、仿函数、 lambda 等可调⽤对象的类型各不相同, std::function的优势就是统⼀类型,对他们都可以进⾏包装,这样在很多地⽅就⽅便声明可调⽤对象的类型。

语法格式如下:

function<返回类型(参数类型1,参数类型2,......)>    对象名 = 函数指针/仿函数/ lambda / bind 表达式。

示例:

#include<iostream>
#include<functional>
using namespace std;
int add(int x, int y)
{return x + y;
}
int main()
{function<int(int, int)> fn = [](int x, int y) {return x + y; };function<int(int, int)> fm = add;//......return 0;
}

例如下面这个题可以这么写:

150. 逆波兰表达式求值 - 力扣(LeetCode)

class Solution {
public:int evalRPN(vector<string>& tokens){stack<int> st;unordered_map<string,function<int(int,int)>> mp={{"+",[](int x,int y){return x+y;}},{"-",[](int x,int y){return x-y;}},{"*",[](int x,int y){return x*y;}},{"/",[](int x,int y){return x/y;}}};for(int i=0;i<tokens.size();i++){if(mp.count(tokens[i])){int a=st.top();st.pop();int b=st.top();st.pop();st.push(mp[tokens[i]](b,a));}else st.push(stoi(tokens[i]));}return st.top();}
};

2.bind

bind的使用语法:

auto f=bind(可调用对象,参数1,参数2,......)

        bind是⼀个函数模板,它也是⼀个可调⽤对象的包装器,可以把他看做⼀个函数适配器,对接收的可调用对象进⾏处理后返回⼀个可调⽤对象。 bind可以⽤来调整参数个数和参数顺序
bind 也在<functional>这个头⽂件中。
        调⽤bind的⼀般形式: auto newCallable = bind(callable,arg_list); 其中newCallable本⾝是⼀个可调⽤对象,arg_list是⼀个逗号分隔的参数列表,对应给定的callable的参数。当我们调⽤newCallable时,newCallable会调⽤callable,并传给它arg_list中的参数。
        arg_list中的参数可能包含形如_n的名字,其中n是⼀个整数,这些参数是占位符,表⽰
newCallable的参数,它们占据了传递给newCallable的参数的位置。数值n表⽰⽣成的可调⽤对象
中参数的位置:_1为newCallable的第⼀个参数,_2为第⼆个参数,以此类推。_1/_2/_3....这些占
位符放到placeholders的⼀个命名空间中。如下:

#include<iostream>
#include<functional>
using namespace std;
using placeholders::_1;
using placeholders::_2;
int sub(int x, int y)
{return x - y;
}
int main()
{//可以调换传参顺序auto fn1 = bind(sub, _1, _2);auto fn2 = bind(sub, _2, _1);cout << fn1(2, 3) << endl;//输出-1cout << fn2(2, 3) << endl;//输出1//可以固定某些参数auto fn3 = bind(sub, 2, _1);auto fn4 = bind(sub, _1, 3);cout << fn3(1) << endl;cout << fn4(5) << endl;return 0;
}

http://www.ppmy.cn/ops/133104.html

相关文章

Unity中IK动画与布偶死亡动画切换的实现

在Unity游戏开发中&#xff0c;Inverse Kinematics&#xff08;IK&#xff09;是创建逼真角色动画的强大工具。同时&#xff0c;能够在适当的时候切换到布偶物理状态来实现死亡动画等效果&#xff0c;可以极大地增强游戏的视觉体验。本文将详细介绍如何在Unity中利用IK实现常规…

Freemarker模板 jar!/BOOT-INF/classes!/**.html

需求&#xff1a;发送邮件&#xff0c;邮件内容通过Freemaker模板生成&#xff0c;如下代码&#xff1a; Configuration configuration new Configuration(Configuration.getVersion()); configuration.setDefaultEncoding("utf-8"); /** 加载模板目录 **/ //这个方…

批发订货管理系统设计及开发、源码分享

批发订货管理系统是为批发商、经销商、供应商以及客户之间的批发交易提供支持的综合信息化平台。该系统能有效帮助商家管理进销存、订单、客户信息、价格策略、账期管理、会员营销等多个业务流程。本文将详细介绍批发订货管理系统的设计与开发&#xff0c;并分享一个简化版的源…

Linux基础之病毒编写

声明&#xff1a;学习视频来自b站up主 泷羽sec&#xff0c;如涉及侵权马上删除文章 声明&#xff1a;本文主要用作技术分享&#xff0c;所有内容仅供参考。任何使用或依赖于本文信息所造成的法律后果均与本人无关。请读者自行判断风险&#xff0c;并遵循相关法律法规。 感谢泷…

洛谷 P1725 琪露诺(线段树优化dp)

题目链接 https://www.luogu.com.cn/problem/P1725 思路 我们令 d p [ i ] dp[i] dp[i]表示琪露诺移动到第 i i i个格子时能够获得的最大冰冻指数。 显然&#xff0c;状态转移方程为&#xff1a; d p [ i ] m a x ( d p [ i ] , d p [ k ] a [ i ] ) dp[i] max(dp[i],dp…

金融领域时间同步解决方案

金融交易对时间的要求非常严格&#xff0c;任何交易操作都需要精确地记录时间&#xff0c;通常以毫秒或微秒级别的精度进行操作。这样可以确保交易的顺序性与公平性&#xff0c;避免系统之间因为时间不一致造成的交易错误或市场操控。 例如&#xff0c;高频交易&#xff08;HF…

WPS文档中的“等线”如何删除

如何删除“等线”占用的行如何删除表格之间的空行WPS文档中的“等线”是什么如果删除脚注文本占用的行 如下这种&#xff0c;在文档中添加了表格和脚注&#xff0c;发现上下表格之间有多行空行&#xff0c;鼠标选中&#xff0c;显示是“等线”&#xff0c;那么如何去除等线占用…

如何从数字化迈向智能化的跨越,重塑企业合同管理的未来

随着信息技术的快速发展&#xff0c;越来越多的企业开始认识到合同管理的重要性&#xff0c;并纷纷实施数字化战略以提高管理效率和降低运营成本。然而&#xff0c;仅仅实现合同管理的数字化还远远不够&#xff0c;真正的转型应该是向智能化迈进。本文将通过一个实际案例来探讨…