crtp能替代虚函数减少运行时开销，1.它通过模板在编译期绑定函数调用避免虚表查找；2.允许编译器优化如内联；3.适用于类型已知、性能敏感或需轻量代码的场景；4.重构步骤包括将基类改为模板、使用static_cast调用派生类实现并去除virtual关键字；5.但不支持运行时多态切换且可能增加编译时间。
虚函数调用确实会带来一定的运行时开销，尤其是在高频调用的场景下。如果你希望减少这种开销，CRTP（Curiously Recurring Template Pattern）是一个不错的替代方案。
什么是CRTP？
CRTP 是一种 c++ 中的静态多态技术，它的基本形式是让基类模板参数化为派生类类型：
template <typename Derived> class Base { public: void interface() { static_cast<Derived*>(this)->implementation(); } }; class Derived : public Base<Derived> { public: void implementation() { // 实现具体逻辑 } };
这种方式在编译期就决定了调用的目标函数，避免了虚函数表的间接跳转，从而减少了运行时开销。
立即学习“C++免费学习笔记（深入）”；
为什么用CRTP可以替代动态多态？
动态多态依赖于虚函数机制，这带来了两个主要开销点：
- 虚函数表查找：每次调用虚函数都要通过虚指针找到虚函数表，再从中查出实际函数地址。
- 无法内联优化：因为函数地址在运行时才确定，编译器通常不会对虚函数调用进行内联。
而 CRTP 的方法是在编译期绑定实现函数，没有虚函数表这一层，函数调用更像是普通成员函数调用，更利于编译器优化，比如内联、去虚化等。
在哪些场景下适合使用CRTP？
不是所有需要多态的地方都适合用 CRTP，以下是一些典型适用场景：
- 不需要运行时决定对象类型：如果对象类型在编译期就能确定，那就可以用 CRTP。
- 性能敏感路径中的多态调用：比如图形渲染循环、高频算法中，虚函数调用可能成为瓶颈。
- 希望代码更轻量且可内联：某些嵌入式系统或性能敏感项目会倾向于静态多态。
但需要注意的是：
- 不支持运行时多态切换（如 std::unique_ptr
指向不同子类） - 编译时间可能会略微增加，因为模板实例化更复杂
如何用CRTP重构已有代码？
如果你有一个使用虚函数的类层次结构，想尝试用 CRTP 替代，可以按照以下步骤操作：
- 找到抽象接口部分（通常是基类中的虚函数声明）
- 将基类改为模板类，模板参数为派生类
- 把原本的虚函数改为调用派生类的方法（通过 static_cast
(this)） - 把原来的派生类继承自 Base
- 去掉虚函数关键字 virtual 和 override
举个例子：
原本：
class Animal { public: virtual void speak() = 0; }; class Dog : public Animal { public: void speak() override { cout << "Woof"; } };
改为 CRTP 后：
template <typename Derived> class Animal { public: void speak() { static_cast<Derived*>(this)->speakImpl(); } }; class Dog : public Animal<Dog> { public: void speakImpl() { cout << "Woof"; } };
这样，speak() 调用就变成了静态绑定，没有虚函数开销。
一些注意事项和细节
- CRTP 并不能完全替代动态多态，它更适合编译期已知类型的场景。
- 如果你有多个层次的继承关系，CRTP 的写法会稍显繁琐，但依然可行。
- 避免在基类中直接访问派生类成员，除非你非常清楚它们的存在和生命周期。
- 使用 CRTP 可以配合策略模式，构建灵活又高效的组件结构。
基本上就这些。用得好，CRTP 确实能有效减少虚函数带来的性能损耗，同时保持代码结构清晰。
© 版权声明
文章版权归作者所有，未经允许请勿转载。
THE END
