トップ->C++入門

あなたは

人目のC++(C)言語入門受講生です。

C++入門内検索

目次
C++入門〜トップ
C言語入門〜トップ
0. はじめに

1. オブジェクト指向とは？
　　　1. オブジェクト指向とクラス
　　　2. 継承
　　　3. カプセル化
　　　4. ポリモーフィズム

2. ストリーム
　　　1. 出力
　　　2. マニピュレータ
　　　3. 入力
　　　4. ファイル
　　　5. 練習問題1
　　　6. 文字列
　　　7. 練習問題2

3. C++の新しい文法
　　　1. 新しい型bool
　　　2. デフォルト引数
　　　3. newとdelete
　　　4. 参照型
　　　5. const
　　　6. 変数の宣言
　　　7. 例外
　　　8. オーバーロード
　　　9. テンプレート関数
　　　10. 名前空間

4. クラス
　　　1. クラスとは
　　　2. クラスの宣言
　　　3. クラスの実装
　　　4. コンストラクタとデストラクタ
　　　5. クラスの使用法
　　　6. 例題）スタッククラス
　　　7. テンプレートクラス
　　　8. 練習問題
　　　9. 参照型
　　　10. 代入演算子
　　　11. コピーコンストラクタ
　　　12. 構造体
　　　13. メンバー変数の初期化
　　　14. 内部クラス
　　　15. 無名クラス
　　　16. 無名共用体
　　　17. 演算子の作り方
　　　18. friend
　　　19. 練習問題
　　　20. クラス変数(静的変数)
　　　21. 静的関数
　　　22. クラスと関数ポインタ

5. クラスの包含
　　　1. 包含とは
　　　2. クラスの作成・破壊
　　　3. メンバーイニシャライザ
　　　4. ポインタによる包含
　　　5. 参照による包含
　　　6. 練習問題

6. 継承
　　　1. 継承とは
　　　2. スーパークラスのコンストラクタ
　　　3. 継承とキャスト
　　　4. スコープ
　　　5. クラスの作成・破壊
　　　6. 派生の種類
　　　7. 仮装関数
　　　8. 純粋仮装関数
　　　9. 仮装デストラクタ
　　　10. 例題）例外クラス
　　　11. V-table(VF-table)
　　　12. 例題）お絵かきソフト
　　　13. 継承と包含
　　　14. 多重継承
　　　15. 多重継承の用途
　　　16. 仮想クラス
　　　17. 実行時型情報(RTTI)
　　　18. dynamic_cast

7. STL
　　　1. STLとは
　　　2. STLの歴史
　　　3. STLの構成
　　　4. コンテナ
　　　5. vector
　　　6. イタレーター
　　　7. クラスとSTL
　　　8. list
　　　9. queue
　　　10. deque
　　　11. priority_queue
　　　12. stack
　　　13. map
　　　14. mutimap
　　　15. set
　　　16. multiset
　　　17. bitset
　　　18. アルゴリズム
　　　19. basic_string
　　　20. コンテナを作ろう
　　　21. アルゴリズムを作ろう
　　　22. 配列とアルゴリズム

8. その他
　　　1. 変数名について

9. その後は
　　　1. ヒューマンアカデミー C言語講座
　　　2. el school C言語講座

・ トップページに戻る



・ トップページに戻る

トップ-> C++入門：6章 継承-> 仮想関数

←前ページへ　:　 トップへ　:　 次ページへ→
7. 仮想関数

　　基底クラスの関数を派生クラスで書き換える(横取りする、上書きする)ことをオーバーライド と言う。つまり基底クラスのある関数と同じ名前、同じ引数、同じ戻り値で、中身の違う 関数を派生クラスで定義することを言う。仮想関数とは、オーバーライドをするための メカニズムである。つまり基底クラスの動作または機能をあとから作成した派生クラスに よってカスタマイズする手段を提供する。

　　メンバー関数の定義中に、戻り値の型の前に「virtual」というキーワードを付することにより、 その関数は仮想関数となる。以下に簡単な例を示す。

仮想関数非仮想関数
// 親クラス
class Base{
public:
    virtual void func(){
        cout << "Base::func" << endl;
    }
};

// 子クラス
class Deriv : public Base{
public:
    virtual void func(){
        cout << "Deriv::func" << endl;
    }
};

void main(){
    Base  base;
    Deriv deriv;

    base.func();
    deriv.func();
}

