CRTP通过派生类继承以自身为模板参数的基类，在编译期实现静态多态，消除虚函数开销。基类使用static_cast<Derived*>调用派生类方法，实现内联优化。例如Arithmetic模板为MyNumber提供add、multiply默认实现，无需虚函数。优势包括性能提升、类型安全、无虚表内存开销，适用于数学库、泛型扩展等场景。但不支持运行时多态切换，跨库传递困难，头文件依赖强，错误信息复杂。正确使用需确保派生类实现对应方法，避免模板实例化失败。
CRTP（Curiously Recurring Template Pattern），中文常译为“奇异递归模板模式”，是C++中实现静态多态的一种经典技术。它通过模板和继承的巧妙结合，在编译期完成多态行为，避免了虚函数表带来的运行时开销，是追求高性能场景下的重要工具。
什么是CRTP？
CRTP的基本形式是一个类模板派生自以其自身为模板参数的基类。虽然名字中有“递归”，但并非函数或类型的真正递归，而是一种模板实例化结构：
template<typename Derived>
class Base {
public:
void interface() {
static_cast<Derived*>(this)->implementation();
}
};
<p>class Derived : public Base<Derived> {
public:
void implementation() {
// 具体实现
}
};</p>在这个例子中，Base 是一个类模板，Derived 继承自 Base<Derived>。这种“自己作为模板参数传给父类”的结构就是CRTP的核心特征。
静态多态如何实现？
传统多态依赖虚函数机制，在运行时通过虚表查找函数地址。而CRTP在编译期就能确定调用目标，因此称为“静态多态”。
立即学习“C++免费学习笔记（深入）”；
关键在于：基类中的 static_cast<Derived*>(this) 将当前对象转换为派生类指针，从而调用其成员函数。由于模板实例化时已知 Derived 类型，编译器能内联展开并优化调用链。
举个实际例子：
template<typename T>
class Arithmetic {
public:
T add(const T& other) const {
return T(static_cast<const T>(this) + other);
}
T multiply(int n) const {
return T(static_cast<const T>(this) * n);
}
};
<p>class MyNumber : public Arithmetic<MyNumber> {
int value;
public:
MyNumber(int v) : value(v) {}
MyNumber operator+(const MyNumber& rhs) const {
return MyNumber(value + rhs.value);
}
MyNumber operator<em>(int n) const {
return MyNumber(value </em> n);
}
};</p>这样，MyNumber 自动拥有了 add 和 multiply 方法，且无需虚函数开销。
CRTP的优势与适用场景
使用CRTP的主要好处包括：
- 性能更高：没有虚函数调用开销，函数可被内联
- 编译期绑定：类型安全更强，错误更早暴露
- 减少内存占用：不生成虚表指针
- 支持泛型扩展：可用于构建通用框架，如序列化、比较操作等
常见应用场景有：
- 实现可复用的接口包装器
- 泛型库中提供默认方法实现（如Boost.Operator）
- 事件处理系统或访问者模式的静态版本
- 性能敏感组件，如数学向量、智能指针辅助类
注意事项与局限性
尽管强大，CRTP也有使用限制：
- 不能跨动态库边界传递：因为类型在编译期固定，不适合插件架构
- 编译依赖更强：基类模板需包含实现代码，头文件膨胀
- 调试难度略高：错误信息可能冗长，尤其涉及复杂模板推导
- 不支持运行时多态切换：无法像虚函数那样灵活替换行为
另外，必须确保派生类确实实现了基类所调用的方法，否则会触发编译错误，这既是约束也是保障。
基本上就这些。CRTP是C++模板编程中极具表现力的技术之一，掌握它有助于写出高效、灵活又类型安全的代码。理解其机制后，你会发现很多现代C++库都在默默使用这一模式。不复杂但容易忽略细节，写的时候注意模板参数传递和static_cast的正确使用即可。
