《その202》仮想関数のいちばん基礎的な部分のおさらい: C++，C++/CX に挑戦！

2017年12月25日

《その202》仮想関数のいちばん基礎的な部分のおさらい

　仮想関数に関する、いちばん基礎的な事項を、
下記の２つのプログラムとプログラム中の注記でおさらいしてみました　•̀д•́;)/

①【仮想関数の利用無し】の場合

// ------------------------------------
#include <iostream>
using namespace std;

/* 基底クラス */
class Aaa {
    int a;
public:
    Aaa(int x = 10) : a(x) { }
    void get() { cout << a << '\n'; }
};

/* 派生クラス（クラス Aaa を public継承） */
class Bbb : public Aaa {
    int b;
public:
    Bbb(int x = 20, int y = 99)
        : Aaa(x), b(y) { }
    void get() { cout << b << '\n'; }
    // 基底クラスの get と関数名が同じなので、
    //         基底クラスの get は隠蔽される。
};

int main()
{
    Bbb bbb;
    // Bbb型オブジェクト bbb を生成。

    Aaa& ref = bbb;
    // クラス Bbb は多相的クラスではないので、
    //      ref は bbb への静的な Aaa&型参照。

    ref.get();          // 20 が表示される。

    bbb.get();          // 99 が表示される。
    // 基底クラスの get は隠蔽されているので、
    //          派生クラス内で定義された get
    //          が呼び出される。

    bbb.Aaa::get();     // 20 が表示される。
    // 基底クラス Aaa から継承した get関数に
    //                              アクセス。
}
// ------------------------------------

②【仮想関数の利用有り】の場合

// ------------------------------------
#include <iostream>
using namespace std;

/* 基底クラス */
class Aaa {
    int a;
public:
    Aaa(int x = 10) : a(x) { }
     virtual void get() { cout << a << '\n'; }
     // virtual を付けて仮想関数にする。
     //      クラス Bbb の 関数 get も自動的
     //      に仮想関数になる。
     // クラス Aaa, Bbb は、仮想関数をメンバ
     //      として持つので､多相的クラスです。
};

/* 派生クラス（クラス Aaa を public継承） */
class Bbb : public Aaa {
    int b;
public:
    Bbb(int x = 20, int y = 99)
        : Aaa(x), b(y) { }
    void get() { cout << b << '\n'; }
    // 基底クラスの get と関数名・仮引数が同
    //      じ関数を、派生クラス内で定義。
    //      このことを、｢オーバライドする｣と
    //      表現します。
    //      オーバライドした関数は､
    //      オーバライダと呼ばれます。
};

int main()
{
    Bbb bbb;
    // Bbb型オブジェクト bbb を生成。

    Aaa& ref = bbb;
    // クラス Bbb は多相的クラスなので、
    //    Aaa&型参照 ref の動的な型は Bbb&型。

    ref.get();          // 99 が表示される。

    bbb.get();          // 99 が表示される。
    // 基底クラスの get は隠蔽されているので、
    //          派生クラス内で定義された get
    //          が呼び出される。

    bbb.Aaa::get();     // 20 が表示される。
    // 基底クラス Aaa から継承した get関数に
    //                              アクセス。
}
// ------------------------------------