CRTP通过派生类继承自身作为模板参数的基类实现静态多态，典型结构为template<typename Derived> class Base与class Derived : public Base<Derived>，基类用static_cast<Derived*>调用派生类方法，如Shape基类调用Circle或Rectangle的computeArea()，在编译期完成函数绑定，避免虚函数开销，提升性能并支持内联优化，常用于高性能库设计如Eigen、Mixin模式、静态接口检查等场景，但不支持运行时多态、可能导致模板膨胀且调试困难，适用于接口稳定、性能敏感的代码。
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><br>class Derived : public Base<Derived> {<br>public:<br> void implementation() {<br> // 具体实现<br> }<br>};这里，Base 是一个类模板，Derived 继承自 Base<Derived>，形成递归结构。由于类型在编译期已知，调用 implementation() 不需要虚函数机制，属于静态分发。
立即学习“C++免费学习笔记（深入）”；
CRTP如何实现静态多态
传统多态依赖虚函数和vtable，在运行时决定调用哪个函数。而CRTP在编译期就完成函数绑定，提升性能。
核心机制在于：
- 基类通过 static_cast<Derived*>(this) 访问派生类的成员
- 所有函数调用在编译期展开，无运行时开销
- 派生类方法可被内联优化，效率更高
例如，定义多个行为不同的类：
template <typename Derived><br>class Shape {<br>public:<br> double area() const {<br> return static_cast<const Derived*>(this)->computeArea();<br> }<br>};<br><br>class Circle : public Shape<Circle> {<br>private:<br> double r;<br>public:<br> Circle(double radius) : r(radius) {}<br> double computeArea() const { return 3.14159 * r * r; }<br>};<br><br>class Rectangle : public Shape<Rectangle> {<br>private:<br> double w, h;<br>public:<br> Rectangle(double width, double height) : w(width), h(height) {}<br> double computeArea() const { return w * h; }<br>};每个子类调用 area() 时，实际执行的是自己定义的 computeArea()，且无需虚函数。
CRTP的常见应用场景
CRTP广泛用于需要高性能泛型编程的库设计中。
- 混合器模式（Mixin）：为多个类添加通用功能，如计数、序列化、日志等
- Eigen线性代数库：大量使用CRTP实现表达式模板，优化矩阵运算
- 静态接口检查：编译期验证派生类是否实现了必需的方法
- 性能敏感代码：替代虚函数，减少间接调用开销
注意事项与局限性
CRTP虽然高效，但也有使用上的限制：
- 不能像虚函数那样通过基类指针统一管理不同派生类对象
- 错误的派生类实现会导致编译错误，而非运行时异常
- 模板膨胀可能增加编译时间和代码体积
- 调试信息不如动态多态直观
因此，CRTP适合在接口稳定、性能要求高的场景下使用。
基本上就这些。CRTP是C++模板元编程中的经典技巧，掌握它有助于理解现代C++库的设计思想，也能在合适场合写出更高效的代码。
