CRTP通过派生类继承自身作为模板参数的基类实现静态多态,编译期绑定函数调用,避免虚函数开销,适用于性能敏感场景如Eigen、Boost,常用于统一接口、混入模式与操作符重用,但不支持运行时多态且可能导致模板膨胀。

CRTP(Curiously Recurring Template Pattern),中文常称为“奇异的递归模板模式”,是C++中一种利用模板实现静态多态的经典技术。它通过让基类以派生类作为模板参数来继承自身,从而在编译期完成多态行为的绑定,避免了虚函数表带来的运行时开销。
CRTP的基本结构
CRTP的典型写法如下:
templateclass Base { public: void interface() { static_cast (this)->implementation(); } }; class Derived : public Base { public: void implementation() { // 具体实现 } };
在这个结构中,Base 是一个类模板,接受一个类型参数 Derived,而 Derived 类继承自 Base
静态多态的实现原理
CRTP的核心优势在于实现了静态多态,也就是在编译期决定调用哪个函数,而不是像虚函数那样在运行时通过vtable查找。
立即学习“C++免费学习笔记(深入)”;
当在基类中调用 static_cast
与动态多态对比:
- 动态多态依赖虚函数机制,有虚表指针和间接跳转开销
- CRTP没有运行时开销,函数调用可被内联优化
- CRTP适用于模板库或性能敏感场景,如Eigen、Boost等广泛使用
常见应用场景
CRTP常用于以下几种情况:
- 接口统一 + 行为定制:基类提供通用接口,派生类实现具体逻辑
- 混入(Mixin)模式:多个CRTP基类组合功能,如日志、计数、序列化等
- 操作符重用:例如实现可比较类型,只需定义一次比较逻辑
示例:自动实现所有比较操作符
templateclass Comparable { public: bool operator!=(const T& other) const { return !static_cast (this)->operator==(other); } bool operator < (const T& other) const { return static_cast (this)->operator<(other); } // 可继续扩展其他操作符 }; class MyInt : public Comparable { int value; public: bool operator==(const MyInt& other) const { return value == other.value; } bool operator < (const MyInt& other) const { return value < other.value; } };
这样,只要实现了 == 和
注意事项与限制
CRTP虽然高效,但也有其局限性:
- 不支持运行时多态:无法将CRTP对象放入同一容器并统一调用虚函数
- 模板膨胀:每个派生类都会实例化一份基类代码
- 调试信息可能更复杂:因大量内联和模板实例化
- 必须确保派生类正确定义所需方法,否则编译错误会出现在基类中
使用时要明确需求是否真的需要静态分发,若需运行时多态,仍应使用虚函数。
基本上就这些。CRTP是C++模板编程中的强大技巧,掌握它有助于写出高效且可复用的泛型代码。











