> 文档中心 > C++11系列文章之二 | 列表初始化技巧

C++11系列文章之二 | 列表初始化技巧

大家好,我是小杰,欢迎点赞和关注我~

列表初始化

由于旧标准初始化方式太过繁杂,限制偏多,因此在新标准中统一了初始化方式,为了让初始化具有确定的效果,于是提出了列表初始化概念。

旧标准初始化方式

普通数组初始化:

int i_arr[3] = {1, 2, 3}

POD类型初始化(即plain old data类型,可以直接使用memcpy复制的对象):

 struct A {     int x;     struct B     {  int i;  int j;     } b; } a = {1, {2, 3}};

拷贝初始化:

int i = 0;class Foo{public:    Foo(int) {}} foo = 123

直接初始化:

int j(0)Foo bar(123)

C++11标准初始化方式

C++11标准中{}的初始化方式是对聚合类型的初始化,是以拷贝的形式来赋值的。

C++11标准中对非聚合类型则以构造函数来进行初始化的。

聚合类型:

  1. 类型是一个普通的数组
  2. 类型是一个类,并且满足:
    • 无用户自定义的构造函数
    • 无私有或保护的非静态数据成员
    • 无基类
    • 无虚函数
    • 不能有 { } 和 = 直接初始化的非静态数据成员

初始化列表技术细节

观察下面这两个:

int arr[] {1, 2, 3}std::set ss = {1, 2, 3}

之所以可以实现STL中不指定个数进行初始化,依赖的就是与i个轻量级的类模板,也是C++11中的新特性std::initializer_list

initializer_list使用

class FooVector{    std::vector content_;public:    FooVector(std::initializer_list list){   //重要技术点 for(auto it = list.begin(); it != list.end(); ++it){     content_.back(*it) }    }}FooVector foo_1 = {1, 2, 3, 4, 5}  //不仅可以这样FooVector foo_2({1, 2, 3, 4, 5})   //还可以传一个同种类型数据集合

initializer_list的特点:

  1. 它是一个轻量级的容器类型,内部定义了iterator等容器必需的概念
  2. 对于std::initializer_list来说,它可以接收任意长度的初始化列表,但要求元素类型必须是同种类型T(或者可转换为T)
  3. 它有3个成员接口:size () 、 begin() 、end()
  4. 它只能被整体初始化或赋值

注意:std::initializer_list 是非常高效的,因此内部并不负责保存初始化列表中的元素的拷贝,而是仅仅存储列表中元素的引用!因此不能用来返回临时变量!

避免类型收窄:

C++有隐式类型转换的特性,比如将一个浮点数赋值给一个整数,精度会丢失,小数点后会被直接截断。初始化列表可以帮助避免隐式类型转换。因为其不允许这种转换发生。

但是也会随着编译器的不同而不同:

float ff = 1.2float ff = {1.2}

在gcc4.8下没有警告和错误,但Microsoft Visual C++2013中,收到编译错误。因为1.2默认是double类型,由double转换成float会发生隐式类型转换,但是并没有发生精度损失

总结

C++11新增的初始化方式,为程序的编写带来了很多的便利,这也是新标准秉承的思想和改进的方向。