C++での継承とポインタ

Question

私はこのコード例を持っています。なぜこのように動作するのか理解したいと思います。これは、イントロのC++コースでの過去の試験論文の質問です。私は今、試験のために勉強しており、クラスの継承についての私の理解を固めようとしています。

#include <iostream> 
using namespace std; 

class Bird { 
    public: 
    virtual void noise() { cout << "mumble" << endl; } 
    void move() { noise(); cout << "fly" << endl; } 
}; 

class Canary: public Bird { 
    public: 
    void noise() { cout << "chirp" << endl; } 
    void move() { noise(); cout << "flap" << endl; } 
}; 

class Tweety: public Canary { 
    public: 
    void noise() { cout << "tweet" << endl; } 
    void move() { noise(); cout << "run" << endl; } 
}; 

int main() { 
    Canary *yellow = new Tweety(); 
    yellow->noise(); 
    yellow->move(); 
    return 0; 
} 

私はこのコードを実行した、出力は次のとおりです。

つぶやき つぶやき、それはノイズ（）のトゥイーティー実装を呼び出している意味 フラップ

、それが呼び出していますCanary move（）の実装。私はそれについて混乱している。私は多態性の考え方を理解しており、noise（）は仮想的なものなので、*は黄色がTweetyへのポインタなので、Tweetyバージョンを呼び出すのが理にかなっています。しかし、それはなぜCanary版のmove（）を呼びますか？

Canary *yellow = new Tweety(); 

これは*黄色はトゥイーティーのオブジェクトを指すポインタカナリア、であることを言う：

は、私は私を混乱させているもの、ラインだと思います。私は基本クラスのポインタが派生クラスを指すことができるので、私はそれで大丈夫です。しかし、黄色はTweetyを指すので、なぜTweetyの移動を使用しないのですか？

ご協力いただきありがとうございます。

Answer 1

move()もvirtualである必要があります。それ以外の場合は、ポインタ型のバージョンが呼び出されます。

Answer 2

noiseは仮想なので、呼び出すときにTweetyの実装に動的にディスパッチされます。

move仮想ではないので、コールするバージョンは、コールスルーをディスパッチしているタイプに基づいてコンパイル時に決定されます。 yellowはCanaryなので、コンパイラはコンパイル時に呼び出されるものを解決し、Canaryのmoveメソッドを明示的に呼び出します。

Answer 3

ショーンとアレックスが出演しています。

さまざまなシナリオを理解するのに役立つコールケースがいくつかあります。

#include <iostream> 
using namespace std; 

class Bird { 
    public: 
    virtual void noise() { cout << "mumble" << endl; } 
    void move() { noise(); cout << "fly" << endl; } 

    void noise2() { cout << "mumble2" << endl; } 
    virtual void move2() { noise2(); cout << "fly2" << endl; } 
}; 

class Canary: public Bird { 
    public: 
    void noise() { cout << "chirp" << endl; } 
    void move() { noise(); cout << "flap" << endl; } 

    void noise2() { cout << "chirp2" << endl; } 
    void move2() { noise2(); cout << "flap2" << endl; } 
}; 

class Tweety: public Canary { 
    public: 
    void noise() { cout << "tweet" << endl; } 
    void move() { noise(); cout << "run" << endl; } 

    void noise2() { cout << "tweet2" << endl; } 
    void move2() { noise2(); cout << "run2" << endl; } 
}; 

int main() { 
    Canary *yellow = new Tweety(); 
    yellow->noise(); 
    yellow->move(); 
    yellow->noise2(); 
    yellow->move2(); 
    return 0; 
} 

/* OUTPUT: 
tweet <- virtual dispatch 
tweet <- virtual dispatch, via Bird::move() 
flap  <- direct call 
chirp2 <- direct call 
tweet2 <- direct call, from Tweety::move2() 
run2  <- virtual dispatch 
*/