c++中的编译期和运行期多态_c++ CRTP与虚函数对比

运行期多态通过虚函数实现，调用时经由虚表在运行时确定具体函数，如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 是一种模板技术，让基类知道其派生类类型，在编译时完成函数绑定。

基本结构：

标签： c++ 内存占用 speak