導入
C++でオブジェクト指向設計を行う際、仮想関数(virtual)による動的ポリモーフィズムは非常に強力ですが、実行時のオーバーヘッド(vtable参照や間接呼び出し)が無視できない場合があります。特に、ハイパフォーマンスが求められるライブラリ開発や組み込み分野では、このわずかな遅延が問題になることも少なくありません。本日は、コンパイル時の解決によって関数呼び出しコストを実質ゼロにする CRTP(Curiously Recurring Template Pattern) について解説します。
基礎知識
CRTPとは「奇妙に再帰的なテンプレートパターン」の略称で、自分自身をテンプレート引数として継承する手法のことです。
通常、基底クラスは派生クラスのことを知りませんが、CRTPを用いることで基底クラスから派生クラスのメンバーにアクセスできるようになります。また、C++の規格上、基底クラスのポインタを派生クラスへキャストすることは、その型が確定している限り安全であると定義されています。これを利用して、コンパイル時に型を確定させ、柔軟な設計と高速な実行速度を両立させます。
実装/解決策
CRTPの核となるのは static_cast
サンプルプログラム
以下のコードは、CRTPを用いてインターフェースの強制と実装の高速化を実現する例です。そのままコンパイルして動作を確認できます。
include
// CRTP基底クラス
template
struct Base {
void interface() {
// コンパイル時にDerived型へキャストして呼び出す
// 仮想関数ではないため、インライン展開の対象となりやすい
static_cast
}
};
// 派生クラス
struct Derived : Base
void impl() {
std::cout << "Derived::impl() が呼び出されました!" << std::endl;
}
};
int main() {
Derived d;
d.interface(); // 基底クラス経由で派生クラスの処理が実行される
return 0;
}
応用・注意点
CRTPを実装する上で最も重要な注意点は、基底クラスの設計です。基底クラス側で派生クラスのメソッドを呼び出すため、派生クラス側に該当するメソッド(上記の例では impl())が定義されていないと、コンパイルエラーが発生します。
また、Strict Aliasing ルール(厳密なエイリアスルール)への懸念を抱く方もいるかもしれませんが、CRTPで用いられる `static_cast` は、オブジェクトのライフサイクルと型が一致していることが保証されているため、未定義動作にはなりません。現場で活用する際は、インターフェースを統一するために、基底クラス内に「派生クラスで実装すべきメソッド」を明文化したドキュメントや、C++20以降であれば Concepts を利用して制約をかけると、より堅牢なコードになります。

コメント