C++エラー「cannot declare variable to be of abstract type」の原因と解決策

2026年5月21日

エラー解決

C++で開発を進めている際、コンパイル時に「error: cannot declare variable ‘x’ to be of abstract type ‘Y’」というメッセージが表示され、ビルドが止まってしまうことがあります。

このエラーは、オブジェクト指向プログラミングにおける抽象クラス（Abstract Class）の性質を正しく理解し、実装に反映できていない場合に発生します。

特に大規模なプロジェクトや、多重継承を利用した複雑なクラス構造においては、どの関数が原因で抽象クラスと判定されているのかを見失いがちです。

本記事では、このエラーが発生する根本的な原因から、具体的なコードを用いた解決策、そして最新のC++規格における注意点まで詳しく解説します。

目次 [ close ]

抽象クラスと純粋仮想関数の基本概念

まず、エラーメッセージに含まれる「abstract type（抽象型）」が何を指すのかを整理しましょう。

C++において抽象クラスとは、少なくとも1つの純粋仮想関数（Pure Virtual Function）を持つクラスを指します。

純粋仮想関数は、クラス宣言内で「virtual 戻り値の型関数名(引数) = 0;」と記述される関数のことです。

抽象クラスは、それ自体が具体的な実体を持つことを想定しておらず、継承先の派生クラスで具体的な処理を定義するための「設計図」の役割を果たします。

そのため、C++の言語仕様として、抽象クラスを直接変数として宣言（インスタンス化）することは禁止されています。

このルールに抵触したときに、コンパイラは「cannot declare variable … to be of abstract type」というエラーを返します。

エラーが発生する代表的なケース

このエラーに遭遇するケースは、大きく分けていくつかのパターンに分類できます。

それぞれの状況を正しく把握することで、デバッグの時間を大幅に短縮することが可能です。

1. 派生クラスで純粋仮想関数を実装し忘れている

最も一般的な原因は、基底クラスで定義された純粋仮想関数を、継承した派生クラスでオーバーライド（再定義）していないことです。

基底クラスにある純粋仮想関数のうち、1つでも実装が漏れていると、その派生クラスもまた「抽象クラス」として扱われます。

2. シグネチャの不一致によるオーバーライド失敗

関数名が正しくても、引数の型や数、あるいはconst修飾子の有無が基底クラスと異なっている場合です。

この場合、コンパイラは「新しい別の関数」が定義されたと解釈し、基底クラスの純粋仮想関数は未実装のまま残ってしまいます。

3. スペルミスやタイポ

単純な名前の打ち間違いにより、オーバーライドが成立していないケースも意外と多く見られます。

具体的なエラーコードの例

実際にエラーが発生するコードの例を見てみましょう。

以下のコードでは、動物を表す抽象クラス Animal を定義していますが、派生クラス Dog で実装に不備があります。

C++

// 抽象クラスの定義
class Animal {
public:
    // 純粋仮想関数
    virtual void makeSound() = 0;
    
    virtual ~Animal() {}
};

// 派生クラスの定義
class Dog : public Animal {
public:
    // ここで makeSound() を実装していない、あるいは名前を間違えている
    void makeSounds() { // 's' が余計についている
        // 処理
    }
};

int main() {
    // Dog クラスに未実装の純粋仮想関数があるためエラー
    Dog myDog; 
    return 0;
}

このコードをコンパイルしようとすると、以下のようなエラーメッセージが出力されます。

実行結果

error: cannot declare variable 'myDog' to be of abstract type 'Dog'
note:   because the following virtual functions are pure within 'Dog':
note:       virtual void Animal::makeSound()

コンパイラの親切なメッセージにより、Animal::makeSound() が実装されていないことが明確に示されます。

エラーを解消するための解決策

エラーを解決するためには、未実装となっている純粋仮想関数を特定し、正しくオーバーライドする必要があります。

解決策1：すべての純粋仮想関数を実装する

派生クラスにおいて、基底クラスで = 0 と宣言されているすべての関数に対して具体的な定義を記述します。

解決策2：override キーワードを活用する

C++11以降では、override 指定子を使用することが強く推奨されています。

override を付けることで、意図した関数が基底クラスの仮想関数を正しく上書きしているかをコンパイラがチェックしてくれます。

もしシグネチャが異なっていれば、その時点で別のエラー（オーバーライド対象が見つからないエラー）として報告されるため、抽象クラスエラーの原因特定が容易になります。

C++

class Dog : public Animal {
public:
    // overrideを指定することで、基底クラスに同名の仮想関数があることを保証する
    void makeSound() override {
        // 正しい実装
    }
};

解決策3：ポインタや参照を利用する

もし、特定のクラスをインスタンス化したいのではなく、ポリモーフィズム（多態性）を利用したいだけなのであれば、変数の型をポインタや参照に変更することを検討してください。

抽象クラスそのものの変数は作れませんが、抽象クラスを指すポインタや参照を宣言することは可能です。

C++

// これはOK（具体的な派生クラスのインスタンスを指す）
Animal* animalPtr = new Dog();
animalPtr->makeSound();

複雑な継承構造における注意点

複数のクラスを継承している場合や、継承が何段階にもわたる場合、問題の切り分けが難しくなります。

インターフェースの分離

一つの抽象クラスにあまりにも多くの純粋仮想関数を詰め込みすぎると、派生クラスの実装負荷が高まり、今回のエラーが発生しやすくなります。

これを防ぐためには、インターフェース分離の原則（ISP）に従い、必要最小限の機能ごとに抽象クラスを分割することが有効です。

vtable の仕組みを意識する

C++の仮想関数は vtable（仮想関数テーブル） という仕組みで管理されています。

コンパイラがオブジェクトを生成しようとする際、そのクラスの vtable が完成している（すべての純粋仮想関数のスロットが埋まっている）必要があります。

エラーが出たときは、「どのスロットが空のままなのか」を意識すると構造が整理しやすくなります。

まとめ

C++における「cannot declare variable to be of abstract type」というエラーは、抽象クラスのインスタンス化を試みた際に発生する基本的な制約です。

この問題の核心は、基底クラスで定義された純粋仮想関数のうち、どれかが派生クラスで正しくオーバーライドされていないことにあります。

解決のためには、コンパイラの「note」メッセージを注意深く読み、不足している実装を特定しましょう。

また、実装ミスを防ぐために override 指定子を常に使用し、設計段階でクラスの責務を適切に分割することが重要です。

抽象クラスとインターフェースを正しく使いこなすことは、堅牢で拡張性の高いC++プログラムを書くための第一歩となります。