Question

我正在尝试覆盖子类中的虚拟比较运算符，但是我收到编译器错误，说派生类没有实现基类的虚拟运算符。

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

简化版如下：

pval = [1.0 - x for x in p]

有没有办法让我这样做，或者我是否必须在struct Base { virtual bool operator ==(const Base) const; }; struct Derived : Base { bool operator ==(const Derived) const { // implementation goes here } };实施中进行类型检查以确定它是否是正确的类型？

Answer 1

我感觉我的派生操作员这个事实没有使用基类＆＃39;参数类型。

确实如此。基类必须采用const 引用（以便它可以具有动态类型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实现中键入check，该参数具有预期的类型。

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

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; }
};

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

2 个答案: