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

Question

这个问题已经在这里讨论过了[链接] Does new[] call default constructor in 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]你得到 count People 类型的对象通过调用 People 的默认构造函数进行初始化.
2. 与 new int[count]你得到 count默认初始化，即未初始化，int s 和表达式 *(arr + 2) (相当于 arr[2] )产生未定义的行为。
3. 与 new int[count]()你得到 count零初始化 int s，即它们都为零。