它们在隐式 ctor、无参数空体 ctor 和显式默认 ctor 之间是否等效？答案

【问题标题】：Are they equivalent between implicit ctor, no-parameter-empty-body ctor and explicit default ctor?它们在隐式 ctor、无参数空体 ctor 和显式默认 ctor 之间是否等效？
【发布时间】：2017-04-08 10:32:44
【问题描述】：

struct A1
{
    int n;        
};

struct A2
{
    int n;
    A2(){}        
};

struct A3
{
    int n;
    A3() = default;        
};

问题 1：

C++ 标准是否保证A1、A2、A3 类完全等价？

问题 2：

A1 a1;
A2 a2;
A3 a3;

编译器不会按照 C++ 标准对 a1.n、a2.n、a3.n 进行零初始化吗？

【问题讨论】：

不知道你的意思是什么......他们不相等，因为例如第一个是聚合，而第二个不是

标签： c++ c++11 constructor standards semantics

【解决方案1】：

有一个区别，A1 和 A3 是 aggregate type，而 A2 不是，因为它有一个用户定义的构造函数。

类类型（通常是结构或联合），具有

...

没有用户提供, inherited, or explicit (since C++17) 构造函数(explicitly defaulted or deleted constructors are allowed) (since C++11)

...

这意味着A1 和A3 可以聚合初始化，而A2 不能。

A1 a1{99}; // fine;  n is initialized to 99
A3 a3{99}; // fine;  n is initialized to 99
A2 a2{99}; // error; no matching constructor taking int found

编译器不会按照 C++ 标准对 a1.n、a2.n、a3.n 进行零初始化吗？

根据default initialization的规则，如果它们是自动存储时长，这里没有零初始化，所有的值都是不确定的。另一方面，静态和线程本地对象得到zero initialized。

【讨论】：

【解决方案2】：

它们不相等，因为它们是不同的实体并且具有不同的初始化：第一个和最后一个是聚合，第二个不是

聚合是一个数组或一个类（第 9 条），没有用户提供的构造函数 (12.1)，非静态数据成员没有大括号或等式初始化器 (9.2)，没有私有或受保护的非静态数据成员（第 11 条），没有基类（第 10 条），也没有虚函数（10.3）。

在此处了解更多信息：What are Aggregates and PODs and how/why are they special?

所以聚合初始化适用于A1 和A3，不适用于A2

struct A1
{
    int n;        
};

struct A2
{
    int n;
    A2(){}        
};

struct A3
{
    int n;
    A3() = default;        
};


int main()
{
   A1 obj1{42};
   //A2 obj2{42}; // error
   A3 obj3{42};


   return 0;
}

A1 a1; A2 A2; A3 a3;

编译器是否不会按照 C++ 标准对 a1.n、a2.n、a3.n 进行零初始化

变量将是default initialized。

【讨论】：