运行期多态通过虚函数实现,调用时经由虚表在运行时确定具体函数,如Animal基类指针调用Dog::speak();编译期多态采用CRTP,利用模板在编译时静态分发,如Base中通过static_cast调用implementation;前者灵活但有性能与内存开销,后者高效紧凑但类型需编译前确定;选择依据性能、内存、扩展性需求,现代c++常混合使用。

在C++中,多态通常指一个接口表现出多种形态的能力。根据实现时机的不同,多态可分为编译期多态和运行期多态。这两种机制分别由CRTP(Curiously Recurring Template Pattern)和虚函数实现,各有优劣和适用场景。
运行期多态:基于虚函数的动态分发
运行期多态通过继承和虚函数实现,调用哪个函数在程序运行时才确定。
核心机制:
例如:
立即学习“C++免费学习笔记(深入)”;
class Animal { public: virtual void speak() = 0; virtual ~Animal() = default; }; <p>class Dog : public Animal { public: void speak() override { std::cout << "Woof!n"; } };</p><p>Animal* a = new Dog(); a->speak(); // 运行时决定调用 Dog::speak()</p>
特点:
- 灵活性高:支持任意数量的派生类型,可在运行时动态选择行为
- 有性能开销:每次调用需通过虚表(vtable)查找,存在间接跳转
- 需要虚表指针:每个对象额外占用一个指针大小的内存
- 支持运行时类型识别(RTTI)
编译期多态:CRTP 实现静态分发
CRTP 是一种模板技术,让基类知道其派生类类型,在编译时完成函数绑定。
基本结构:
template<typename Derived> class Base { public: void Interface() { static_cast<Derived*>(this)->implementation(); } }; <p>class Derived : public Base<Derived> { public: void implementation() { std::cout << "CRTP calln"; } };</p>
调用 Derived d; d.interface(); 会触发编译期解析,直接内联到 Derived::implementation()。
特点:
- 零运行时开销:无虚函数调用,可被完全内联优化
- 无额外内存成本:不使用虚表,对象更紧凑
- 类型安全更强:错误在编译期暴露
- 牺牲灵活性:所有类型必须在编译前确定
CRTP vs 虚函数:关键对比
从以下几个维度比较两者:
- 性能: CRTP 更快,避免了虚函数调用的间接性,编译器可做更多优化
- 内存: CRTP 节省每个对象一个虚表指针的空间
- 扩展性: 虚函数允许新增派生类而不修改已有代码,适合插件式架构
- 泛型能力: CRTP 可与模板结合实现更复杂的静态接口约束
- 调试难度: CRTP 错误信息可能较复杂,尤其是深层嵌套模板时
如何选择?
如果你需要:
- 最大性能、最小内存占用、已知类型集合 → 选 CRTP
- 运行时加载模块、未知数量的派生类、动态行为切换 → 选虚函数
现代C++常采用混合策略:底层库用CRTP提升效率(如Eigen),上层接口用虚函数提供灵活性。
基本上就这些。理解两者的差异,能帮助你在设计时做出更合适的权衡。