C++ 虚函数全解：从基础原理到高级特性（多重继承 / 菱形继承 / CRTP 对比）

前言虚函数是 C运行时多态的核心也是面试、底层开发、嵌入式 C 必考重难点。本文从零梳理定义、特点、底层原理、覆盖与隐藏、final、纯虚函数、虚析构、构造虚函数、默认参数坑、多重继承内存模型、菱形继承最后对比 CRTP 静态多态全篇适合直接背诵 面试默写。一、什么是虚函数虚函数由virtual关键字修饰是 C 实现运行时多态的核心机制。通俗理解用父类指针 / 引用当入口程序运行时实际自动执行子类重写的函数版本。1.1 虚函数三大特点多态绑定运行时按照对象实际类型调用对应函数而不是指针的声明类型。理解继承父类接口行为但是实现自己独有逻辑。继承性派生类可以使用override显式重写基类虚函数。多态调用必须通过基类指针 / 基类引用才能触发多态。cppAnimal *p new Dog(); // 父类指针指向子类对象触发多态二、虚函数实现原理2.1 虚函数表 vtable 虚指针 vptr虚函数表 vtable由编译器自动生成每个有虚函数的类独有一张虚表存放当前类所有虚函数的地址所有同类型对象共用同一张虚表虚指针 vptr每个对象独有一个 vptr指向当前类的虚函数表普通对象只有成员变量含虚函数对象成员变量 vptr 指针示例cppA a1, a2, a3; // 3个对象共用A同一张虚表 B b1, b2; // 2个对象共用B同一张虚表2.2 虚函数调用过程通过对象找到自身 vptr通过 vptr 找到所属类的 vtable在虚表中取出虚函数地址跳转执行函数三、虚函数关键特性3.1 覆盖 override 和 隐藏 hiding覆盖Override有 virtual运行时动态绑定父类指针调子类实现真正多态隐藏Hiding无 virtual编译期静态绑定父类调子类、子类调子类互不干扰不触发多态3.2 final 关键字 C11修饰虚函数禁止子类重写cppclass Base { public: virtual void foo() final {} }; class Derived : public Base { // 编译报错无法重写final虚函数 void foo() {} };修饰类禁止被继承cppclass Base final{}; class Derived : public Base{}; // 编译报错3.3 纯虚函数与抽象类纯虚函数语法cppvirtual double area() 0;只有声明、无函数体。抽象类包含至少一个纯虚函数的类不能实例化对象只能作为接口模板被继承子类必须全部重写纯虚函数否则子类也变成抽象类表格类型语法是否抽象类能否实例化子类是否必须重写普通虚函数virtual void f(){}否可以可选不重写用父类纯虚函数virtual void f() 0;是不可以必须重写四、虚函数性能分析4.1 开销来源空间开销每个对象增加一个 vptr 4/8 字节每个类单独占用一张虚函数表空间时间开销运行时间接调用多 1~2 次寻址破坏编译器优化难以函数内联 inline4.2 性能优化建议性能关键路径少用虚函数无多态需求不要定义 virtual追求高性能多态改用CRTP 编译期静态多态五、虚函数高级技术5.1 虚析构函数核心结论基类析构必须加 virtual否则基类指针 delete 子类对象时只调用基类析构子类析构不执行造成内存泄漏。cppclass Base { public: virtual ~Base() {} // 必须虚析构 }; class Derived : public Base { ~Derived() override {} }; Base* p new Derived(); delete p; // 正确先析构子类再析构父类5.2 构造函数中的虚函数构造函数执行阶段虚函数机制还没完全建立只会调用当前自己类的函数版本不会触发多态。5.3 虚函数默认参数虚函数运行时动态绑定默认参数编译期静态绑定编译阶段直接替换值坑点调用的是子类函数用的却是父类默认参数。开发规范虚函数尽量不要设置默认参数。六、虚函数与对象内存模型6.1 多重继承下的虚函数场景Derived 同时继承 Base1、Base2两个基类都有虚函数。内存布局plaintextDerived 对象内存 ┌───────────────────────────┐ │ vptr1 → Base1 vtable │ ├───────────────────────────┤ │ vptr2 → Base2 vtable │ └───────────────────────────┘口诀对象里有几个带虚函数的基类就有几个 vptr逻辑上每个基类对应一张独立虚函数表。6.2 菱形继承 虚继承继承结构plaintextBase / \ Derived1 Derived2 \ / Final普通继承问题Final 会包含两份 Base 子对象造成冗余和二义性。解决使用virtual 虚继承保证最终类只保留一份共享 Base。如果 Derived1、Derived2 都重写了 Base 的虚函数Final 必须自己重写该虚函数否则编译器不知道选用哪一个父类版本产生歧义报错。七、CRTP 奇异递归模板模式7.1 核心概念CRTP 是编译期静态多态代替虚函数无虚表、无运行时开销。写法子类把自己当做模板参数传给父类。cpp运行template typename Derived class Base { public: void interface() { static_castDerived*(this)-impl(); } }; class Derived : public BaseDerived { public: void impl() { // 子类具体实现 } };7.2 CRTP 与虚函数对比表格特性虚函数CRTP绑定时机运行时动态绑定编译期静态绑定运行开销有 vptr、虚表、间接调用零开销多态类型运行时多态编译期多态适用场景框架、动态类型切换高性能、底层复用八、总结虚函数依靠vptr vtable实现运行时多态每个类一张虚表每个对象一个虚指针。override 是覆盖多态无 virtual 是名字隐藏不触发多态。final 可禁止重写、禁止继承纯虚函数构成抽象类只能做接口。基类析构必须虚析构防止内存泄漏。构造函数内虚函数无效虚函数不要用默认参数静态绑定会挖坑。多重继承有几个带虚函数基类就有几个 vptr。菱形继承用虚继承解决冗余二义性最终类必须重写冲突虚函数。要动态多态用虚函数要高性能无开销多态用 CRTP。