为什么对象默认初始化但基元不在 C++ 中？

Question

为什么基元没有默认初始化，但对象在 C++ 中？ 例如：

class Foo {
  void Method() {
    int w(); // initialized to 0
    int x; // uninitialized
    std::vector<int> y(); // initialized to empty vector
    std::vector<int> z; // initialized to empty vector
  }
}

在这种情况下， w和y是用括号声明的，因此被初始化， z是没有声明的，并且调用了它的无参数默认构造函数，但x保持未初始化。 为什么是这样？

Answer 1

如果对象没有初始化器，则对象默认初始化为[dcl.init]/12 。 如果初始化器是() ，则对象是值初始化的[dcl.init]/11 。 类类型对象（如std::vector<int> ）的默认初始化调用默认构造函数，而int类型对象的默认初始化意味着没有初始化[dcl.init]/7 。 值初始化还将为具有 1 的类类型对象调用默认构造函数（如std::vector<int>所做的那样），但对于int类型的对象，值初始化意味着零初始化[dcl.init]/8 。 int零初始化实际上意味着int被初始化为零[dcl.init]/6 ...

正如评论中已经指出的那样，

int w();

和

std::vector<int> y();

实际上不是局部变量的定义，而是两个函数w和y声明，它们不带参数并分别返回一个int和一个std::vector<int> （臭名昭著的最令人烦恼的 parse ）。 尽管如此，在某些情况下可以使用()作为实际的初始化程序，因此让我们稍微修改一下您的示例以演示您所询问的行为：

class Foo
{
    int w;
    std::vector<int> y;

    Foo()
      : w(),  // value initialized == zero initialized for int
        y()   // value initialized == default initialized for std::vector<int>
    {
        int x; // default initialized == uninitialized for int
        std::vector<int> z; // default initialized
    }
};

Answer 2

这里的“为什么”简化为“因为 C++ 试图尽可能保持 C 的性能和行为兼容”。 当您销售一种新的、相对低级的语言（至少最初）主要是 C 的超集时，您不会想说“如果您将现有的 C 代码编译为 C++，它总是更慢！” 默认情况下，C 不会对原语进行零初始化； 只要代码最终在读取它们之前为它们分配一个值，那很好，C++ 遵循相同的模式。