CRTP是一种借助模板实现静态多态的C++模式，派生类以自身为模板参数继承基类模板，从而在编译期获得类型信息、消除虚调用开销、实现接口复用与约束。
CRTP（Curiously Recurring Template Pattern），中文常译作“奇异递归模板模式”，是C++中一种借助模板实现静态多态的经典技巧：它让派生类以自身作为模板参数，继承自一个以该派生类为参数的基类模板。核心目的不是为了绕过虚函数，而是**在编译期获得类型信息、消除虚调用开销、实现接口复用与编译期约束**。
CRTP的基本写法长什么样？
它看起来有点“自指”，但结构固定：
template <typename Derived>
class Base {
public:
void interface() {
static_cast<Derived*>(this)->implementation(); // 向下调用
}
};
<p>class MyWidget : public Base<MyWidget> { // 关键：把自身传给基类模板
public:
void implementation() { /<em> 具体逻辑 </em>/ }
};</p>这里 Base<mywidget></mywidget> 在实例化时就知道 Derived == MyWidget，所以 static_cast 安全且零成本。没有虚表、没有运行时查找——一切在编译期绑定。
CRTP能解决哪些虚函数搞不定的问题？
它不是虚函数的替代品，而是互补工具。典型适用场景包括：
立即学习“C++免费学习笔记（深入）”；
-
静态多态 + 零开销抽象：比如实现通用容器适配器（如
Sortable<t></t>），要求所有子类必须提供sort()，但又不想引入虚函数——CRTP可强制接口存在，并在基类中组合默认行为。 -
混入（Mixin）式功能注入：像
EnableRefCount<t></t>、Loggable<t></t>这类基类，通过 CRTP 把引用计数或日志逻辑“编译期织入”到目标类，不污染接口，也不依赖对象布局。 -
编译期类型反射雏形：基类模板内可通过
std::is_same_v<derived sometype></derived>做 SFINAE 或 if-constexpr 分支，实现轻量级类型特化逻辑。
用CRTP要注意什么坑？
它强大但容易误用，几个关键细节不能含糊：
-
派生类定义必须在基类模板实例化之后：否则
static_cast<derived>(this)</derived>会失败，因为Derived是不完全类型。通常把基类放头文件，派生类在 .cpp 或后续声明即可。 -
不能用于多态销毁：CRTP 类型之间没有
is-a的运行时关系，delete base_ptr会出问题——它不是多态继承，别把它当多态用。 -
友元和私有成员访问受限：基类模板无法直接访问派生类的私有成员，除非显式声明
friend class Base<derived></derived>，但这会破坏封装意图，慎用。
CRTP和普通继承、策略模式有什么区别？
它既不是运行时多态，也不是运行时传入策略对象：
- 对比虚函数：CRTP 没有 vtable、无指针间接跳转、支持内联，但失去运行时切换能力；
- 对比策略模式（如
std::sort(container, Compare{})）：CRTP 把策略“固化”进类型系统，策略选择发生在模板实例化时，而非函数调用时； - 本质是“编译期接口契约”+“静态委托”，靠模板参数传递类型身份，靠
static_cast实现安全向下调用。
基本上就这些。CRTP 不复杂，但容易忽略它的设计意图——它不是为了炫技，而是当你需要**在编译期锁定行为、避免虚函数开销、又不愿牺牲类型安全**时，一个干净有力的选择。
