如何从基类调用派生赋值运算符？

Question

给定一个指向抽象基类A* 的指针，我想复制或分配它（作为基类）并调用派生的复制构造函数或赋值运算符。我知道复制构造函数不能是虚拟的，所以大概复制构造函数不是这样做的选项，但赋值运算符是。不过，它似乎不起作用：打印以下代码

assigned a
x!
destroyed b
destroyed b

分配 b 失败。

#include <iostream>
using namespace std;

class A
{
public:
    virtual void x()=0;
    virtual ~A() {}
    virtual A& operator=(const A& other) { cout << "assigned a" << endl; return *this;}
};

class B : public A
{
public:
    virtual B& operator=(const B& other)  { cout << "assigned b" << endl; return *this;}
    virtual void x() { cout << "x!" << endl; }
    virtual ~B() { cout << "destroyed b" << endl; }
};

int main() 
{ 
    A* a = new B(); 
    A* aa = new B(); 
    *aa=*a; 
    aa->x(); 
    delete a; 
    delete aa; 
    return 0;
}

如何做到这一点？

编辑这个问题在下面得到了正确的回答，但它是错误的问题。我不应该尝试重写赋值运算符，因为我不希望 A 的子类将 分配给另一个。对于更简单的答案（希望），请参阅C++ elegantly clone derived class by calling base class

Answer 1

问题在于您的B::operator= 没有覆盖 A 中的那个。改成

virtual A& operator=(const A& other)  { cout << "assigned b" << endl; return *this;}

它会起作用的。此外，在覆盖成员函数时尝试使用 override 关键字（需要 C++11）。如果您不覆盖，代码将无法编译。在你的情况下，它会抓住你的错误

错误：“virtual B& B::operator=(const B&)”标记为“覆盖”，但没有覆盖

PS：你可能在想covariant return types。为了让它工作，你的函数的签名必须是相同的，除了返回类型。例如，这将起作用：

virtual B& operator=(const A& other)  { cout << "assigned b" << endl; return *this;}