当调用基类的指针时，赋值运算符不会重载吗？

Question

我遇到了以下问题，这向我证明我对 C++ 的工作原理知之甚少。

我使用带有纯虚函数的基类

class Base
    ...

和类型的派生类，

class Derived : public Base{
private:
  Foo* f1;
 ...

两者都实现了赋值运算符。除此之外，Derived 的赋值运算符复制 f1 中的数据。在我的代码中，我创建了 Derived 类的两个新实例

Base* d1 = new Derived();
Base* d2 = new Derived();

如果我现在调用赋值运算符，

*d1 = *d2;

则不会调用 Derived 的赋值运算符，并且不会复制 f1 中的数据！只有我这样做才有效

*dynamic_cast<Derived*>(d1) = *dynamic_cast<Derived*>(d2);

有人可以解释为什么赋值运算符没有重载吗？

谢谢！

Answer 1

没有看到相关代码就很难说。这是一个有效的示例：

#include <iostream>

using namespace std;

class A {
  public:
    virtual A& operator=(A& a) {}
};

class B : public A {
  public:
    B& operator=(A& a) { cout << "B" << endl; }
};

int main() {
  A* foo = new B();
  A* bar = new B();
  *foo = *bar;
  return 0;
}

运行时将打印 B 。

您可能做错的事情：

1. 您可能忘记在基类中将 operator= 设为虚拟。
2. 您可能已将子类的 operator= 作为签名，该签名比父类的 operator= 的签名更具限制性，因此您实际上并未覆盖父类的定义。例如，如果您更改 B&运算符=(A&a) { cout << “B”＜＜结束； } 至 B&运算符=(B&a) { cout << “B”＜＜结束； } 在上面的例子中，它将不再打印 B。

Answer 2

我对已接受的答案有一些不同的看法。这基本上是 更有效的 C++ 第 33 项。因此，即使公认的解决方案有效，我认为重要的是要指出使赋值运算符虚拟化所涉及的危险！

class Animal {
public:
    virtual Animal& operator=(const Animal& rhs);
};

class Lizard: public Animal {
public:
    virtual Lizard& operator=(const Animal& rhs);
};

class Chicken: public Animal {
public:
    virtual Chicken& operator=(const Animal& rhs);
};

int main(){
    Lizard l;
    Chicken c;

    Animal *pL = &l;
    Animal *pC = &c;

    *pL = *pC;             // assigns chicken to a lizard.
}

Answer 3

为了使虚拟工作正常，您需要相同的签名。因此，如果您的 operator= 在 Derived 类中使用的 const Derived& 参数与在 Derived 类中使用的参数不匹配code>const Base& 基类中的参数。

这意味着您可以实现多态性，但您需要在派生类中有一个 operator=(const Base&) 才能实现这一点。