C++のテンプレートをヘッダーファイルにのみ実装できるのはなぜ？理由を徹底解説

はじめに

C++でテンプレートを使っていると、「テンプレートの実装はヘッダーファイルに書かなければならない」というルールに直面することがあります。ソースファイル（.cpp）に分離して書こうとすると、リンクエラーになってしまう経験がある方も多いのではないでしょうか。

この記事では、その理由をコンパイラの動作の観点からわかりやすく解説します。

テンプレートのインスタンス化とは何か

C++では、テンプレートをインスタンス化すると、コンパイラは新しいクラスを生成します。このとき、テンプレート引数を記述していた箇所すべてが、実際に使用した型に置き換えられます。

例として、次のようなクラステンプレートを見てみましょう。

template<typename T> class MyClass {
    T foo;
    T myMethod(T arg1, T arg2) {
        // 実装
    }
};

そして、プログラム内のどこかでこのクラスを次のように使ったとします。

MyClass<int> x;

異なる型ごとに別々のクラスが作られる

コンパイラはこのコードに出会うと、渡された型引数（ここでは int）ごとに新しいクラスを作成します。つまり、異なるテンプレート引数を持つオブジェクトを3つ生成すれば、3つのクラスが作られることになります。これは概念的には、以下のように手動でクラスを書いた場合と同等です。

class MyClassInt {
    int foo;
    int myMethod(int arg1, int arg2) {
        // 実装
    }
};

MyClass<double> や MyClass<std::string> を使えば、それぞれ専用のクラスが同様に自動生成されます。

ヘッダーファイルへの実装が必要な理由

ここが重要なポイントです。コンパイラが上記のような「具体的な型に置き換えたクラス」を生成するためには、その文（インスタンス化のコード）に到達した時点で、クラステンプレートの定義とメソッドの実装にアクセスできる必要があります。

C++のコンパイルモデルでは、各翻訳単位（translation unit、通常は.cppファイル）が独立してコンパイルされます。もしテンプレートの実装が別のソースファイルに置かれていると、その翻訳単位からは実装の中身が見えません。

分離するとどうなるのか

• テンプレートの宣言だけが見えている状態では、コンパイラは int 版などの具現化（インスタンス化）を行うことができない
• 結果として、シンボルが未解決となり、リンクエラー（undefined reference）が発生する

これを避けるため、テンプレートの実装はヘッダーファイルに記述し、利用する側の翻訳単位から常に参照できるようにしておく必要があるのです。

まとめ

C++のテンプレートは「設計図」ではなく、実際に使われた時点で型ごとにコードを生成する仕組みです。そのため、インスタンス化の時点で完全な定義が必要となり、実装をヘッダーファイルに置くことが事実上必須となります。

なお、C++11以降では extern template による明示的なインスタンス化宣言や、明示的インスタンス化を活用することで、一部のケースでは実装をソースファイルに分離することも可能です。ただし、一般的には「テンプレートはヘッダーに書く」という原則を覚えておけば問題ありません。