如何使用这些类构造函数打印“ABCDabcd”？

Question

我有以下代码：

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

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

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

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

我想创建一个D 对象并让它打印"ABCDabcd"。

我试过了：

int main()
{
    D d;
    return 0;
}

但它只打印"ABCD"，我不知道如何调用其余代码。

有什么想法吗？

Answer 1

您看到的输出的ABCD 部分由A、B、C 和D 的default constructors 打印。当main() 构造D 对象时，它正在调用D 的默认构造函数，它调用A、B 和C 的默认构造函数。

输出中缺少的abcd 部分由A、B、C 和D 的copy constructors 打印。所以main() 需要复制 D 对象以调用D 的复制构造函数，例如：

int main()
{
    D d;
    D d2{d}; // or: D d2 = d;
    return 0;
}

Online demo

但是，您会注意到此副本的输出将是ABCd，而不是预期的abcd。这是因为D的拷贝构造函数没有调用A、B或C的拷贝构造函数，而是调用了它们的默认构造函数。

要解决这个问题，您需要在每个复制构造函数中添加一个member initialization list，以便调用非默认的基本构造函数，例如：

class A {
public:
    A() { cout << "A"; }
    A(const A&) { cout << "a"; }
};

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

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

class D : public B, C {
public:
    D() { cout << "D"; }
    D(const D &d) : A(d), B(d), C(d) { cout << "d"; }
};

然后副本将按预期打印abcd。

Online demo