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

Modify data member of base class from constructor of derived class in C++

我无法理解这段代码的输出。我希望打印 10,但输出是 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)。

这称为“未定义行为”。

基础 classes 首先构造,然后 class 成员被构造。

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

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

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

正如@Someprogrammerdude 评论中 link 所建议的:

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

  1. 如果构造函数用于最派生的 class,则虚基按照它们在基 class 声明的深度优先从左到右遍历中出现的顺序进行初始化(从左到右指的是在基本说明符列表中的出现)
  2. 然后,直接碱基按出现在 class 的碱基说明符列表中的从左到右的顺序进行初始化
  3. 然后,非静态数据成员按照class定义中声明的顺序进行初始化。
  4. 最后,构造函数的主体被执行