统一的初始化方式

最新推荐文章于 2024-03-20 07:40:21 发布

原创最新推荐文章于 2024-03-20 07:40:21 发布 · 497 阅读

1 ·

CC 4.0 BY-SA版权

C++ 11专题专栏收录该内容

7 篇文章

订阅专栏

本文介绍了C++11引入的统一初始化方式——列表初始化，通过示例展示其在基本数据类型、数组、POD类型、堆数组、函数返回值等场景的应用。同时，解释了列表初始化在聚合体和非聚合体类型中的不同行为，并讨论了聚合类型的定义。

在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