CRTP是一种通过派生类继承自身为模板参数的基类实现静态多态的C++惯用法，用于替代虚函数以获得零开销抽象、编译期绑定及派生类静态信息访问。

CRTP（Curiously Recurring Template Pattern），中文常译作“奇异递归模板模式”，是 C++ 中一种借助模板和继承实现静态多态的惯用法。它的核心特点是：派生类以自身作为模板参数，继承自一个以该派生类为模板实参的基类。

CRTP 的基本写法

典型结构如下：

template 
class Base {
public:
    void interface() {
        static_cast(this)->implementation(); // 向下调用派生类函数
    }
};

class MyDerived : public Base {
public:
    void implementation() {
        // 具体逻辑
    }
};

这里 MyDerived 继承自 Base，而 Base 又通过 static_cast 安全地调用派生类成员——这种“递归式”模板参数就是“奇异”的来源。

CRTP 解决什么问题

它主要替代虚函数机制，在编译期绑定调用，避免运行时开销和虚表间接访问。适用于：

• 需要零成本抽象的场景（如 Eigen、Boost.TypeErasure 内部）
• 实现通用接口但拒绝虚函数（嵌入式、高性能计算）
• 在基类中获取派生类的静态信息（如 sizeof(Derived)、类型别名、编译期常量）
• 模拟 final 类行为或强制实现某些接口（配合 static_assert）

常见进阶用法

CRTP 不只是简单转发调用，还能支撑更复杂的泛型设施：

• 混入（Mixin）编程：多个 CRTP 基类组合，为派生类注入不同能力（如日志、序列化、计数）
• 静态多态容器：基类模板可定义统一接口（如 clone()），各派生类提供 static 版本，无需虚析构
• 编译期反射辅助：结合 constexpr 和类型特征，在基类中推导派生类字段布局（需 C++20 支持更多元的模板元编程）
• 安全的 downcast 封装：基类提供 self() 成员函数，返回 static_cast(*this)，避免重复书写 cast

注意点和陷阱

CRTP 看似简洁，但使用时需谨慎：

• 派生类必须在定义完成后才实例化基类模板，否则 Derived 是不完整类型，无法在基类中使用其成员（除指针/引用外）
• 不能直接用于多继承中的“菱形继承”，容易引发二义性；若需组合多个 CRTP 行为，应让它们都继承自同一空基类或采用策略类方式
• 调试时堆栈可能略显晦涩（模板展开深、符号名长），建议配合 [[nodiscard]] 和清晰命名提升可读性
• 不支持动态对象创建（如 new Base），所有实例必须是具体派生类型