c++11默认初始化/值初始化/直接初始化

Question

我主要对 c++ 中不同初始化的概念感到困惑，尤其是在 c++11 标准中。

我对通过new（相关与否）构造对象并提供初始化器列表（与用户定义的构造器匹配）的情况感到特别困惑，并且该构造器不会初始化所有成员（包括 POD 和其他类）。

以下说明了我的困惑。

class B
{
public:
    int b1;
    int b2;
};

class C
{
public:
    int c1;
    int c2;
    C()
    {
        c2 = 1234;
    }
};

class A
{
public:
    int a1;
    B a2;
    C a3;
    A(int a): a1(a){}
};

现在如果我写auto aptr = new A(5)，我们可以评论一下

1. aptr->a1、aptr->a2 中每个字段的值是多少， aptr->a3?

2. 在这个过程中触发了什么初始化？

---

补充： 部分混淆来自于 https://en.cppreference.com/w/cpp/language/zero_initialization

struct A
{
    int i;
    A() { } // user-provided default ctor, does not initialize i
};

struct B { A a; }; // implicitly-defined default ctor

std::cout << B().a.i << '\n'; // value-initializes a B temporary
                              // leaves b.a.i uninitialized in C++03
                              // sets b.a.i to zero in C++11
// (note that B{}.a.i leaves b.a.i uninitialized in C++11, but for 
// a different reason: in post-DR1301 C++11, B{} is aggregate-initialization,
// which then value-initializes A, which has a user-provided ctor)

B 的值初始化似乎触发了 A 的某些初始化（它是哪一个），它设置了 A.i.对此有何评论？

Answer 1

aptr->a1、aptr->a2 中每个字段的值是多少， aptr->a3?

• aptr->a1 将有 5 ：因为 A(int a): a1(a){} 而你通过了 A(5)。
• aptr->a2 将是默认（编译器生成）构造的 B 对象（即聚合 type) 具有其 b1 和 b2 垃圾值。
• aptr->a3 将是由您提供的默认构造函数（即C(){ c2 = 1234; }）构造的C 对象。这意味着a3 中的c1 将具有垃圾值，而c2 将使用1234 初始化。