大家好,我是小杰,欢迎点赞和关注我~
列表初始化
由于旧标准初始化方式太过繁杂,限制偏多,因此在新标准中统一了初始化方式,为了让初始化具有确定的效果,于是提出了列表初始化概念。
旧标准初始化方式
普通数组初始化:
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标准中对非聚合类型则以构造函数来进行初始化的。
聚合类型:
- 类型是一个普通的数组
- 类型是一个类,并且满足:
- 无用户自定义的构造函数
- 无私有或保护的非静态数据成员
- 无基类
- 无虚函数
- 不能有 { } 和 = 直接初始化的非静态数据成员
初始化列表技术细节
观察下面这两个:
int arr[] {1, 2, 3}
std::set<int> ss = {1, 2, 3}
之所以可以实现STL中不指定个数进行初始化,依赖的就是与i个轻量级的类模板,也是C++11中的新特性std::initializer_list
initializer_list使用
class FooVector
{
std::vector<int> content_;
public:
FooVector(std::initializer_list<int> 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的特点:
- 它是一个轻量级的容器类型,内部定义了iterator等容器必需的概念
- 对于std::initializer_list来说,它可以接收任意长度的初始化列表,但要求元素类型必须是同种类型T(或者可转换为T)
- 它有3个成员接口:size () 、 begin() 、end()
- 它只能被整体初始化或赋值
注意:std::initializer_list 是非常高效的,因此内部并不负责保存初始化列表中的元素的拷贝,而是仅仅存储列表中元素的引用!因此不能用来返回临时变量!
避免类型收窄:
C++有隐式类型转换的特性,比如将一个浮点数赋值给一个整数,精度会丢失,小数点后会被直接截断。初始化列表可以帮助避免隐式类型转换。因为其不允许这种转换发生。
但是也会随着编译器的不同而不同:
float ff = 1.2
float ff = {1.2}
在gcc4.8下没有警告和错误,但Microsoft Visual C++2013中,收到编译错误。因为1.2默认是double类型,由double转换成float会发生隐式类型转换,但是并没有发生精度损失。
总结
C++11新增的初始化方式,为程序的编写带来了很多的便利,这也是新标准秉承的思想和改进的方向。
|