// 親クラス
class Base{
public:
    void func(){
        cout << "Base::func" << endl;
    }
};

// 子クラス
class Deriv : public Base{
public:
    void func(){
        cout << "Deriv::func" << endl;
    }
};

void main(){
    Base  base;
    Deriv deriv;

    base.func();
    deriv.func();
}

Base::func
Deriv::func

Base::func
Deriv::func

　　上記の例は簡単な例で、インスタンスを通じて関数を呼び出した場合である。 インスタンスを通じて関数を呼び出す場合、「virtual」を付けても付けなくても 動作は変わらない。

　　仮想関数の効果が発揮されるのは、ポインタを通じて関数を呼び出す場合や、 参照を通じて関数を呼び出す場合である。
仮想関数非仮想関数
// 親クラス
class Base{
public:
    virtual void func(){
        cout << "Base::func" << endl;
    }
};

// 子クラス
class Deriv : public Base{
public:
    virtual void func(){
        cout << "Deriv::func" << endl;
    }
};

void main(){
    Base*  pBase1 = new Base();
    Base*  pBase2 = new Deriv();
    Deriv* pDeriv = new Deriv();

    pBase1->func();
    pDeriv->func();
    pBase2->func();

    delete pBase1;
    delete pBase2;
    delete pDeriv;
}

// 親クラス
class Base{
public:
    void func(){
        cout << "Base::func" << endl;
    }
};

// 子クラス
class Deriv : public Base{
public:
    void func(){
        cout << "Deriv::func" << endl;
    }
};

void main(){
    Base*  pBase1 = new Base();
    Base*  pBase2 = new Deriv();
    Deriv* pDeriv = new Deriv();

    pBase1->func();
    pDeriv->func();
    pBase2->func();

    delete pBase1;
    delete pBase2;
    delete pDeriv;
}

Base::func
Deriv::func
Deriv::func

Base::func
Deriv::func
Base::func

　　基底クラスであるBaseポインタ型に、派生クラスであるDerivをnewした場合(pBase2)を 見てください。非仮想関数の場合は、Baseクラスのfunc関数が呼ばれています。これは ポインタがBaseクラスのポインタだからです。(その中身がBaseクラスだろうが、Derivクラス だろうが関係なくポインタの型であるBaseのfunc関数が呼ばれます。)

　　それに対して仮想関数では、ポインタが基底クラスであるBaseクラスののポインタである にも関らず、その中身が派生クラスであるので、Derivクラスのfunc関数が呼び出されています。

　　非仮想関数では、実態が派生クラスだろうが基底クラスだろうが、その入れ物を示す ポインタや参照の型を見て、コンパイラがどちらのクラスの関数を呼び出すかを決めます。 これを静的結合といいます。

　　これに対して仮想関数では、コンパイラがどちらのクラスの関数を呼び出すのか決める のではなく、実行時にポインタや参照が、その実態は派生クラスなのか基底クラスなのかを調べ、 動的にどちらの関数を呼び出すかを決定します。これを動的結合といいます。なお、 動的結合のメカニズムは後述します。

// 親クラス
class Base{
public:
    virtual void func(){
        cout << "Base::func" << endl;
    }
    virtual void func2(){
        cout << "Base::func2" << endl;
    }
};

// 子クラス
class Deriv : public Base{
public:
    virtual void func(){
        cout << "Deriv::func" << endl;
    }
    virtual void func2(){
        Base::func2();     // 親クラスのfunc2を呼び出す
        cout << "Base::func2" << endl;
    }
};

void main(){
    Base*  pBase = new Deriv();

    base->func();
    base->Base::func();

    cout << endl;
    base->func2();

    delete pBase;
}

Deriv::func
Base::func

Base::func2
Deriv::func2

　　また、派生クラスの仮想関数から親クラスの関数を呼び出すことも可能である。さらに、 スコープ演算子「::」を利用することにより、明示的に基底クラスの関数を呼び出すことも 可能である。(この場合は静的結合になる。)

　　なお、基底クラスの関数が仮想関数の場合、その派生クラスでオーバーライドする 関数に「virtual」を付けなくても、自動的にその関数も仮想関数となる(上記の例では Derivクラスのfunc関数)。しかし、一般的に省略せずに、派生クラスでも「virtual」を 付ける場合が多い。


←前ページへ　:　 トップへ　:　 次ページへ→