统一的初始化方式

在C++98/03中，对象有多种初始化方式，如列表初始化、拷贝初始化、直接初始化、值初始化、默认初始化......

在C++11中有了统一的初始化方式：列表初始化，即用一组花括号括起来的初始值初始化对象(甚至是为对象赋新值时)

使用方式:

int a1 = { 0 };
int a2 { 0 };

注：当列表初始化用于基本数据类型变量时，如果初始值存在丢失信息的风险，编译器将会报错

long double ld = 3.1415926536;
int a{ld }, b = {ld};			//error
int c(ld), d = ld;				//丢失信息但是正确

举例：

普通数组：

int arr1[3] = { 1, 2, 3 };
int arr2[3] { 1, 2, 3 };

POD类型：

//POD可以参考这篇博客：https://www.cppfans.org/1431.html

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

基础数据类型：

int a1 = { 0 };
int a2 { 0 };

堆数组：

int* arr3 = new int[3] { 1, 2, 3 };

  

用于函数返回值：

struct Foo
{
Foo(int, double){};
};

Foo fun()
{
return { 123, 321.0 };  //相当于return Foo(123, 321.0);
}

对默些自定义类型使用列表初始化时可能有两种结果：

聚合体：

struct A
{
int x;
int y;
} a = { 123, 321 };  	//a.x = 123, a.y = 321

非聚合体：

struct B
{
int x;
int y;
B(int, int) : x(0), y(0) {}
} b = { 123, 321 };    //b.x = 0, b.y = 0

这里阐述一下聚合类型的定义:

1、类型是一个普通数组。

2、类型是一个 (1)无用户自定义构造函数(2)无私有或保护的非静态成员变量
(3)无基类 (4)无虚函数 (5)无类内初始值(C++11)的类类型

造成上面不同结果的原因:使用列表初始化时，对于聚合类型，相当于使用初始化列表对其中每个元素分别赋值，对于非聚合类型，相当于使用初始化列表调用类对应的构造函数(使用之前应该一个合适的构造函数)

对于聚合类型的定义并非递归的，当一个类的非静态成员变量是非聚合类时，这个类可能是聚合类

struct ST
{
int x;
double y;
private:
int z;
};
ST s { 1, 2.5, 3 };			//error

struct Foo
{
ST st;
int x;
double y;
};
Foo foo { {}, 1, 2.5 };		//ok

这里ST是非聚合类型，但是Foo是聚合类型

参考:

C++ Primer

深入应用C++ 11