C++11
- 一.统一列表的初始化
- 1.{}初始化
- 2.initializer_list
- 二.声明
- 1.decltype
- 2.nullptr
- 三.右值引用和移动语义
- 1.左值和右值
- 1.转义语句
- 2.完美转发
- 四.可变参数模板
- 1.基本概念
- 2.STL里emplace类接口
- 五.lambda表达式
- 六.新的类功能
一.统一列表的初始化
1.{}初始化
在C++98中,标准允许使用花括号{}对数组或者结构体元素进行统一的列表初始值设定。例如:
C++11扩大了用大括号括起的列表(初始化列表)的使用范围,使其可用于所有的内置类型和用户自定义的类型,使用初始化列表时,可添加等号(=),也可不添加。
这里对自定义类型本质是进行了多参数的隐式类型转化。原来的c++只支持单参数的隐式类型转化,例如常量字符串转化成string。
2.initializer_list
看一个例子:
答案是不同的。a2使用的是多参数隐式类型转化,它只能写两个参数。而a1,可以写多个参数,例如可以写成vector< int >a1={1,2,3,4,5,6}。能这样写是因为c++11有一个initializer_list。
那为什么vector为什么能用initializer_list进行构造呢?当然是因为vector有对应的构造函数了。
二.声明
1.decltype
关键字decltype将变量的类型声明为表达式指定的类型。
2.nullptr
由于C++中NULL被定义成字面量0,这样就可能回带来一些问题,因为0既能指针常量,又能表示整形常量。所以出于清晰和安全的角度考虑,C++11中新增了nullptr,用于表示空指针。
三.右值引用和移动语义
1.左值和右值
1.转义语句
传统的C++语法中就有引用的语法,而C++11中新增了的右值引用语法特性,之前的引用就叫做左值引用。无论左值引用还是右值引用,都是给对象取别名。
左值是一个表示数据的表达式(如变量名或解引用的指针),我们可以获取它的地址,左值可以出现赋值符号的左边,右值不能出现在赋值符号左边。定义时const修饰符后的左值,不能给他赋值,但是可以取它的地址。左值引用就是给左值的引用,给左值取别名。
右值也是一个表示数据的表达式,如:字面常量、表达式返回值,函数返回值(这个不能是左值引用返回)等等,右值可以出现在赋值符号的右边,但是不能出现出现在赋值符号的左边,右值不能取地址。右值引用就是对右值的引用,给右值取别名。
在以上情况里不能左值引用,因为函数结束后空间会被销毁。这里只能先将返回的s拷贝一份,再对main里s进行拷贝构造。接下来来一个补充知识。
为了避免上述多次拷贝造成的浪费,C++11对string进行了修改,多加了一个赋值重载(自定义的右值都是将亡值)。
2.完美转发
万能引用
为什么这里打印出来全是左值呢?为什么不是传右值就接收右值呢?
这是因为虽然我们传的是右值,但接收的t的属性实际上是左值。右值本身不可修改,但右值引用的变量会被编译器识别成左值,否则在移动构造的情况下就无法完成资源的转移。
如果我们想要t保持原有属性呢?
上文说到将右值变量强制识别成左值就是为了资源转移,那么这里保持原有属性又是为什么呢?看下面场景。
四.可变参数模板
1.基本概念
C++11的新特性可变参数模板能够让您创建可以接受可变参数的函数模板和类模板,相比C++98/03,类模版和函数模版中只能含固定数量的模版参数,可变模版参数无疑是一个巨大的改
进。然而由于可变模版参数比较抽象,使用起来需要一定的技巧,所以这块还是比较晦涩的。
递归式展开参数包
上面的参数args前面有省略号,所以它就是一个可变模版参数,我们把带省略号的参数称为“参数 包“,它里面包含了0到N(N>=0)个模版参数。我们无法直接获取参数包args中的每个参数的,只能通过展开参数包的方式来获取参数包中的每个参数,这是使用可变模版参数的一个主要特 点,也是最大的难点,即如何展开可变模版参数。由于语法不支持使用args[i]这样方式获取可变 参数,所以我们的用一些奇招来一一获取参数包的值。
逗号式展开
这种展开参数包的方式,不需要通过递归终止函数,是直接在expand函数体中展开的, printarg
不是一个递归终止函数,只是一个处理参数包中每一个参数的函数。这种就地展开参数包的方式
实现的关键是逗号表达式。我们知道逗号表达式会按顺序执行逗号前面的表达式。
expand函数中的逗号表达式:(printarg(args), 0),也是按照这个执行顺序,先执printarg(args),再得到逗号表达式的结果0。同时还用到了C++11的另外一个特性——初始化列表,通过初始化列表来初始化一个变长数组, {(printarg(args), 0)…}将会展开成((printarg(arg1),0),(printarg(arg2),0), (printarg(arg3),0), etc… ),最终会创建一个元素值都为0的数组int arr[sizeof…(Args)]。由于是逗号表达式,在创建数组的过程中会先执行逗号表达式前面的部分printarg(args)打印出参数,也就是说在构造int数组的过程中就将参数包展开了,这个数组的目的纯粹是为了在数组构造的过程展开参数包。
2.STL里emplace类接口
例子
首先我们看到的emplace系列的接口,支持模板的可变参数,并且万能引用。那么相对insert和
emplace系列接口的优势到底在哪里呢?
五.lambda表达式
语法形式
lambda表达式书写格式:[capture-list] (parameters) mutable -> return-type { statement }
例子
lambda里可不可以再调函数呢?
可以调用全局函数,不能调用局部函数。
但如果我们需要调用局部数据,可以使用捕捉列表。
捕捉列表
例一:
例二:
例三:
六.新的类功能
原来C++类中,有6个默认成员函数:
- 构造函数
- 析构函数
- 拷贝构造函数
- 拷贝赋值重载
- 取地址重载
- const 取地址重载
最后重要的是前4个,后两个用处不大。默认成员函数就是我们不写编译器会生成一个默认的。
C++11 新增了两个:移动构造函数和移动赋值运算符重载。
针对移动构造函数和移动赋值运算符重载有一些需要注意的点如下:
如果你没有自己实现移动构造函数,且没有实现析构函数 、拷贝构造、拷贝赋值重载中的任
意一个。那么编译器会自动生成一个默认移动构造。默认生成的移动构造函数,对于内置类
型成员会执行逐成员按字节拷贝,自定义类型成员,则需要看这个成员是否实现移动构造,
如果实现了就调用移动构造,没有实现就调用拷贝构造。
如果你没有自己实现移动赋值重载函数,且没有实现析构函数 、拷贝构造、拷贝赋值重载中
的任意一个,那么编译器会自动生成一个默认移动赋值。默认生成的移动构造函数,对于内
置类型成员会执行逐成员按字节拷贝,自定义类型成员,则需要看这个成员是否实现移动赋
值,如果实现了就调用移动赋值,没有实现就调用拷贝赋值。(默认移动赋值跟上面移动构造
完全类似)如果你提供了移动构造或者移动赋值,编译器不会自动提供拷贝构造和拷贝赋值。