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

spa*_*pab 7 c++ c++14

我无法理解这段代码的输出。我希望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;
}
Run Code Online (Sandbox Code Playgroud)

但是,将其更改为:

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

int main()
{
    B b(4); 
    cout << b.x << endl;
    return 0;
}
Run Code Online (Sandbox Code Playgroud)

它按预期工作(打印 4)。

Sam*_*hik 6

这称为“未定义行为”。

构造类成员之前,首先构造基类。

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

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


spa*_*pab 0

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

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

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