CRTP是派生类以自身为模板参数继承基类模板的静态多态技术,编译期确定调用目标,零运行时开销;适用于避免虚函数开销、混入式功能注入及表达式模板优化。

CRTP 是什么,为什么能实现静态多态
CRTP(Curiously Recurring Template Pattern)是一种模板编程技巧:派生类以自身为模板参数继承一个基类模板。它不依赖虚函数,编译期就确定调用目标,因此叫“静态多态”。核心写法是:
template
基类在编译时就知道具体派生类型,从而直接内联调用,零运行时开销。
避免虚函数开销的接口抽象
当需要统一接口但又不愿承担虚表查找和间接跳转成本时,CRTP 是理想替代。比如实现一组可比较、可打印、可序列化的工具类:
- 定义
Comparable基类,提供operator 等,默认基于派生类的compare()实现 - 派生类只需实现
int compare(const T&) const,其余关系运算符自动获得 - 没有虚函数表,对象大小不增加,所有比较逻辑可被完全内联
混入式功能注入(Mixin)
CRTP 天然适合实现可复用的功能组件。例如给任意类型添加计数、日志、序列化能力:
-
class Counter : public CRTPBase可统计该类型实例构造/析构次数 -
Loggable在关键操作前后自动插入调试日志,无需修改原类定义 - 多个混入可组合继承:
class MyObj : public Loggable, public Serializable
表达式模板与惰性求值优化
在数值计算库(如 Eigen)中,CRTP 是构建表达式模板的关键。它让临时对象不立即计算,而是记录操作意图:
立即学习“C++免费学习笔记(深入)”;
- 向量加法
v1 + v2返回一个AddExpr类型,而非实际结果 - 该类型继承自
Expression,后续赋值或取值时才触发一次遍历计算> - 避免中间临时对象和多次循环,提升缓存友好性和性能
基本上就这些。CRTP 不是银弹,过度使用会让代码变晦涩,但它在追求极致性能、零成本抽象、编译期行为定制的场景里,确实不可替代。








