关于对象初始化语义的问题

Question

我一直想知道 C++03 规范中围绕对象初始化的语言，特别是第 8.5 节第 9 段，其中指出，

“如果没有为对象指定初始化程序，并且该对象是（可能是 cv 限定的） ）非 POD 类类型（或 数组），该对象应默认初始化；如果对象是 const 限定类型，则底层 类类型应具有用户声明的默认构造函数。否则，如果没有为非静态指定初始值设定项 对象，该对象及其子对象（如果有）具有不确定的初始值；如果该物体或任何 其子对象的类型是 const 限定类型，则该程序格式不正确。”

我要特别注意子句，“否则，如果没有为非静态指定初始值设定项 对象，该对象及其子对象（如果有）具有不确定的初始值”。根据第8.5节第5段，默认初始化的定义分为三种情况：

1. 如果T是非POD类类型（第 9 条），调用 T 的默认构造函数（初始化为 如果 T 没有可访问的默认构造函数，则格式错误）
2. 如果 T 是数组类型，则每个元素都默认初始化，
3. 否则，该对象为零初始化。

据我了解，第 9 段指出，如果我们有一个没有初始值设定项的非 POD 类类型，那么将调用它的默认构造函数。让我感到困惑的是 POD 类类型的情况......从我强调的条款看来，没有提到 POD 类类型需要默认构造函数调用。然而，如果我创建了一个 POD 类类型，例如

struct POD_class
{
    int a;
    int b;
    POD_class() { cout << "Default constructor called" << endl; }
};

int main()
{
    POD_class test;
    return 0;
}

POD_class 的默认构造函数，则在使用 g++ 编译和运行此代码时似乎会调用它。因此，即使 POD_class 没有特定的初始化程序，它似乎仍然是默认初始化的，根据默认初始化定义中的情况#1，因为调用了该类型的默认构造函数。

基于上述场景，我的问题是：对于 POD 类，默认初始化对象是否如第 9 段提到的非静态 POD 类意味着不调用其默认构造函数，或者它根本就不是零初始化的？

Answer 1

您的 POD_class 实际上不是 POD 类。 POD 类不能有用户声明的构造函数。