crtp是一种通过模板实现静态多态的技术，能够消除虚函数调用的运行时开销，适用于编译期已知类型且性能敏感的场景，其核心是基类以派生类为模板参数，使函数调用在编译期解析并可能被内联，从而避免虚表查找，但牺牲了运行时多态灵活性，不支持动态类型绑定和多态容器，适合高频调用、模板库开发等静态场景。
在C++中，虚函数是实现多态的常用手段，但它会带来一定的运行时开销：每次调用虚函数都需要通过虚函数表（vtable）进行间接跳转，这不仅影响性能，还可能阻碍编译器优化（如内联）。如果你追求极致性能，尤其是在模板库或高频调用场景中，可以考虑使用CRTP（Curiously Recurring Template Pattern）来替代动态多态，从而将多态行为在编译期解析，消除虚函数调用开销。
什么是CRTP？
CRTP 是一种静态多态技术，其基本形式是让基类以派生类作为模板参数继承自身：
template <typename Derived>
class Base {
public:
void interface() {
static_cast<Derived*>(this)->implementation();
}
};
class Derived : public Base<Derived> {
public:
void implementation() {
// 具体实现
}
};这种模式在编译期就能确定调用目标，因此没有虚函数表的开销，且函数调用可能被内联优化。
立即学习“C++免费学习笔记（深入）”；
如何用CRTP替代虚函数
假设你原本使用虚函数实现一个绘图接口：
class Shape {
public:
virtual void draw() const = 0;
virtual ~Shape() = default;
};
class Circle : public Shape {
public:
void draw() const override { /* 绘制圆 */ }
};
class Square : public Shape {
public:
void draw() const override { /* 绘制方形 */ }
};每次调用
draw()都需要查虚表。使用CRTP后，可以改为：
template <typename Derived>
class Shape {
public:
void draw() const {
static_cast<const Derived*>(this)->draw();
}
};
class Circle : public Shape<Circle> {
public:
void draw() const { /* 绘制圆 */ }
};
class Square : public Shape<Square> {
public:
void draw() const { /* 绘制方形 */ }
};现在
draw()调用是静态绑定的，编译器知道具体类型，可以直接内联函数体，完全没有运行时开销。
CRTP的优势与适用场景
- 零运行时开销：没有虚函数表查找，调用可被内联。
- 更好的编译期优化：编译器能进行更激进的优化，如常量传播、死代码消除。
- 类型安全更强：避免了运行时类型识别（RTTI）的不确定性。
- 适合模板库开发：如Eigen、Boost等高性能库广泛使用CRTP。
适用场景包括：
- 高频调用的接口（如数学计算、图形渲染）
- 模板组件库中的接口抽象
- 对性能敏感的嵌入式或游戏开发
- 已知类型集合的多态行为（编译期可知）
注意事项与限制
虽然CRTP性能优越，但也有明显局限：
- 不能在运行时决定类型：CRTP是静态多态，无法像虚函数那样通过基类指针持有未知派生类对象。
- 代码膨胀风险：每个派生类都会实例化一份基类模板代码，可能导致二进制体积增大。
- 接口变更影响大：基类模板的修改会影响所有派生类的编译。
-
不支持多态容器：你不能像
std::vector<std::unique_ptr<Shape>>
那样存放不同CRTP类型的对象。
如果需要运行时多态，但又想减少虚函数开销，可以考虑混合策略：
例如使用小型对象优化 + 虚函数特化，或用
std::variant替代继承体系。
总结
使用CRTP替代虚函数是一种有效的性能优化手段，特别适合在编译期已知类型、且对性能要求高的场景。它通过静态多态消除了虚函数调用的间接跳转和阻止内联的问题，让多态行为“免费”。
但也要注意：CRTP不是万能替代品。它牺牲了运行时灵活性，适用于“接口固定、实现多样、调用频繁”的情况。
如果你的多态逻辑在编译期就能确定，那CRTP是一个值得考虑的高性能选择。
基本上就这些。
