CRTP通过派生类继承自身作为模板参数的基类实现静态多态，编译期绑定函数调用，避免虚函数开销，适用于性能敏感场景、接口约束、混入扩展等功能复用。
CRTP（Curiously Recurring Template Pattern），中文常称为“奇特递归模板模式”，是C++中一种利用模板和继承实现静态多态的经典技术。它通过让基类以派生类作为模板参数来继承自身，从而在编译期就能确定调用的具体函数，避免了运行时虚函数的开销。
CRTP的基本形式
CRTP的典型结构如下：
template <typename Derived><br>class Base {<br>public:<br> void interface() {<br> static_cast<Derived*>(this)->implementation();<br> }<br><br> void foo() {<br> interface(); // 调用派生类实现<br> }<br>};<br><br>class Derived : public Base<Derived> {<br>public:<br> void implementation() {<br> // 具体实现<br> }<br>};<br><br>int main() {<br> Derived d;<br> d.foo(); // 调用 Base::foo → Base::interface → Derived::implementation<br>}在这个例子中，Base 是一个类模板，接受一个类型参数 Derived，而 Derived 又继承自 Base<Derived>。这种“递归”式的继承就是CRTP名称的由来。
CRTP的原理：静态多态
传统多态依赖虚函数表，在运行时决定调用哪个函数。而CRTP在编译期就完成了函数绑定，属于静态多态。
立即学习“C++免费学习笔记（深入）”；
关键点在于：
- 基类通过 static_cast<Derived*>(this) 将当前对象转为派生类指针
- 调用派生类的方法，这个方法在编译时已知
- 无需虚函数，没有vtable开销，性能更高
- 适用于模板库、工具类、接口封装等场景
CRTP的常见应用场景
CRTP在实际开发中有多个典型用途：
1. 实现静态接口约束
确保派生类实现了某些方法。如果没实现，编译时报错（因为 static_cast 后找不到 implementation）。
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
2. 混入（Mixin）功能扩展
多个功能可以通过CRTP组合进派生类：
template <typename T> class Comparable {<br>public:<br> bool operator!=(const T& other) {<br> return !static_cast<const T&>(*this).equals(other);<br> }<br>};<br><br>class MyType : public Comparable<MyType> {<br>public:<br> bool equals(const MyType& other) { /* ... */ }<br>};<br><br>MyType a, b;<br>bool result = (a != b); // 自动获得 != 操作符3. 性能敏感的多态设计
在数学库、表达式模板、序列容器等对性能要求高的场景，CRTP替代虚函数，消除运行时开销。
4. 计数器或日志混入
可以为所有派生类自动添加计数、日志等功能：
template <typename T><br>class Counter {<br>private:<br> static int count;<br>public:<br> Counter() { ++count; }<br> ~Counter() { --count; }<br> static int get_count() { return count; }<br>};<br>template<typename T> int Counter<T>::count = 0;<br><br>class Widget : public Counter<Widget> { };<br><br>Widget w1, w2;<br>// get_count() 返回 2CRTP与虚函数的对比
CRTP不是要完全取代虚函数，而是提供另一种选择：
- 虚函数：运行时多态，灵活，支持动态绑定，但有性能开销
- CRTP：编译期多态，零成本抽象，但必须在编译时知道类型
- CRTP不支持通过基类指针操作不同派生类的集合（如 vector<Base*>）
基本上就这些。CRTP是一种巧妙利用C++模板机制的技术，适合在需要高性能、类型安全和代码复用的场合使用。虽然初看有点“奇怪”，但理解其动机和结构后，会发现它非常实用。
