動的ディスパッチの例

ウィキペディア小見出し辞書

動的ディスパッチの例

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/10/09 14:56 UTC 版)

「ダイナミックバインディング」の記事における「動的ディスパッチの例」の解説

C++では以下のように仮想関数を派生クラスにてオーバーライドすることで、実際に呼び出される関数の実体をオブジェクトの型に応じて実行時に選択することができる。これを動的ディスパッチと呼ぶ。 #include class Base {public: // 基底クラスにて virtual 指定を外すと、動的ディスパッチではなくなる。 virtual void MemberFunc() { std::cout << "Base::MemberFunc() is called." << std::endl; }};class Derived : public Base {public: // 派生クラスでの virtual 指定の有無は、オーバーライドとは無関係。 // C++11 規格以降は override キーワードを後置することで、正しくオーバーライドされているかどうかコンパイラにチェックさせることもできる。 virtual void MemberFunc() { std::cout << "Derived::MemberFunc() is called." << std::endl; }};// Base クラスから派生していない型のインスタンスを Base& で受け取ることはできない。コンパイラの静的な型チェックによりエラーとなる。// つまり、MemberFunc() の存在有無は静的に検証される。void CallMemberFunc(Base& obj) { obj.MemberFunc();}int main() { Base b; CallMemberFunc(b); Derived d; CallMemberFunc(d); // Base& で受け取って MemberFunc() を呼び出しているが、実際に呼ばれるのは Derived::MemberFunc() のほう。} 仮想関数テーブルを利用した動的ディスパッチは、前述のように事前バインディングの一種であり、真の意味での動的バインディング／遅延バインディングとは異なる。しかし、動的ディスパッチの意味でこれらの用語が使われていることもある。