c++ - 构造函数调用顺序

Question

示例 1:

#include <iostream>

class A
{
public:
    A(int a)
    {
        std::cout << "A: " << a << '\n';
    }

      A()
    {
        std::cout << "A" <<'\n';
    }
};

class B: public A
{
    private:
    int b;
    A a1;
public:
    B(int a, double b)
    : a1(a)
    {
        std::cout << "B: " << b << '\n';
    }

};

class C: public B
{
public:
    C(int a , double b , char c)
    : B(a, b)
    {
        std::cout << "C: " << c << '\n';
    }
};

int main()
{
    C c(5, 4.3, 'R');

    return 0;
}

输出:

A
A: 5
B: 4.3
C: R

示例 2:

#include <iostream>

class A
{
public:
    A(int a)
    {
        std::cout << "A: " << a << '\n';
    }

      A()
    {
        std::cout << "A: " <<'\n';
    }
};

class B: public A
{
    private:
    int b;
    A a1;
public:
    B(int a, double b)
    : A(a)
    {
        std::cout << "B: " << b << '\n';
    }

};

class C: public B
{
public:
    C(int a , double b , char c)
    : B(a, b)
    {
        std::cout << "C: " << c << '\n';
    }
};

int main()
{
    C c(5, 4.3, 'R');

    return 0;
}

输出:

A: 5
A: 
B: 4.3
C: R

我从 CPP 中了解到，首先调用基类的构造函数，然后初始化成员，最后调用派生类的构造函数。那么为什么我的输出的前两行不相同？

Answer 1

为什么您希望它们相同？在您的第一个示例中，此片段:

B(int a, double b)
: a1(a)

它首先隐式初始化基类(使用默认构造函数)，输出单个A到终端，然后初始化成员变量a1，输出A : 5。您的代码实际上等同于:

B(int a, double b)
: A(), // implicit
  b(), // implicit
  a1(a)

第二个例子正好相反:

B(int a, double b)
: A(a)

您使用单参数构造函数显式初始化 base(输出 A: 5)，然后使用默认构造函数隐式初始化成员变量(输出 A)。此代码等效于:

B(int a, double b)
: A(a),
  b(), // implicit
  a1() // implicit

无论您是否在构造函数中放置显式初始化代码都没有关系 - 首先初始化 ALL 基类，然后初始化 ALL 成员变量。这些初始化要么使用您提供的参数，要么在您省略它们时默认初始化。如果省略初始化程序并且没有可用的默认构造函数，编译将失败并报错。