系列文章目录
C++11&14新标准——Variadic templates(数量不定的模板参数)
C++11&14新标准——Uniform Initialization(统一初始化)、Initializer_list(初始化列表)、explicit
文章目录
- 系列文章目录
- 1. 统一初始化(Uniform Initialization)
- 2. Initializer_list(初始化列表)
- 禁止窄化转换
- Initializer_list在标准库中的应用
- 3. explicit
1. 统一初始化(Uniform Initialization)
在C++11之前有多种初始化方式,包括以下几种:
1.int x1 = 5;
2.int x1(5);
3.int x1{5};
4.int x1 = {5};
其中1、2为传统初始化语法,3、4为列表初始化,不仅是基本数据类型可以这样初始化,stl容器、自定义类和模板类都可以使用这些方法初始化。C++11之后,更推荐统一使用列表初始化。
统一初始化的用法是用大括号{ }来进行初始化:
int values[]{1,2,3};vector<int> v{1,2,3};vector<int> v({1,2,3});//这不是统一初始化,而是构造函数接受一个Initializer_list的初始化。
vector<int> v={1,2,3};//这不是统一初始化,而是赋值初始化。
vector<string> n{"1","2","3"};complex<double> c{3.0,4.0};
2. Initializer_list(初始化列表)
用于构造的大括号其实是一个Initializer_list(初始化列表),其内部包含一个指向array头部的指针和array的长度,所以当使用Initializer list进行拷贝构造时,所指向的是同一个array。array是对数组进行改造而成的新容器,使其符合STL规范。
一个类可以有两种初始化:直接接受参数初始化或者接受一个Initializer list进行初始化。
P p(7,5); // 输出:P(int,int),a=7,b=5
P q{7,5}; // 输出:P(Initializer_list<int>), values= 7 5
P r{7,5,3}; // 输出:P(Initializer_list<int>), values= 7 5 3
P s={7,5}; // 输出:P(Initializer_list<int>), values= 7 5
如果只定义了第一种初始化方式而没有第二种初始化方式,q和s仍然可以编译通过,因为编译器会将初始化列表进行拆解,然后调用第一种初始化方式。但r将无法编译通过,因为编译器将其列表拆解后,与第一种初始化方式的参数数量不符合,无法调用,所以会报错。
如果只定义了第二种初始化方式而没有第一种初始化方式,则p无法初始化。因为虽然编译器会将初始化列表拆解为一个个的参数,但却不能将一个个的参数合并为一个初始化列表,这不是一个双向的过程!
禁止窄化转换
在传统的初始化类型当中,允许高精度的数据类型给低精度的数据类型进行赋值,从而实现窄化转换。但统一初始化将不再允许窄化转换。
int a = 3.14; // 正确。a = 3;int a{3.14}; // 错误!统一初始化不可以窄化转换
Initializer_list在标准库中的应用
C++11之后,标准库的容器也可以使用Initializer_list进行操作:
3. explicit
explicit绝大多数情况下,都用在构造函数之前,效果是禁止隐式类型转换。在C++11之前,只能对参数个数为1的构造函数起作用。
可以看到,在没加explicit的时候,5将会被隐式转换为Complex(5,0)的一个临时对象,然后再调用operator+进行操作;加上explicit就是阻止了这个隐式操作的过程,继续这样写编译器会报错。
在C++11之后,explicit可以对多个实参的构造函数禁止隐式类型转换。