原始类型的类成员的初始化行为

Question

我知道这里有很多关于此主题的已回答问题，但我找不到完全回答我的问题的问题。

下面我根据我对初始化的理解（从 C++17 开始）做出一些假设。如果有人能指出/纠正我的错误，那就太好了。

给定类型

struct A
{
    int x;  
};

创建局部变量根本不会初始化对象

A a;  // a.x is indeterminate, accessing it is UB

但是，我们可以通过以下方式强制聚合初始化

A a{};
A a = {};

将a.x 初始化为0。

现在，给定类型

struct B
{
    int x;
    std::string s;
};

创建局部变量默认初始化对象

B b;

这导致b.s被默认初始化（因为它是一个非POD）但b.x是不确定的，访问它仍然是UB。

接下来，我们有

struct C
{
    int x = 0;
    std::string s;
};

创建局部变量默认初始化对象

C c;

这导致 C.s 被默认初始化（因为它是一个非 POD）和 c.x 被复制初始化，行为是明确定义的。

最后，让我们比较一些类型并检查它们是否具有相同的初始化行为。我假设如果我创建一个（默认初始化的）局部变量（A a;），这些类型之间没有区别。

案例A

struct A1
{
    int x;  
};

struct A2
{
    A2() { }
    int x;  
};

struct A3
{
    A3() = default;
    int x;  
};

x 从未初始化，它的值是不确定的。

案例 B

struct B1
{
    int x{};
};

struct B2
{
    B2() : x{} { }
    int x;  
};

struct B3
{
    B3() = default;
    int x = 0;  
};

x 总是被初始化，它的值是0。

案例 C

struct C1
{
    int x;
    std::string s;
};

struct C2
{
    C2() { }
    int x;
    std::string s;
};

struct C3
{
    C3() = default;
    int x;
    std::string s;
};

s 总是默认初始化，但x 从不初始化，它的值是不确定的。

这些陈述是否正确，如果不正确，错误在哪里，实际行为是什么？

Answer 1

您错过了一个微妙之处：对于 A3 或 C3，写作 T3 t{}; 或 T3() 将将 x 初始化为 0，因为默认构造函数在其第一个声明中默认导致值初始化为零初始化对象and default-initialize it。