从 C++ 中派生 class 的构造函数修改基础 class 的数据成员

Question

我看不懂这段代码的output。 我希望打印10 ，但 output 是85 。 有人可以解释发生了什么吗？

#include <iostream>
using namespace std;
class A
{  
    public:   
        int x=3;
        A(int a) : x(a) {}
};

class B: public A
{   
    public:  
        int y = 10;
        B() : A(y) {}
};

int main()
{
    B b;    
    cout << b.x << endl;
    return 0;
}

但是，将其更改为：

class B: public A
{   
    public:  
        int y = 10;
        B(int s) : A(s) {}
};

int main()
{
    B b(4); 
    cout << b.x << endl;
    return 0;
}

它按预期工作（打印 4）。

Answer 1

这称为“未定义行为”。

先构造基类，然后构造 class 成员。

在这种情况下，您将未初始化的 class 成员的内容传递给基类的构造函数。

仅仅因为您有一个 class 成员的初始化语句出现在.cpp文件的前一行中，并不意味着这是初始化顺序。 C++ 并不总是以这种方式工作。 您将未初始化的y传递给基类的构造函数，然后当基 class 返回时，子类被构造，将y设置为它的初始化值。

Answer 2

由于第一种情况下的初始化顺序规则，您在将 y 分配给 10 之前调用 A() 构造函数，因此 y 的值是未定义的，并且取决于堆栈中那些 sizeof(int) 字节的当前值。 所以你用那个未定义的半随机值初始化 x 并稍后打印它。 在第二种情况下，您使用 s = 4 调用 B(int)，它成功地将 x 初始化为 4。

Answer 3

正如@Someprogrammerdude 评论中的链接所建议的那样：

列表中成员初始化器的顺序无关紧要：实际初始化顺序如下：

1. 如果构造函数用于派生最多的 class，则虚拟基础按照它们在基础 class 声明的深度优先从左到右遍历中出现的顺序进行初始化（从左到右是指在基础中的外观）说明符列表）
2. 然后，直接基以从左到右的顺序初始化，因为它们出现在此类的基说明符列表中
3. 然后，按照 class 定义中的声明顺序初始化非静态数据成员。
4. 最后执行构造函数的主体