CRTP能替代虚函数实现零开销多态，因其通过模板参数在编译期确定派生类类型，使static_cast<Derived*>(this)->func()成为静态绑定的普通函数调用，可完全内联、无vtable查表开销。
CRTP为什么能替代虚函数实现零开销多态
虚函数调用开销主要来自vtable查表（间接跳转）和无法内联，而CRTP通过模板参数把派生类类型在编译期注入基类，让所有函数调用变成静态绑定——Base<Derived> 中的 static_cast<Derived*>(this)->func() 是普通函数调用，编译器能完全内联、优化甚至常量传播。
关键前提是：你不需要运行时决定调用哪个具体类型；只要多态行为在编译期可确定（比如策略类、容器适配器、表达式模板），CRTP就适用。
怎么写一个最小可用的CRTP基类
核心就三点：基类是模板、构造函数不接管、派生类显式继承 Base<Derived>。别漏掉 static_cast，否则会无限递归调用基类版本。
- 基类定义必须带模板参数：
template <typename Derived> class Shape { ... }; - 派生类必须显式传入自身类型：
class Circle : public Shape<Circle> { ... }; - 基类中调用派生类接口必须用
static_cast<Derived*>(this)->draw()，不能直接写draw() - 避免在基类构造函数里调用派生类方法——此时派生类对象还没构造完，
static_cast行为未定义
template <typename Derived>
struct Shape {
void render() { static_cast<Derived*>(this)->draw(); }
};
<p>struct Circle : Shape<Circle>
{
void draw() { /<em> 实际绘制逻辑 </em>/ }
};
虚函数转CRTP时最容易踩的三个坑
不是所有虚函数都能无痛替换。以下情况会直接失效或引入隐蔽问题：
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
立即学习“C++免费学习笔记（深入）”；
- 需要运行时类型擦除（比如
std::vector<std::unique_ptr<Shape>>）——CRTP没有共同基类，无法统一存储，得换用std::variant或类型擦除库 - 派生类有多个模板参数（如
template<typename T, int N> class Array）——CRTP基类只能接受一个模板参数，需用包装别名或using折叠 - 基类要访问派生类的私有成员——
friend class Derived;必须加在基类里，否则编译失败
另外，CRTP会让编译时间明显上升，每个派生类实例化都会生成一份基类代码，模板膨胀比虚函数表更“实打实”。
什么时候该坚持用虚函数而不是硬上CRTP
如果出现以下任一情况，强行CRTP反而增加复杂度和维护成本：
- 对象生命周期由工厂或配置决定（如插件系统、序列化反构造成对象）
- 需要
dynamic_cast或typeid做运行时类型判断 - 基类接口频繁变更，而派生类分散在不同模块——CRTP要求所有派生类重编译，虚函数只需改头文件
- 性能瓶颈根本不在虚调用上（比如IO或算法本身耗时远大于一次vcall），优化错地方了
CRTP不是银弹，它把运行时成本转嫁到了编译期和二进制体积上。真正要消除的不是“虚函数”，而是“不必要的动态分发”。
