c++中的新运算符+默认构造函数

Question

这里已经讨论过这个问题[alink]new[]是否调用C++中的默认构造函数？

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

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

这里说对象是由默认构造函数初始化的，这意味着什么？是不是每个对象现在都有键初始化为零（通过默认构造函数），因为当我打印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默认时）的类，成员被默认初始化。内置类型的默认初始化不起任何作用，即默认初始化的内置类型未初始化，在初始化之前读取相应的对象会导致未定义的行为。

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

因此，在你的三个例子中，你会得到：

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