CRTP通过派生类继承自身作为模板参数的基类实现静态多态,编译期绑定函数调用,避免虚函数开销,适用于性能敏感场景、接口约束、混入扩展等功能复用。

CRTP(Curiously Recurring Template Pattern),中文常称为“奇特递归模板模式”,是C++中一种利用模板和继承实现静态多态的经典技术。它通过让基类以派生类作为模板参数来继承自身,从而在编译期就能确定调用的具体函数,避免了运行时虚函数的开销。
CRTP的基本形式
CRTP的典型结构如下:
template
class Base {
public:
void interface() {
static_cast(this)->implementation();
}
void foo() {
interface(); // 调用派生类实现
}
};
class Derived : public Base{
public:
void implementation() {
// 具体实现
}
};
int main() {
Derived d;
d.foo(); // 调用 Base::foo → Base::interface → Derived::implementation
}
在这个例子中,Base 是一个类模板,接受一个类型参数 Derived,而 Derived 又继承自 Base
CRTP的原理:静态多态
传统多态依赖虚函数表,在运行时决定调用哪个函数。而CRTP在编译期就完成了函数绑定,属于静态多态。
立即学习“C++免费学习笔记(深入)”;
关键点在于:
- 基类通过 static_cast
(this) 将当前对象转为派生类指针 - 调用派生类的方法,这个方法在编译时已知
- 无需虚函数,没有vtable开销,性能更高
- 适用于模板库、工具类、接口封装等场景
CRTP的常见应用场景
CRTP在实际开发中有多个典型用途:
1. 实现静态接口约束
确保派生类实现了某些方法。如果没实现,编译时报错(因为 static_cast 后找不到 implementation)。
2. 混入(Mixin)功能扩展
多个功能可以通过CRTP组合进派生类:
templateclass Comparable {
public:
bool operator!=(const T& other) {
return !static_cast(*this).equals(other);
}
};
class MyType : public Comparable{
public:
bool equals(const MyType& other) { /* ... */ }
};
MyType a, b;
bool result = (a != b); // 自动获得 != 操作符
3. 性能敏感的多态设计
在数学库、表达式模板、序列容器等对性能要求高的场景,CRTP替代虚函数,消除运行时开销。
4. 计数器或日志混入
可以为所有派生类自动添加计数、日志等功能:
template
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{ };
Widget w1, w2;
// get_count() 返回 2
CRTP与虚函数的对比
CRTP不是要完全取代虚函数,而是提供另一种选择:
- 虚函数:运行时多态,灵活,支持动态绑定,但有性能开销
- CRTP:编译期多态,零成本抽象,但必须在编译时知道类型
- CRTP不支持通过基类指针操作不同派生类的集合(如 vector
)
基本上就这些。CRTP是一种巧妙利用C++模板机制的技术,适合在需要高性能、类型安全和代码复用的场合使用。虽然初看有点“奇怪”,但理解其动机和结构后,会发现它非常实用。











