覆盖运算符以使用 C++ 中的派生类

Question

我试图覆盖子类中的虚拟比较运算符，但我收到一个编译器错误，指出派生类没有实现基类的虚拟运算符。

我感觉这与我的派生运算符不使用基类的参数类型有关。

简化版如下：

struct Base {
  virtual bool operator ==(const Base) const;
};

struct Derived : Base {
  bool operator ==(const Derived) const {
    // implementation goes here
  }
};

我有办法做到这一点，还是我必须在 Derived 实现中进行类型检查以查看它是否是正确的类型？

Answer 1

我感觉这与我的派生运算符有关 不使用基类的参数类型。

确实如此。基类必须采用 const reference（这样它就可以具有动态类型 Derived，然后您将覆盖声明为：

bool operator ==(const Base& rhs) const {
    const auto pRhs = dynamic_cast<const Derived*>(&rhs);
    if (pRhs == nullptr)
    {
        return false;  // Not a derived.  Cannot be equal.
    }
    // Derived/Derived implementation goes here
}

但请注意：像这样的虚拟比较运算符很容易出错。你需要一个很好的激励例子来做到这一点。特别是，如果你写：

Derived d;
Base b;
if (d == b)  // All is well - derived override called, and returns false.

if (b == d) // Uh-oh!  This will call the *base* version.  Is that what you want?

还有：

Derived d;
DerivedDerived dd;

if (d == dd) // Did you want to use the DerivedDerived comparison?

Answer 2

您必须在 Derived 实现中键入检查参数是否具有预期的类型。

对于运算符，您可能更喜欢定义一个虚拟标准方法，然后通过调用此方法来实现您的运算符。这样可以避免对操作员产生意外或太大的签名。

struct Base {
  virtual int compare(const Base& source) const { return 0; }

  bool operator ==(const Base& source) const
    { return compare(source) == 0; }
};

struct Derived : Base {
  int compare(const Base& asource) const override
    { const Derived* source = dynamic_cast<const Derived*>(&asource);
      int result = -2;
      if (source) { ... result = ...; }
      return result;
    }

  // redefinition to force the expected/right signature at this level
  bool operator==(const Derived& source) const
    { return compare(source) == 0; }
};