「仮想関数」の版間の差分

2016年1月14日 (木) 15:18時点における最新版

仮想関数は、派生クラス(サブクラス)で再定義されるメンバ関数です。再定義されなくても構いません。基底クラス(スーパークラス)へのポインタや参照を使用して、派生クラスのオブジェクトを参照する場合でも、そのオブジェクトの仮想関数を呼び出し、派生クラスのバージョンの関数が実行できます。基底クラスの関数がメンバ関数を呼び出す場合に呼び出す関数が仮想関数であれば、サブクラスで上書きされている場合、派生クラスのメンバが呼び出されます。

読み方

仮想関数

かそうかんすう

概要

仮想関数 を用いない場合、ポインタの型のメンバが呼び出されます。 仮想関数 を使用したときは、派生クラスのポインタを基底クラスのポインタで受け取っても、派生クラスのメンバ関数を呼び出します。

クラスを継承する場合には、デストラクタを仮想関数として定義する必要があります。継承と仮想デストラクタをご参照ください。

継承の例

ソースコード extends_0.cpp

#include <iostream>
using namespace std;
 
class B {
        public:
                void x() {
                        f();
                }
                void f() {
                        cout << __PRETTY_FUNCTION__ << endl;
                }
};
 
class C1 : public B {
        public:
                void f() {
                        cout << __PRETTY_FUNCTION__ << endl;
                }
};
 
int
main(int argc, char const* argv[])
{
        C1 c1;
 
        c1.x();
        c1.f();
 
        return 0;
}

コンパイル

c++  extends_0.cpp -o extends_0

実行例

クラス Bのx()は、f()を呼び出しています。 Bを継承したC1は、f()をオーバーライドしています。

C1のインスタンスc1のxを呼び出すと、基底クラスのf()を呼び出しています。 c1のf()を呼び出すとC1のf()が呼び出されます。

このように、メンバ関数をオーバーライドしても親クラスの関数に影響していません。

% ./extends_0
void B::f()
void C1::f()

仮想関数の例

親クラスの関数が呼び出している関数をオーバーライドしても、親クラスの関数を呼び出すとオーバーライドした関数を呼び出せませんでした。 一部の関数の機能変更をしたいときに、これでは、たくさん書き換えないといけなくなってしまいます。

そこで、継承してオーバーライドして拡張しやすくするには、基底クラスのメンバ関数を仮想関数にします。

ソースコード virtual_2.cpp

#include <iostream>
using namespace std;
 
class B {
        public:
                void x() {
                        f();
                }
                virtual void f() {
                        cout << __PRETTY_FUNCTION__ << endl;
                }
};
 
class C1 : public B {
        public:
                void f() {
                        cout << __PRETTY_FUNCTION__ << endl;
                }
};
int main(int argc, char const* argv[])
{
        C1 c1;
 
        c1.x();
 
        return 0;
}

コンパイル

c++  virtual_2.cpp -o virtual_2

実行例

B の仮想関数 f()は、C1 でオーバーライドしています。 C1 は、基底クラスの x() を呼び出すと、 x()は、C1 でオーバーライドした関数を呼び出しました。

% ./virtual_2
virtual void C1::f()

通常の継承の例

この例では、仮想関数を使用していません。

ソースコード extends_1.cpp

#include <iostream>
using namespace std;
 
class B {
        public:
                void f() {
                        cout << __PRETTY_FUNCTION__ << endl;
                }
};
 
class C1 : public B {
        public:
                void f() {
                        cout << __PRETTY_FUNCTION__ << endl;
                }
};
int main(int argc, char const* argv[])
{
        B b;
        C1 c1;
 
        B *p;
 
        p = &b;
        p->f();
        p = &c1;
        p->f();
 
        return 0;
}

コンパイル

c++  extends_1.cpp -o extends_1

実行例

クラス B と C1 は、両方とも基底クラスのf()を呼び出しています。

% ./extends_1
void B::f()
void B::f()

仮想関数の例

ソースコード virtual_1.cpp

#include <iostream>
using namespace std;
 
class B {
        public:
                virtual void f() {
                        cout << __PRETTY_FUNCTION__ << endl;
                }
};
 
class C1 : public B {
        public:
                void f() {
                        cout << __PRETTY_FUNCTION__ << endl;
                }
};
int main(int argc, char const* argv[])
{
        B b;
        C1 c1;
 
        B *p;
 
        p = &b;
        p->f();
        p = &c1;
        p->f();
 
        return 0;
}

コンパイル

c++  virtual_1.cpp -o virtual_1

実行例

クラス B のポインタにC1のアドレスを渡して、f() を呼び出すと、C1のメンバ関数が呼び出されています。

% ./virtual_1
virtual void B::f()
virtual void C1::f()

継承と仮想関数とオーバーライドの関係

スーパークラスで定義されたメンバが仮想関数である場合と、そうでない場合でどの関数が呼び出されるのかの例です。

• クラス CV のメンバ関数 x が メンバの仮想関数 f を呼び出すなら, CV を継承してできた C1 で f をオーバーライドしても、x を呼び出したら スーパークラスの f が呼び出されます。
• クラス C のメンバ関数 x が メンバ関数 f を呼び出すなら, C を継承してできた C2 で f をオーバーライドすると、x を呼び出したら サブクラスの f が呼び出されます。

ソースコード virtual_3.cpp

#include <iostream>
using namespace std;
 
class CV {
        public:
                void x () {
                        f();
                }
 
                // 仮想関数
                virtual void f() {
                        cout << __PRETTY_FUNCTION__ << endl;
                }
};
 
class C1 : public CV {
        public:
                void f() {
                        cout << __PRETTY_FUNCTION__ << endl;
                }
};
 
class C {
        public:
                void x () {
                        f();
                }
                void f() {
                        cout << __PRETTY_FUNCTION__ << endl;
                }
};
 
class C2 : public C {
        public:
                void f() {
                        cout << __PRETTY_FUNCTION__ << endl;
                }
};
 
 
int
main(int argc, char const* argv[])
{
        C1 c1;
        C2 c2;
 
        c1.x();
        c2.x();
 
        return 0;
}

コンパイル

c++  virtual_3.cpp -o virtual_3

実行例

% ./virtual_3
virtual void C1::f()
void C::f()

関連項目

• 純粋仮想関数
• クラス
• 継承と仮想デストラクタ