c++ - C++ 中的 new 运算符 + 默认构造函数

Question

这个问题已经在这里讨论过 [链接]Does new[] call default constructor in C++?

作为初学者和自学者，我们会欣赏积极的评论，请不要将其概括为宽泛、狭隘等

当我们使用 new[] 时，每个元素都由默认构造函数初始化，除非类型是内置类型。默认情况下，内置类型保持未初始化。

这里说对象是通过默认构造函数初始化的是什么意思？ 是不是每个对象现在都将 key 初始化为零(通过默认构造函数)，因为当我打印 p[2].key 时这是真的？

如何检查默认构造函数是否初始化数组或不是 int 数组，它无法访问 main 中的成员键？

此外，(i) 打印垃圾值，但 (ii) 打印 0；

class People
{
    public:
      int key;
    People()
    {
        key=0;
    }
};

int main()
{
   int count=5;
   People *p=new People[count];
   cout<< p[2].key;

   // int *arr=new int[count]; ...(i)
   //cout<<*(arr+2);

  //int *arr=new int[count](); ... (ii)
 //cout<<*(arr+2)<<endl;

 return 0;
}

Answer 1

分配数组的初始化规则比调用的默认构造函数稍微复杂一些。标准实际上说的是这样的(5.3.4 [expr.new] 第 7 段，未完全引用):

1. 当使用像 new T[n] 这样的新表达式时这些值默认初始化。
2. 当使用像 new T[n]() 这样的新表达式时这些值直接初始化。对于数组的情况，仅适用直接初始化的值初始化。

默认初始化基本上意味着，对于具有默认构造函数的类，将调用默认构造函数，而对于没有用户定义的默认构造函数的类(即，当根本没有默认构造函数或使用 = default 默认构造函数时) ) 成员默认初始化。内置类型的默认初始化不会执行任何操作，即，默认初始化的内置类型未初始化，并且在初始化之前读取相应的对象会导致未定义的行为。

值初始化意味着对于具有默认构造函数的类，将调用默认构造函数；对于没有默认构造函数的类，将对成员进行值初始化。内置类型的值初始化会导致零初始化，零初始化会对内置类型进行适当的初始化(对于整型和浮点类型为零，对于指针为 null，对于 false 则为 bool)等)。

因此，在您的三个示例中，您会得到:

1. 与new People[count]你得到count People 类型的对象通过调用 People 的默认构造函数进行初始化.
2. 与new int[count]你得到count默认初始化，即未初始化，int s 和表达式 *(arr + 2) (相当于 arr[2] )产生未定义的行为。
3. 与new int[count]()你得到count零初始化int s，即它们都为零。