继承中的 C++ 复制构造函数

Question

#include<iostream>
using namespace std;
class A
{
public:
     A(){ cout <<"1";}
     A(const A &obj){cout <<"2";}
};

class B: virtual A
{
public:
    B(){cout <<"3";}
    B(const B & obj):A(obj){cout<<"4";}
};

class C: virtual A
{
public:
   C(){cout<<"5";}
   C(const C & obj):A(obj){cout <<"6";}
};

class D:B,C
{
public:
    D(){cout<<"7";}
    D(const D & obj):C(obj),B(obj){cout <<"8";}
};

int main()
{
   D d1;
   D d(d1);
}

我得到 13571468 作为输出。但我认为输出应该是 13572468。为什么正常的构造函数运行而不是 A 类的复制构造函数？

Answer 1

您的代码复制D 的实例，调用其复制构造函数。

您的类D 的复制构造函数仅调用其C 和B 超类的复制构造函数。因为它不调用A 的复制构造函数，所以它是默认构造的。

虚拟继承的类可以被认为是最派生类的直接超类。这就是虚拟继承的意思。因此，在您的D 实例中，其虚拟继承的A 是D 的直接超类，而不是B 或C 的直接超类；因此，B 和 C 对 A 复制构造函数的调用没有被调用。

当您有一个虚拟继承的类时，您的所有构造函数实际上都有两个“在幕后”创建的版本：一个负责构造任何虚拟继承的类，另一个不负责。不是不调用虚拟继承类的构造函数。