使用CRTP可消除虚函数运行时开销。虚函数因vtable间接调用、内存开销和阻碍优化导致性能损耗，而CRTP通过模板在编译期确定调用目标，实现静态多态，避免vtable机制，允许函数内联，提升性能。适用于性能敏感且类型在编译期已知的场景，但牺牲运行时多态能力，增加代码体积，调试复杂。需根据需求权衡选择。
在C++中，虚函数是实现多态的常用手段，但它会带来一定的运行时开7销。主要体现在虚函数调用需要通过虚函数表（vtable）间接寻址，同时每个对象会额外携带一个指向vtable的指针。对于性能敏感的场景，这种开销可能不可忽视。为此，可以使用CRTP（Curiously Recurring Template Pattern，奇异递归模板模式）实现静态多态，在编译期确定调用目标，从而消除虚函数的开销。
虚函数的性能开销
虚函数的开销主要来自以下几个方面：
- 间接调用成本：每次调用虚函数都需要通过对象的vtable查找函数地址，无法直接内联。
- 内存开销：每个带有虚函数的类实例都会包含一个指向vtable的指针（通常8字节在64位系统上）。
- 缓存不友好：vtable查找可能造成缓存未命中，尤其是在频繁调用虚函数的循环中。
- 阻止编译器优化：由于调用目标在运行时才确定，编译器难以进行内联、常量传播等优化。
例如：
// 动态多态：虚函数 struct Base { virtual void execute() = 0; };struct Derived : Base { void execute() override { / do something / } };
每次调用
execute()都需要通过虚表查找，无法内联。
立即学习“C++免费学习笔记（深入）”；
使用CRTP实现静态多态
CRTP通过模板将派生类作为模板参数传给基类，在编译期就能确定函数调用目标，避免了虚函数机制。
// 静态多态：CRTP
template
struct Derived : Base
这种方式的关键在于：
- 基类是模板，接收派生类类型作为参数。
- 调用通过
static_cast
转发到派生类的具体实现函数。 - 所有调用在编译期解析，没有vtable，也没有间接跳转。
- 编译器有机会将
execute()
和execute_impl()
都内联展开。
CRTP的优势与适用场景
CRTP的主要优势包括：
- 零运行时开销：没有虚表，没有间接调用，函数可内联。
- 更好的性能：尤其在高频调用的函数中，性能提升显著。
- 编译期多态：类型信息在编译期完全可知，便于优化和检查。
适用场景：
- 性能关键路径上的多态操作，如数学计算、图像处理等。
- 泛型库设计，如Eigen、Boost等广泛使用CRTP提升效率。
- 接口在编译期已知，不需要运行时动态绑定。
注意事项与限制
CRTP并非万能替代方案，也有其局限性：
- 失去运行时多态能力：无法像虚函数那样通过基类指针调用不同派生类对象。
- 模板实例化膨胀：每个派生类都会实例化一份基类代码，可能增加代码体积。
- 接口变更影响大：基类模板的修改可能影响所有派生类的编译。
- 调试信息更复杂：模板展开后的调用栈可能较难阅读。
因此，是否使用CRTP应根据具体需求权衡。若需要运行时多态或对象类型在运行时决定，虚函数仍是必要选择。若性能优先且类型关系在编译期确定，CRTP是更高效的替代方案。
基本上就这些。CRTP不是要完全取代虚函数，而是提供一种在合适场景下消除虚函数开销的有效手段。理解两者的代价与收益，才能写出既灵活又高效的C++代码。
