C++惯用法：奇特的递归模板模式（Curiously Recurring Template Pattern，CRTP，Mixin-from-above）

意图：

使用派生类作为模板参数特化基类。

 

与多态的区别：

多态是动态绑定（运行时绑定），CRTP是静态绑定（编译时绑定）

 

在实现多态时，需要重写虚函数，因而这是运行时绑定的操作。

然而如果想在编译期确定通过基类来得到派生类的行为，CRTP便是一种独佳选择，它是通过派生类覆盖基类成员函数来实现静态绑定的。

 

范式：

class derived : public base<derived> { // attributes and behaviors }

 

示例代码：

template <class Derived> struct base { void interface() { // 转换为子类指针，编译期将绑定至子类方法 static_cast<Derived*>(this)->implementation(); } static void static_interface() { // 编译期将绑定至子类方法 Derived::static_implementation(); } // 下面两个方法，默认实现可以存在，或者应该被继承子类的相同方法覆盖