一致性初始化,顾名思义,说明旧版的C++初始化不一致,新版本则一致。确实,老版C++的初始化可能发生在小括号、大括号或是赋值符号上。因此,C++11引入了一致性初始化,全部都用大括号完成初始化,如图中黄色部分。
黄色部分,在变量后面直接用大括号完成初始化。
使用大括号实现一致性初始化牵扯出了一个新的概念,即Initializer lists,使用大括号的内容即为一个Initializer lists包。
初始化列表强制定义的变量设初值,如图中,j后面加大括号即被初始化为0,q被初始化为nullptr。类型不匹配会报narrowing错。
为了支持以上的Initializer lists,C++11引入了模板类initializer_list<>,这个类使得函数参数可以传入任意个元素(但是传给它的必须也是个initializer_list类型的变量或者用“{}”表示),有点像前面的variadic templates,但这个传入的元素类型必须相同,如下图中的print函数所示,调用print时可传入任意个整数。
当同时存在对应参数类型的构造函数和采用initializer_list<>的构造函数,将优先使用后者,下图中,若无initializer_list<>的构造函数则下图中的q和s依然会被初始化,而r则无法初始化。下图右侧即为initializer_list的实现源代码,可见其背后是一个array
需要注意的是,initializer_list对象中的元素永远是常量值,我们无法改变initializer_list对象中元素的值。并且,拷贝或赋值一个initializer_list对象不会拷贝列表中的元素,其实只是引用而已,原始列表和副本共享元素,本质是由于这是一种浅拷贝,二者底层上只是把一个指针同时指向一个地址。
现在有了initializer_list<>,所有容器都接受指定类型任意数量的值用于构建或赋值等。
有了initializer_list<>,可以这样初始化
std::vector v = { 1, 2, 3, 4 };
另外,旧版中min和max只能比较两个参数,现在可以比较任意个参数。
其他如下图中所示