C++中的CRTP是什么？C++奇异递归模板模式详解【高级模板】_技术教程

CRTP是一种借助模板实现静态多态的C++模式，派生类以自身为模板参数继承基类模板，从而在编译期获得类型信息、消除虚调用开销、实现接口复用与约束。

CRTP（Curiously Recurring Template Pattern），中文常译作“奇异递归模板模式”，是C++中一种借助模板实现静态多态的经典技巧：它让派生类以自身作为模板参数，继承自一个以该派生类为参数的基类模板。核心目的不是为了绕过虚函数，而是**在编译期获得类型信息、消除虚调用开销、实现接口复用与编译期约束**。

CRTP的基本写法长什么样？

它看起来有点“自指”，但结构固定：

template 
class Base {
public:
    void interface() {
        static_cast(this)->implementation(); // 向下调用
    }
};
class MyWidget : public Base { // 关键：把自身传给基类模板
public:
void implementation() { / 具体逻辑 / }
};

这里 Base 在实例化时就知道 Derived == MyWidget，所以 static_cast 安全且零成本。没有虚表、没有运行时查找——一切在编译期绑定。

CRTP能解决哪些虚函数搞不定的问题？

它不是虚函数的替代品，而是互补工具。典型适用场景包括：

静态多态 + 零开销抽象：比如实现通用容器适配器（如 Sortable），要求所有子类必须提供 sort()，但又不想引入虚函数——CRTP可强制接口存在，并在基类中组合默认行为。
混入（Mixin）式功能注入：像 EnableRefCount、Loggable 这类基类，通过 CRTP 把引用计数或日志逻辑“编译期织入”到目标类，不污染接口，也不依赖对象布局。
编译期类型反射雏形：基类模板内可通过 std::is_same_v 做 SFINAE 或 if-constexpr 分支，实现轻量级类型特化逻辑。

用CRTP要注意什么坑？

它强大但容易误用，几个关键细节不能含糊：

派生类定义必须在基类模板实例化之后：否则 static_cast(this) 会失败，因为 Derived 是不完全类型。通常把基类放头文件，派生类在 .cpp 或后续声明即可。
不能用于多态销毁：CRTP 类型之间没有 is-a 的运行时关系，delete base_ptr 会出问题——它不是多态继承，别把它当多态用。
友元和私有成员访问受限：基类模板无法直接访问派生类的私有成员，除非显式声明 friend class Base，但这会破坏封装意图，慎用。

CRTP和普通继承、策略模式有什么区别？

它既不是运行时多态，也不是运行时传入策略对象：

对比虚函数：CRTP 没有 vtable、无指针间接跳转、支持内联，但失去运行时切换能力；
对比策略模式（如 std::sort(container, Compare{})）：CRTP 把策略“固化”进类型系统，策略选择发生在模板实例化时，而非函数调用时；
本质是“编译期接口契约”+“静态委托”，靠模板参数传递类型身份，靠 static_cast 实现安全向下调用。

基本上就这些。CRTP 不复杂，但容易忽略它的设计意图——它不是为了炫技，而是当你需要**在编译期锁定行为、避免虚函数开销、又不愿牺牲类型安全**时，一个干净有力的选择。