为什么复制构造函数不被“链接”？比如默认构造函数和析构函数？

Question

为什么不链接复制构造函数（如默认构造函数或 dtor），以便在调用派生类的复制构造函数之前调用基类的复制构造函数？对于默认构造函数和析构函数，它们分别在从基到派生和从派生到基的链中调用。为什么复制构造函数不是这样？例如，以下代码：

class Base {
public:
    Base() : basedata(rand()) { }

    Base(const Base& src) : basedata(src.basedata) {
        cout << "Base::Base(const Base&)" << endl;
    }

    void printdata() {
        cout << basedata << endl;
    }

private:
    int basedata;
};

class Derived : public Base {
public:
    Derived() { }

    Derived(const Derived& d) {
        cout << "Derived::Derived(const Derived&)" << endl;
    }
};


srand(time(0));


Derived d1;      // basedata is initialised to rand() thanks to Base::Base()

d1.printdata();  // prints the random number

Derived d2 = d1; // basedata is initialised to rand() again from Base::Base()
                 // Derived::Derived(const Derived&) is called but not
                 // Base::Base(const Base&)

d2.printdata();  // prints a different random number

复制构造函数不会（不能）真正复制对象，因为 Derived::Derived(const Derived&) 无法访问 basedata< /code> 来更改它。

我是否缺少关于复制构造函数的一些基本知识，因此我的思维模型不正确，或者这种设计是否有一些神秘（或不神秘）的原因？

Answer 1

复制构造函数不会（不能）真正复制对象，因为 Derived::Derived(const Derived&) 无法访问 pdata来改变它。

当然可以：

Derived(const Derived& d)
    : Base(d)
{
    cout << "Derived::Derived(const B&)" << endl;
}

如果您没有在初始化列表中指定基类构造函数，则会调用其默认构造函数。如果您希望调用默认构造函数以外的构造函数，则必须指定要调用哪个构造函数（以及使用哪些参数）。

至于为什么是这样的：为什么复制构造函数应该与任何其他构造函数不同？作为一个实际问题的示例：

struct Base
{
    Base() { }
    Base(Base volatile&) { } // (1)
    Base(Base const&)    { } // (2)
};

struct Derived : Base
{
    Derived(Derived&) { }
};

您希望 Derived 复制构造函数调用哪个 Base 复制构造函数？

Answer 2

您可以：

Derived(const Derived& d) : Base(d) {
    cout << "Derived::Derived(const B&)" << endl;
}

这会调用 d 的 Base 子对象上的 Base 复制构造函数。

“为什么”的答案我不知道。但通常没有答案。委员会只需选择其中一个选项即可。这似乎与语言的其余部分更加一致，例如 Derived(int x) 不会自动调用 Base(x)。

Answer 3

这是因为默认情况下每个构造函数都会调用默认的基本构造函数：

Derived(const Derived& d) {
    cout << "Derived::Derived(const B&)" << endl;
}

将调用 Base()。

这是由标准定义的。我更喜欢这样，而不是调用类上的复制构造函数。您当然可以明确地调用它。