17370845950

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

在C++中，多态通常指一个接口表现出多种形态的能力。根据实现时机的不同，多态可分为编译期多态和运行期多态。这两种机制分别由CRTP（Curiously Recurring Template Pattern）和虚函数实现，各有优劣和适用场景。

运行期多态：基于虚函数的动态分发

运行期多态通过继承和虚函数实现，调用哪个函数在程序运行时才确定。

核心机制：

• 基类中声明虚函数或纯虚函数
• 派生类重写这些函数
• 通过基类指针或引用调用函数，实际执行的是对象真实类型的版本

例如：

class Animal {
public:
    virtual void speak() = 0;
    virtual ~Animal() = default;
};
class Dog : public Animal {
public:
void speak() override { std::cout << "Woof!\n"; }
};
Animal* a = new Dog();
a->speak(); // 运行时决定调用 Dog::speak()

特点：

• 灵活性高：支持任意数量的派生类型，可在运行时动态选择行为
• 有性能开销：每次调用需通过虚表（vtable）查找，存在间接跳转
• 需要虚表指针：每个对象额外占用一个指针大小的内存
• 支持运行时类型识别（RTTI）

编译期多态：CRTP 实现静态分发

CRTP 是一种模板技术，让基类知道其派生类类型，在编译时完成函数绑定。

基本结构：

template
class Base {
public:
    void interface() {
        static_cast(this)->implementation();
    }
};
class Derived : public Base {
public:
void implementation() {
std::cout << "CRTP call\n";
}
};

调用 Derived d; d.interface(); 会触发编译期解析，直接内联到 Derived::implementation()。

特点：

• 零运行时开销：无虚函数调用，可被完全内联优化
• 无额外内存成本：不使用虚表，对象更紧凑
• 类型安全更强：错误在编译期暴露
• 牺牲灵活性：所有类型必须在编译前确定

CRTP vs 虚函数：关键对比

从以下几个维度比较两者：

• 性能： CRTP 更快，避免了虚函数调用的间接性，编译器可做更多优化
• 内存： CRTP 节省每个对象一个虚表指针的空间
• 扩展性： 虚函数允许新增派生类而不修改已有代码，适合插件式架构
• 泛型能力： CRTP 可与模板结合实现更复杂的静态接口约束
• 调试难度： CRTP 错误信息可能较复杂，尤其是深层嵌套模板时

如何选择？

如果你需要：

• 最大性能、最小内存占用、已知类型集合 → 选 CRTP
• 运行时加载模块、未知数量的派生类、动态行为切换 → 选虚函数

现代C++常采用混合策略：底层库用CRTP提升效率（如Eigen），上层接口用虚函数提供灵活性。

基本上就这些。理解两者的差异，能帮助你在设计时做出更合适的权衡。