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 call() {<br> interface();<br> }<br>};<br><br>class Derived : public Base<Derived> {<br>public:<br> void implementation() {<br> // 具体实现<br> }<br>};<br>
在这个例子中，Base 是一个类模板，接受一个类型参数 Derived，而 Derived 类继承自 Base<Derived>。这种“自己传给自己”的递归形式就是CRTP的核心特征。
CRTP的工作原理
CRTP的关键在于：在编译期，基类就能知道派生类的类型。这使得基类可以安全地将 this 指针转换为派生类指针，并调用其方法，实现静态分发。
立即学习“C++免费学习笔记（深入）”；
- 没有运行时开销：不同于虚函数机制依赖vtable查找，CRTP的函数调用在编译期就已确定，属于内联候选，效率更高。
- 实现静态多态：通过模板参数传递派生类类型，基类可以调用派生类的方法，形成类似多态的行为，但发生在编译期。
- 代码复用：基类可以封装通用逻辑，比如通用接口、计数、日志等，由派生类提供具体行为。
常见应用场景
CRTP在实际中被广泛使用，尤其适合需要高性能和泛型编程的场合。
- 性能敏感的多态设计：当不需要运行时多态，但又希望有类似接口统一的行为时，CRTP是理想选择。例如数学库中的表达式模板。
- 接口统一与默认实现：基类提供通用接口和部分默认实现，派生类只需重写特定方法。
- 对象计数或追踪：可以在基类中实现构造/析构计数，通过CRTP自动作用于所有派生类。
- 启用特定功能：如实现可克隆对象（Cloneable）或单例模式的通用逻辑。
注意事项与局限性
虽然CRTP强大，但也有一些限制需要留意：
- 不能动态切换行为：因为绑定发生在编译期，无法像虚函数那样通过基类指针指向不同子类对象来改变行为。
- 模板膨胀：每个派生类都会实例化一份基类代码，可能导致代码体积增大。
- 调试稍复杂：由于大量内联和模板展开，堆栈信息可能不易阅读。
- 派生类必须正确继承：如果忘记将自己作为模板参数传入，会导致 static_cast 错误，通常在编译时报错。
基本上就这些。CRTP是一种巧妙利用C++模板机制的技术，它把“继承”和“泛型”结合，在不牺牲性能的前提下实现代码复用和接口统一。理解它有助于深入掌握现代C++的设计思想。