c++ - 从派生对象复制构造

Question

在下面的代码中，函数 foo 是从 Derived 对象 d 复制构造一个 Base 对象 c。我的问题是:我们得到的是一模一样的拷贝吗？因为我没有得到我期望的多态行为

#include<iostream>

class Base
{
public:
    virtual void sayHello()
    {
        std::cout << "Hello Base" << std::endl ;
    }
};

class Derived: public Base
{
public:
    void sayHello() override
    {
        std::cout << "Hello Derived" << std::endl ;
    }
};

void foo(Base* d)
{

    Base* c = new Base(*d);
    c->sayHello() ;
}

int main()
{
    Derived d;
    foo(&d) ;  //outputs Hello Base
}

Answer 1

没有虚构造函数和复制构造函数。

但是，可以定义一个行为类似的函数。

在我的例子中，它是我添加到 OP 示例中的 virtual 成员函数 copy():

#include <iostream>
class Base
{
public:
    virtual Base* copy() const { return new Base(*this); }

    virtual void sayHello()
    {
        std::cout << "Hello Base" << std::endl ;
    }
};

class Derived: public Base
{
public:
    virtual Base* copy() const override { return new Derived(*this); }

    void sayHello() override
    {
        std::cout << "Hello Derived" << std::endl ;
    }
};

void foo(Base* d)
{

    Base* c = d->copy();
    c->sayHello() ;
}

int main()
{
    Derived d;
    foo(&d) ;  //outputs Hello Derived
    return 0;
}

输出:

Hello Derived

Live Demo on coliru

缺点是 Base 的每个派生类都必须提供它才能使其正常运行。 (我不知道如何说服编译器用任何技巧为我检查这个。)

部分解决方案可能是在 class Base 中将 copy() 设为纯虚拟(假设它不是可实例化的)。