奇异递归模板模式(CRTP)

奇异递归模板模式(Curiously Recurring Template Pattern,CRTP)是一种 C++ 模板惯用法,其特征是让一个类派生自以它自己为模板参数的基类模板,即基类在定义时就静态地知道最终派生类型。

概述

CRTP 的名字来源于其看似递归的形态:派生类把自身类型传给基类模板参数。由于这一信息在编译期即可确定,基类可以将 this 静态转换为派生类型并直接调用派生类成员,从而在不使用虚函数表的前提下实现多态行为,称为静态多态或编译期多态。它以模板换取了运行时虚调用的开销,同时保留了将通用逻辑上提到基类的复用能力。

核心原理

• 递归声明:派生类以自身作为基类模板的实参,使基类获知派生类型。
• 静态向下转型:基类通过将 this 转换为派生类型指针,调用派生类实现,替代虚函数分派。
• 编译期绑定:方法解析在编译期完成,无虚表查找,便于内联优化。
• 接口复用:把模板化的通用操作放在基类,各派生类只提供少量差异化实现。

应用场景

CRTP 常用于性能敏感且类型在编译期已知的场景,如高性能库中的静态多态、为一批类批量注入通用能力(计数实例、比较运算符、克隆等混入式功能),以及表达式模板、策略注入等高级技巧。标准库中 enable_shared_from_this 就是 CRTP 的典型应用,允许对象安全地获取指向自身的共享指针。

常见问题

问:CRTP 与虚函数多态如何取舍?答:CRTP 在编译期确定类型,零运行时开销但类型必须静态已知,不能通过基类指针统一容纳异构对象;虚函数支持运行期动态分派、可异构存储,但有虚表开销。需要运行时多态时用虚函数,追求性能且类型已知时用 CRTP。

问:CRTP 有什么风险?答:若派生类未正确传入自身类型,静态向下转型会导致未定义行为;此外模板展开会增加编译时间和代码体积,错误信息也较为晦涩。