C++の純粋仮想関数が「= 0」で宣言される理由を徹底解説

C++において、純粋仮想関数（Pure Virtual Function）が = 0 で初期化されるのは、特別な技術的な意味があるわけではなく、単に「この関数は純粋仮想である」ということをコンパイラに伝えるための構文にすぎません。

純粋仮想関数とは？

純粋仮想関数とは、C++における仮想関数の一種で、基底クラス側では関数の定義（実装）を書かず、宣言だけを行う関数のことです。宣言時に = 0 を代入することで、純粋仮想関数として宣言されます。

純粋仮想関数を1つ以上持つクラスは「抽象クラス」と呼ばれ、直接インスタンス化することはできません。派生クラスは、この純粋仮想関数を必ずオーバーライドして実装する必要があります。

サンプルコード

以下は、C++プログラムにおける純粋仮想関数の使用例です。

#include<iostream>
using namespace std;

class B {
public:
    virtual void s() = 0; // 純粋仮想関数
};

class D : public B {
public:
    void s() {
        cout << " Virtual Function in Derived class\n";
    }
};

int main() {
    B *b;
    D dobj;
    b = &dobj;
    b->s();
}

実行結果

Virtual Function in Derived class

コードのポイント

virtual void s() = 0; のように、関数本体を持たずに = 0 を付けることで、この関数が純粋仮想関数であることを示しています。クラス B は抽象クラスとなるため、B b; のようなオブジェクト生成はできませんが、ポインタや参照として利用することは可能です。

上記の例では、基底クラスのポインタ b を通じて、派生クラス D のオーバーライドされた関数が呼び出されており、多態性（ポリモーフィズム）が正しく機能していることがわかります。