C++ 11(1)
1.C++ 11的发展历史
2.列表初始化
2.1C++98传统的{}
C++98中⼀般数组和结构体可以⽤{}进⾏初始化。
2.2C++11中的{}
• C++11以后想统⼀初始化⽅式,试图实现⼀切对象皆可⽤{}初始化,{}初始化也叫做列表初始化。
• 内置类型⽀持,⾃定义类型也⽀持,⾃定义类型本质是类型转换,中间会产⽣临时对象,最后优化 了以后变成直接构造。
• {}初始化的过程中,可以省略掉=
• C++11列表初始化的本意是想实现⼀个⼤统⼀的初始化⽅式,其次他在有些场景下带来的不少便 利,如容器push/inset多参数构造的对象时,{}初始化会很⽅便
2.3C++11中的std::initializer_list
3.右值引用和移动语义
C++98的C++语法中就有引⽤的语法,⽽C++11中新增了的右值引⽤语法特性,C++11之后我们之前学 习的引⽤就叫做左值引⽤。⽆论左值引⽤还是右值引⽤,都是给对象取别名。
3.1左值和右值
• 左值是⼀个表⽰数据的表达式(如变量名或解引⽤的指针),⼀般是有持久状态,存储在内存中,我 们可以获取它的地址,左值可以出现赋值符号的左边,也可以出现在赋值符号右边。定义时const 修饰符后的左值,不能给他赋值,但是可以取它的地址。
• 右值也是⼀个表⽰数据的表达式,要么是字⾯值常量、要么是表达式求值过程中创建的临时对象 等,右值可以出现在赋值符号的右边,但是不能出现出现在赋值符号的左边,右值不能取地址。
• 值得⼀提的是,左值的英⽂简写为lvalue,右值的英⽂简写为rvalue。传统认为它们分别是
left value、right value的缩写。现代C++中,lvalue被解释为loactor value的缩写,可意为存储在内 存中、有明确存储地址可以取地址的对象,⽽rvalue被解释为read value,指的是那些可以提供 数据值,但是不可以寻址,例如:临时变量,字⾯量常量,存储于寄存器中的变量等,也就是说左 值和右值的核⼼区别就是能否取地址。
3.2左值引用和右值引用
3.3引用延长生命周期
右值引⽤可⽤于为临时对象延⻓⽣命周期,const的左值引⽤也能延⻓临时对象⽣存期,但这些对象⽆ 法被修改。
3.4左值和右值的参数匹配
• C++98中,我们实现⼀个const左值引⽤作为参数的函数,那么实参传递左值和右值都可以匹配。
• C++11以后,分别重载左值引⽤、const左值引⽤、右值引⽤作为形参的f函数,那么实参是左值会 匹配f(左值引⽤),实参是const左值会匹配f(const左值引⽤),实参是右值会匹配f(右值引⽤)。
• 右值引⽤变量在⽤于表达式时属性是左值,这个设计这⾥会感觉跟怪,下⼀⼩节我们讲右值引⽤的 使⽤场景时,就能体会这样设计的价值了。
3.5右值引用和移动语义的使用场景
3.5.1左值引用主要使用场景
左值引⽤主要使⽤场景是在函数中左值引⽤传参和左值引⽤传返回值时减少拷⻉,同时还可以修改实 参和修改返回对象的价值。左值引⽤已经解决⼤多数场景的拷⻉效率问题,但是有些场景不能使⽤传 左值引⽤返回,如addStrings和generate函数,C++98中的解决⽅案只能是被迫使⽤输出型参数解 决。那么C++11以后这⾥可以使⽤右值引⽤做返回值解决吗?显然是不可能的,因为这⾥的本质是返回 对象是⼀个局部对象,函数结束这个对象就析构销毁了,右值引⽤返回也⽆法概念对象已经析构销毁 的事实。
3.5.2移动构造和移动赋值
• 移动构造函数是⼀种构造函数,类似拷⻉构造函数,移动构造函数要求第⼀个参数是该类类型的引 ⽤,但是不同的是要求这个参数是右值引⽤,如果还有其他参数,额外的参数必须有缺省值。
• 移动赋值是⼀个赋值运算符的重载,他跟拷⻉赋值构成函数重载,类似拷⻉赋值函数,移动赋值函 数要求第⼀个参数是该类类型的引⽤,但是不同的是要求这个参数是右值引⽤。
• 对于像string/vector这样的深拷⻉的类或者包含深拷⻉的成员变量的类,移动构造和移动赋值才有 意义,因为移动构造和移动赋值的第⼀个参数都是右值引⽤的类型,他的本质是要“窃取”引⽤的 右值对象的资源,⽽不是像拷⻉构造和拷⻉赋值那样去拷⻉资源,从提⾼效率。下⾯的bit::string 样例实现了移动构造和移动赋值,我们需要结合场景理解。
3.5.3右值引用和移动语义解决传值返回问题
3.5.4右值引用和移动语义在传参中的提效
• 查看STL⽂档我们发现C++11以后容器的push和insert系列的接⼝增加的右值引⽤版本
• 当实参是⼀个左值时,容器内部继续调⽤拷⻉构造进⾏拷⻉,将对象拷⻉到容器空间中的对象
• 当实参是⼀个右值,容器内部则调⽤移动构造,右值对象的资源到容器空间的对象上
• 把我们之前模拟实现的bit::list拷⻉过来,⽀持右值引⽤参数版本的push_back和insert
• 其实这⾥还有⼀个emplace系列的接⼝,但是这个涉及可变参数模板,我们需要把可变参数模板讲 解以后再讲解emplace系列的接⼝。
3.6类型分类
值类别
value categories
3.7引用折叠
3.8完美转发
move不会改变对象本身的属性 。
左值引用和右值引用的最终目的都是减少拷贝,提高效率。
左值引用还可以修改参数/返回值,方便使用。
左值引用的不足:
部分函数返回场景,只能传值返回,不能左值引用返回。
当前函数局部对象,出了当前函数作用域生命周期到了,就销毁了,不能左值引用返回,只能传值返回。
解决方案
解决方案1:不用返回值,用输出型参数解决,但牺牲了可读性
解决方案2:编译器的优化(非标,不同的编译器优化程度可能不同)
解决方案3:新标准新语法处理(右值引用和移动语义)
深拷贝的自定义类型:如vector/string/map...
实现移动构造和移动赋值是有很大的价值的
浅拷贝的自定义类型:如Date/pair<int,int>...
不需要实现移动构造和移动赋值
总结:
emplace系列兼容push系列和insert的功能,部分场景下emplace可以直接构造,push和insert是构造+移动构造或构造+拷贝构造,所以emplace综合而言更好用更强大,推荐使用emplace系列替代push和insert。