如何使用被覆盖函数中的子类引用覆盖纯虚函数

Question

所以我在派生类中重写纯虚函数时遇到了问题。 类的实现和声明如下所示：

class Base{
private:
   size_t id;
public:
   virtual bool isEqual(const Base& src) const =0;
};

class Derived: public Base{
private:
    string str;
public:
    virtual bool isEqual(const Derived& src) const override
    {
        return (this->str == src.str);
    }
};

所以当我像这样实现它时，它会遇到编译器错误，例如

member function declared with 'override' does not override a base class member function

能否请您告诉我如何才能做到这一点，并解释一下为什么我的版本不起作用。提前致谢！

Answer 1

您不能以这种方式更改函数签名 - 请阅读 co- and contravariance 了解详细信息以及为什么 C++ 不允许函数 参数（允许协变返回类型）。

另一方面，如果通过对基的引用来引用另一个对象，则根本不会调用覆盖（实际上是：重载！）函数：

Derived d1;
Derived d2;
Base& b2 = d2;

d1.isEqual(b2); // how do you imagine the derived version to get called now???

解决方案的关键是dynamic_cast：

struct Base
{
    virtual ~Base() { }
    virtual bool operator==(Base const& other) = 0;
};

struct Derived : Base
{
    bool operator==(Base const& other) override
    {
        auto o = dynamic_cast<Derived const*>(&other);
        return o && o->str == this->str;
    }
};

请注意，我将函数重命名为operator==；这在 C++ 中要自然得多。有了它，您可以在上面的示例中与：

bool isEqual = d1 == b2;

编辑：

老师告诉我们不能重载运算符

好吧，那么只需恢复重命名...实际上，运算符与其他任何函数一样普通，只是调用语法不同（实际上：存在替代变体，您也可以始终调用 d1.operator ==(d2) )。

Answer 2

多态的原理是Derived是Base。如果你想重写一个函数，签名必须相同。

解决问题的正确方法是将覆盖定义为：

bool Derived::isEqual(const Base & src) const
{
    try
    {
        Derived & d = dynamic_cast<Derived &>(src);
        return (this->str == d.str);
    }
    catch(const std::bad_cast & e)
    {
        // src is not a Derived
        return false;
    }
}

---

如果你想使用指针，你可以这样做：

bool Derived::isEqual(const Base * src) const
{
    const Derived * d = dynamic_cast<const Derived*>(src);

    if(d == nullptr) // src is not a Derived*
        return false;
    else
        return (this->str == d->str);
}

当然，它假定您在 Base 中有一个匹配的定义要覆盖。

---

_{@Aconcagua 提供的解决方案以更优雅的方式使用了相同的想法。我建议改用他的解决方案。}