抽象类类型...不允许，纯虚函数不被覆盖

Question

我想写几个类的小程序。

一等号：

class Number
{
public:
    virtual int compare(Number& a) = 0;
    virtual string toString() = 0;
    virtual void fillRandom() = 0;
};

继承自 Number 的第二类 Rational

class Rational:Number
{
public:
    int l;
    int m;
    Rational(int a, int b)
    {
        this->l = a;
        this->m = b;
    }
    int compare(Rational a){}   // here is the problem
    string toString(){}
    void fillRandom(){}
};

我明白为什么会出现这个错误，我有一个纯虚方法int compare(Number& a)，因此在所有子类中我必须有相同的方法。

但是，如果我将 compare 参数更改为 Number，如果不在 compare 中的某处将 Number 转换为 Rational，它将无法工作。

有没有什么方法可以在不强制转换的情况下做到这一点？或者最好的方法是什么？

Answer 1

首先，您需要有一些内容才能进行比较。这是什么？

a) Rational 是否只能与另一个 Rational 进行比较？或

b) 不知何故 Value(Rational()) 与 Value(OtherNumber())？在哪里

class OtherNumber : public Number
{
     // Some code here
}

如果是a，那么您需要考虑为什么将compare() 放入超类中。

如果是b，那么你需要抽象另一个函数，比如说

virtual long Value() const = 0;

并更改compare()，使其适用于Value()：

virtual int compare(const Number& a)
{
    // something about Value() and a.Value();
}

顺便说一句，通常比较函数是const 函数。那就是：

virtual int compare ( const Number& a ) const;

另外，请记住将Number 扩展为public，即

class Rational : public Number

否则你将失去多态行为。

Answer 2

您可以使用以下签名（在基类和派生类中）（将虚拟声明保留在基类中）：

int compare(const Number* a){}

所以基本上这个想法是使用指针而不是引用。这应该可以工作，您不必执行任何类型的转换来调用 compare 方法。

但是，使用上面的代码，您仍然必须在 compare 方法主体中将 Number 动态转换为 Rational。此外，您必须考虑到可以调用与 Number 的任何子类进行比较，并且您可能对此行为不感兴趣。因此，您必须添加一些检查以确保您正在与不兼容的类进行比较。