CRTP通过派生类继承自身作为模板参数的基类实现静态多态,典型结构为template class Base与class Derived : public Base,基类用static_cast调用派生类方法,如Shape基类调用Circle或Rectangle的computeArea(),在编译期完成函数绑定,避免虚函数开销,提升性能并支持内联优化,常用于高性能库设计如Eigen、Mixin模式、静态接口检查等场景,但不支持运行时多态、可能导致模板膨胀且调试困难,适用于接口稳定、性能敏感的代码。

CRTP(Curiously Recurring Template Pattern),中文常译为“奇异递归模板模式”,是C++中一种利用模板实现静态多态的经典技术。它通过让基类以派生类作为模板参数来继承自身,从而在编译期就能确定调用的具体函数,避免了虚函数表带来的运行时开销。
什么是CRTP
CRTP的基本结构是一个类模板作为基类,接收一个派生类作为模板参数。这种“派生类继承自己作为模板参数的基类”的写法看似奇怪,实则非常有效。
典型形式如下:
template
class Base {
public:
void interface() {
static_cast(this)->implementation();
}
};
class Derived : public Base{
public:
void implementation() {
// 具体实现
}
};
这里,Base 是一个类模板,Derived 继承自 Base
立即学习“C++免费学习笔记(深入)”;
CRTP如何实现静态多态
传统多态依赖虚函数和vtable,在运行时决定调用哪个函数。而CRTP在编译期就完成函数绑定,提升性能。
核心机制在于:
- 基类通过 static_cast
(this) 访问派生类的成员 - 所有函数调用在编译期展开,无运行时开销
- 派生类方法可被内联优化,效率更高
例如,定义多个行为不同的类:
template
class Shape {
public:
double area() const {
return static_cast(this)->computeArea();
}
};
class Circle : public Shape{
private:
double r;
public:
Circle(double radius) : r(radius) {}
double computeArea() const { return 3.14159 * r * r; }
};
class Rectangle : public Shape{
private:
double w, h;
public:
Rectangle(double width, double height) : w(width), h(height) {}
double computeArea() const { return w * h; }
};
每个子类调用 area() 时,实际执行的是自己定义的 computeArea(),且无需虚函数。
CRTP的常见应用场景
CRTP广泛用于需要高性能泛型编程的库设计中。
- 混合器模式(Mixin):为多个类添加通用功能,如计数、序列化、日志等
- Eigen线性代数库:大量使用CRTP实现表达式模板,优化矩阵运算
- 静态接口检查:编译期验证派生类是否实现了必需的方法
- 性能敏感代码:替代虚函数,减少间接调用开销
注意事项与局限性
CRTP虽然高效,但也有使用上的限制:
- 不能像虚函数那样通过基类指针统一管理不同派生类对象
- 错误的派生类实现会导致编译错误,而非运行时异常
- 模板膨胀可能增加编译时间和代码体积
- 调试信息不如动态多态直观
因此,CRTP适合在接口稳定、性能要求高的场景下使用。
基本上就这些。CRTP是C++模板元编程中的经典技巧,掌握它有助于理解现代C++库的设计思想,也能在合适场合写出更高效的代码。









