Curiously Recurring Template Pattern

 

C++

コンパイラサポート

フリースタンディングとホスト

言語

標準ライブラリ

標準ライブラリヘッダー

名前付き要件

機能テストマクロ (C++20)

言語サポートライブラリ

コンセプトライブラリ (C++20)

診断ライブラリ

メモリ管理ライブラリ

メタプログラミングライブラリ (C++11)

汎用ユーティリティライブラリ

コンテナライブラリ

イテレータライブラリ

Rangesライブラリ (C++20)

アルゴリズムライブラリ

文字列ライブラリ

テキスト処理ライブラリ

数値ライブラリ

日付と時刻ライブラリ

入出力ライブラリ

ファイルシステムライブラリ (C++17)

並行サポートライブラリ (C++11)

実行制御ライブラリ (C++26)

Technical specifications (技術仕様)

シンボルインデックス

外部ライブラリ

 

C++言語

全般
プリプロセッサ コメント	キーワード エスケープシーケンス
フロー制御
条件実行文
if	switch
繰り返し文 (ループ)
for 範囲for文 (C++11)	while do-while
ジャンプ文
continue - break	goto - return
関数
関数宣言
ラムダ式
inline指定子
動的例外仕様 (C++17まで*)
noexcept指定子 (C++11)
例外
throw式 tryブロック	catchハンドラ
名前空間
名前空間宣言	名前空間エイリアス
型
基本型 列挙型 関数型	クラス/構造体型 共用体型
指定子
const/volatile decltype (C++11) auto (C++11)	constexpr (C++11) consteval (C++20) constinit (C++20)
記憶域期間指定子
初期化
デフォルト初期化 値初期化 ゼロ初期化 コピー初期化 直接初期化	集成体初期化 リスト初期化 (C++11)   定数初期化 参照初期化

式
値カテゴリ 評価順序	演算子 演算子の優先順位
代替表現
リテラル
ブーリアン - 整数 - 浮動小数点数
文字 - 文字列 - nullptr (C++11)
ユーザー定義 (C++11)
ユーティリティ
属性 (C++11)
型
typedef宣言
型エイリアス宣言 (C++11)
キャスト
暗黙の型変換 static_cast const_cast	明示的な型変換 dynamic_cast reinterpret_cast
メモリ確保
new式	delete式
クラス
クラス宣言 コンストラクタ thisポインタ	アクセス指定子 friend指定子
クラス固有の関数プロパティ
仮想関数 override指定子 (C++11)   final指定子 (C++11)	explicit (C++11) static
特殊メンバ関数
デフォルトコンストラクタ コピーコンストラクタ ムーブコンストラクタ (C++11)	コピー代入 ムーブ代入 (C++11) デストラクタ
テンプレート
クラステンプレート 関数テンプレート	テンプレートの特殊化 パラメータパック (C++11)
その他
インラインアセンブリ	C++の歴史

 

Curiously Recurring Template Patternとは、クラスXがクラステンプレートYから派生し、テンプレートパラメータZを取り、YがZ = Xでインスタンス化されるイディオムです。例として、

template<class Z>
class Y {};
 
class X : public Y<X> {};

例

CRTPは、「コンパイル時ポリモーフィズム」を実装するために使用できます。この場合、基底クラスがインターフェースを公開し、派生クラスがそのインターフェースを実装します。

このコードを実行

#include <cstdio>
 
#ifndef __cpp_explicit_this_parameter // Traditional syntax
 
template <class Derived>
struct Base
{
    void name() { static_cast<Derived*>(this)->impl(); }
protected:
    Base() = default; // prohibits the creation of Base objects, which is UB
};
struct D1 : public Base<D1> { void impl() { std::puts("D1::impl()"); } };
struct D2 : public Base<D2> { void impl() { std::puts("D2::impl()"); } };
 
#else // C++23 deducing-this syntax
 
struct Base { void name(this auto&& self) { self.impl(); } };
struct D1 : public Base { void impl() { std::puts("D1::impl()"); } };
struct D2 : public Base { void impl() { std::puts("D2::impl()"); } };
 
#endif
 
int main()
{
    D1 d1; d1.name();
    D2 d2; d2.name();
}

出力

D1::impl()
D2::impl()

関連項目

明示的なオブジェクトメンバー関数 (thisの推論) (C++23)
enable_shared_from_this (C++11)	オブジェクトが自身を参照する shared_ptr を作成できるようにします (クラステンプレート)
ranges::view_interface (C++20)	Curiously Recurring Template Pattern を使用してviewを定義するためのヘルパークラステンプレート (クラステンプレート)

外部リンク

1.	CRTPをコンセプトで置き換える？ — Sandor Dragoのブログ
2.	The Curiously Recurring Template Pattern (CRTP) — Sandor Dragoのブログ
3.	The Curiously Recurring Template Pattern (CRTP) - 1 — Fluent{C++}
4.	What the CRTP can bring to your code - 2 — Fluent{C++}
5.	An implementation helper for the CRTP - 3 — Fluent{C++}
6.	What is the Curiously Recurring Template Pattern (CRTP) — SO