1.94、可不可以实现具有多态行为但没有虚函数开销的类？

1. 虚函数多态的开销

• • 传统的运行时多态依赖虚函数表（vtable）和虚函数指针，调用时需要一次间接寻址，带来一定的性能开销和内存开销。
• • 虚函数还会增加类对象的大小（存储vptr）和编译复杂度。

2. 静态多态（无虚函数开销的多态）

• • 静态多态通过模板和编译期解析实现，函数调用在编译时确定，不涉及运行时的虚表查找，性能开销极低。
• • CRTP是实现静态多态的典型模式：基类模板以派生类作为模板参数，基类通过static_cast调用派生类的函数，实现类似虚函数的多态行为，但完全在编译期绑定。

示例简化版：

template
class Base {
public:
    void interface() {
        static_cast(this)->implementation();
    }
};

class Derived : public Base {
public:
    void implementation() {
        // 派生类具体实现
    }
};

调用interface()时，编译器直接绑定到Derived::implementation()，无虚函数开销。

3. 静态多态的限制

• • 不能实现真正的运行时多态，行为在编译期固定，无法在运行时动态切换类型。
• • 不能通过基类指针或引用统一管理不同派生类型对象（除非结合类型擦除等技术）。
• • 代码复杂度和可读性较虚函数多态差，模板编译时间增加。

4. 其他无虚函数多态方案

• • 访问者模式、类型擦除（如std::function、std::any）、手动函数指针表等，也可实现多态行为但无虚函数开销，适合特定场景。

总结

• • 虚函数多态提供灵活的运行时多态，但带来调用开销和内存开销。
• • **静态多态（如CRTP）**可实现无虚函数开销的多态行为，调用在编译期绑定，性能优越，但不支持运行时动态切换。
• • 选择方案需权衡性能需求与设计复杂度，性能关键路径推荐静态多态，灵活性需求高则使用虚函数多态。
  本文首发于【讳疾忌医-note】公众号，未经授权，不得转载。
  个人教程网站内容更丰富：（https://www.1217zy.vip/）