基本C++の代わりに導出関数が呼び出される

Question

2番目の呼び出しで、以下のコードで基本クラスのメソッドが呼び出されるのはなぜですか？

基本クラス：

class Number{ 

     public: 
     Number(){}  

     virtual print(){cout<<"Number"<<endl;} 
     virtual bool isEqual (Number* number){ cout<<"Base class"<<endl;} 
}; 

派生クラス：

class Int: public Number{ 
    int member; 
    public: 
     Int(int number){ member =number; } 

     int get Number(){ return member; } 
     print(){ cout<<"member"<<endl;} 
     bool isEqual(Int* number){ return member == number->getNumber(); } 
}; 

主な機能：ところで

int main(){ 
Int i1(3); 
Int i2(4); 

Number* nPtr = &i1; 

nPter->print(); /// prints 3 
nPter->isEqual(&i2); /// "Base class" 

... 

：

i1.isEqual(&i2); /// prints 0 -- works fine 

Answer 1

bool(Int*)はbool(Number*)と同じタイプではないため、Int::isEqualの機能はではなく、の無効化Number::isEqualではなく完全に別個の機能です。

ちょっと考えてみてください。試行されたオーバーライドは意味をなさない：あなたの派生クラスは制約付きの引数を期待しているが、基底関数のパラメータの制約は少ない！あなたが望むものが許可されている場合、nPtr->isEqualはと呼ばれ、派生クラスはサポートしていないポインタNumberポインターを呼び出すことができました。

---

_{正しい質問は共変戻り値の型が、反変パラメータのためになります。しかし、C++では、反復的なパラメータオーバーライドは許可されていません。}