CRTP通过派生类继承自身作为模板参数的基类实现静态多态,编译期绑定类型并消除虚函数开销;基类用static_cast调用派生类方法,支持接口约束、功能封装、性能优化等场景,常见于Eigen等高性能库;但不支持运行时多态、可能导致代码膨胀且错误提示复杂。

CRTP(Curiously Recurring Template Pattern),中文常译为“奇特递归模板模式”,是C++中一种利用模板和继承实现静态多态的技术。它通过让基类以派生类作为模板参数来“反向”继承,从而在编译期完成类型绑定,避免运行时虚函数调用的开销。
CRTP的基本结构
CRTP的典型写法如下:
template
class Base {
public:
void interface() {
static_cast(this)->implementation();
}
void common_func() {
// 通用逻辑
}
};
class Derived : public Base{
public:
void implementation() {
// 具体实现
}
};
这里,Base 是一个类模板,接收一个模板参数 Derived,而具体的派生类 Derived 又继承自 Base
CRTP如何实现静态多态
传统多态依赖虚函数表,在运行时决定调用哪个函数。CRTP则在编译期就确定了具体类型,因此没有虚函数开销。
立即学习“C++免费学习笔记(深入)”;
- 基类中的 interface() 函数通过 static_cast
(this) 将当前对象转为派生类指针 - 然后直接调用派生类实现的 implementation() 方法
- 由于所有类型信息在编译期已知,编译器可以内联优化,性能更高
例如,调用 d.interface() 时,实际执行的是 Derived::implementation(),但整个过程不涉及虚函数机制。
CRTP的常见用途
CRTP在实际开发中有多种应用场景,以下是一些典型例子:
通过CRTP可以定义一组接口规范,强制派生类提供特定方法。如果派生类未实现 implementation(),编译时报错。
2. 提供通用功能封装基类可封装共用逻辑,比如日志记录、计数、序列化等。例如:
template3. 模拟多态但无虚函数开销
class Counter {
private:
static int count;
public:
Counter() { ++count; }
~Counter() { --count; }
static int get_count() { return count; }
}
templateint Counter ::count = 0;
class Widget : public Counter{ }; // 自动具备计数能力
在对性能敏感的场景(如数值计算、嵌入式系统)中,CRTP常用于替代虚函数。Eigen、Boost等库广泛使用该技术提升效率。
4. 表达式模板(Expression Templates)在矩阵或向量运算库中,CRTP用于延迟计算、消除临时对象。例如,将 a = b + c + d 优化为单一循环,避免中间结果生成。
CRTP的注意事项
虽然CRTP强大,但也有一些限制和陷阱:
- 不是真正的多态:无法用基类指针指向不同派生类对象,不能放入同一容器
- 模板膨胀:每个派生类实例化一份基类代码,可能增加代码体积
- 错误信息复杂:模板出错时编译器提示往往难以理解
- 必须确保派生类正确继承,否则 static_cast 会导致未定义行为
基本上就这些。CRTP是一种巧妙利用C++模板机制的设计模式,适合在需要高性能、静态分发的场合使用。掌握它有助于深入理解模板编程和零成本抽象的思想。











