构造函数调用序列

Constructor calling sequence

本文关键字：函数调用      更新时间：2023-10-16

示例 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 中了解到的是，首先调用基类的构造函数，然后初始化成员，最后调用派生类的构造函数。那为什么我没有得到输出的前 2 行相同？

为什么你期望它们是相同的？在您的第一个示例中，此片段：

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

是否在构造函数中放置显式初始化代码并不重要 - 首先初始化所有基类，然后初始化所有成员变量。这些初始化要么使用您给出的参数，要么是默认初始化(如果省略它们)。如果省略初始值设定项，并且没有可用的默认构造函数，则编译将失败并显示错误。

相关文章：