абстрактный тип класса ... не разрешен, чистая виртуальная функция не переопределяется

Question

Я хочу написать небольшую программу с несколькими классами.

Первый номер класса:

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

Второй класс 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), таким образом, во всех подклассов I должен иметь тот же метод.

Но, если я изменяю compare аргумент Number, он не будет работать без литья номера в Rational где-то в compare.

Есть ли способ сделать это без литья? Или что это лучший способ сделать это?

Answer 1

Прежде всего, вам нужно иметь некоторый контент, чтобы сравнить. Что это?

a) Можно ли сравнить Rational с другим Rational? или

b) каким-либо образом Value(Rational()) vs Value(OtherNumber())? где

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

Если, то вам нужно подумать, почему вы положили compare() в супер класс.

Если б, то вам нужно абстрагировать другую функцию, скажет

virtual long Value() const = 0; 

и изменить compare() поэтому она работает на Value():

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

BTW, как правило, функция сравнения является const функция. То есть:

virtual int compare (const Number& a) const; 

Кроме того, не забудьте продлить Number с public, т.е.

class Rational : public Number 

В противном случае вы потеряете полиморфное поведение.

Answer 2

Вы можете использовать подпись ниже (как в базовых и производных классов) (сохранение виртуальной декларации в базе):

int compare(const Number* a){} 

Поэтому в основном идея заключается в том, чтобы использовать указатели вместо ссылки. Это должно работать, и вам не нужно выполнять какие-либо кастинги, чтобы вызвать метод сравнения.

Однако, с приведенным выше кодом вам все равно придется динамически отличать Номер в Rational в теге метода сравнения. Кроме того, вы должны принять во внимание, что можно вызвать сравнение с любым подклассом Number и, возможно, вас это не интересует. Поэтому вам нужно добавить несколько проверок, чтобы убедиться, что вы сравниваете их с несовместимым классом.