CRTPの勉強

先日CRTP(Curiously Recursive Template Pattern)の勉強をしたので，それのメモ．

CRTPとは，基底クラスをクラステンプレートとして定義して，派生クラスでは，その基底クラスのテンプレート引数部分に自分自身を突っ込むものです．

基底クラス内で，派生クラスの型へキャストでき，派生クラスのみで定義した関数を呼び出せるのがポイント．

あとは，コード中に書いたコメント参照．

#include <iostream>
template <typename Inherited>
struct Base{
void apply(){
// Inheriedにダウンキャストし，そこで定義されているはずのapply_impl()を呼び出す
static_cast<Inherited&>(*this).apply_impl();
}
void test(){
std::cout << "Base" << std::endl;
}
};
struct Inherit1: public Base<Inherit1>{
void apply_impl(){
std::cout << "Inherit 1" << std::endl;
}
};
struct Inherit2: public Base<Inherit2>{
void apply_impl(){
std::cout << "Inherit 2" << std::endl;
}
};
// Baseの派生クラスのみを受け取る関数
template<typename T>
void check(Base<T>& t){
// ポイント1：ここには，Base<T>のサブクラスのインスタンスしかこない（t.test()が呼べる）
// ポイント2：Base<T>のサブクラスにapply_impl()が定義されてないとコンパイルエラー
// ポイント3：tのapply()は多態的に呼び出される
// ポイント4：仮想関数ではないため呼出しにオーバーヘッドがない
t.apply();
t.test();
}
int main(){
Inherit1 inh1;
Inherit2 inh2;
check(inh1);
check(inh2);
}