C++ 怎么实现多态 C++虚函数与动态绑定机制详解【面试】_网络技术

基类指针调用虚函数时执行派生类版本，因编译器生成vtable并由对象vptr在运行时动态绑定；须通过指针或引用调用且函数声明为virtual，否则静态绑定。

因为编译器在遇到 virtual 声明的函数时，会为该类生成虚函数表（vtable），每个对象头部隐式存储一个指向该表的指针（vptr）。运行时通过 vptr 找到对应函数地址，完成动态绑定。

关键前提是：必须通过指针或引用调用，且函数声明为 virtual。直接用对象值传递会触发静态绑定（即切片 + 编译期决议）。

vtable 是编译器生成的静态数组，每个元素是函数指针，顺序与类中 virtual 函数声明顺序一致。单继承下，派生类 vtable 会复制基类部分，并覆盖被重写的函数地址；多继承则可能有多个 vptr，布局更复杂。

注意：vtable 不是对象的一部分，而是类级别的只读数据；vptr 才是每个对象开头的指针（通常 8 字节，在 64 位系统上）。

override 不是语法糖，它让编译器检查：当前函数是否真的重写了基类的 virtual 函数。拼错函数名、参数不匹配、const 修饰不一致都会报错。

final 则禁止后续派生类再重写该函数，或禁止整个类被继承。两者都用于把本应在运行时暴露的问题（如意外未重写、误覆写）提前到编译期捕获。

最常见的是在构造函数和析构函数内部调用虚函数——此时动态绑定不生效，调用的是当前正在构造/析构的那个类的版本，而非最终派生类的版本。

原因：对象的 vptr 在构造函数执行过程中逐步被修改（先设为基类 vtable 地址，再逐层更新），析构时则逆向还原。所以中间状态无法反映完整类型。

虚函数机制本身开销很小（一次指针解引用 + 偏移寻址），但真正容易出问题的地方，往往不是“怎么写”，而是“在哪调”和“谁来管生命周期”。尤其是跨模块传递对象、用智能指针管理多态对象时，vptr 的存在和析构顺序会直接影响行为是否符合预期。