默认构造函数是否初始化内置类型？

Question

默认构造函数（由编译器创建）是否初始化内置类型？

Answer 1

隐式定义（由编译器）类的默认构造函数不会初始化内置类型的成员。

但是，您必须记住，在某些情况下，可以通过其他方式执行类实例的初始化。不是默认构造函数，也不是构造函数。

例如，人们普遍认为C 类的语法C() 总是调用默认构造函数。但实际上，语法C() 执行类实例的所谓值初始化。如果它是用户声明的，它只会调用默认构造函数。 （那是在 C++03 中。在 C++98 中 - 仅当类是非 POD 时）。如果该类没有用户声明的构造函数，那么C() 将不会调用编译器提供的默认构造函数，而是会执行一种完全不涉及C 构造函数的特殊类型的初始化。相反，它将直接对类的每个成员进行值初始化。对于内置类型，它会导致零初始化。

例如，如果你的类没有用户声明的构造函数

class C { 
public:
  int x;
};

然后编译器将隐式提供一个。编译器提供的构造函数什么都不做，这意味着它不会初始化C::x

C c; // Compiler-provided default constructor is used
// Here `c.x` contains garbage

尽管如此，以下初始化将零初始化 x，因为它们使用显式 () 初始化器

C c = C(); // Does not use default constructor for `C()` part
           // Uses value-initialization feature instead
assert(c.x == 0);

C *pc = new C(); // Does not use default constructor for `C()` part
                 // Uses value-initialization feature instead
assert(pc->x == 0);

() 初始化程序的行为在 C++98 和 C++03 之间的某些方面有所不同，但在这种情况下则不同。对于上面的类C，它将是相同的：() 初始化程序执行C::x 的零初始化。

另一个不涉及构造函数的初始化示例当然是聚合初始化

C c = {}; // Does not use any `C` constructors at all. Same as C c{}; in C++11.
assert(c.x == 0);

C d{}; // C++11 style aggregate initialization.
assert(d.x == 0);

Answer 2

我不太确定你的意思，但是：

struct A { int x; };

int a; // a is initialized to 0
A b;   // b.x is initialized to 0

int main() {
    int c;         // c is not initialized
    int d = int(); // d is initialized to 0

    A e;           // e.x is not initialized
    A f = A();     // f.x is initialized to 0
}

在我说“未初始化”的每种情况下 - 你可能会发现你的编译器给它一个一致的值，但标准并不要求它。

很多人都在挥手，包括我在内，关于“有效”的内置类型如何具有默认构造函数。实际上默认初始化和值初始化是标准中定义的术语，我个人每次都必须查找。只有类在标准中定义为具有隐式默认构造函数。

Answer 3

出于所有实际目的 - 不。

---

但是对于在技术上符合 C++ 标准的实现，答案是它取决于对象是否为 POD 以及如何初始化它。 根据 C++ 标准：

MyNonPodClass instance1;//built in members will not be initialized
MyPodClass instance2;//built in members will be not be initialized
MyPodClass* instance3 = new MyPodClass;//built in members will not be initialized
MyPodClass* instance3 = new MyPodClass() ;//built in members will be zero initialized

但是，在现实世界中，这并没有得到很好的支持，所以不要使用它。

---

标准的相关部分是第 8.5.5 和 8.5.7 节

Answer 4

根据标准，除非您在初始化列表中显式初始化，否则不会这样做

Answer 5

正如前面的发言者所说 - 不，它们没有被初始化。

这实际上是真正奇怪错误的来源，因为现代操作系统倾向于用零填充新分配的内存区域。如果您期望这样做，它可能会第一次起作用。但是，随着您的应用程序继续运行，delete-ing 和 new-ing 对象，您迟早会遇到这样的情况：您期望零，但早期对象的非零剩余存在。

那么，为什么不是所有new-ed 数据都是新分配的？是的，但并不总是来自操作系统。操作系统倾向于使用更大的内存块（例如，一次 4MB），因此所有微小的“这里一字三字节那里”的分配和释放都在 uyserspace 中处理，因此不会清零。

PS。我写了“tend to”，也就是说，你甚至不能依赖第一次成功...

Answer 6

从技术上讲，它确实会初始化它们——通过使用它们的默认构造函数，顺便说一句，它只是为它们分配内存。

如果您想知道它们是否被设置为像 ints 的 0 之类的正常值，那么答案是“否”。

Answer 7

没有。默认构造函数分配内存并调用任何父级的无参数构造函数。