17370845950

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

为什么基类指针调用函数时，实际执行的是派生类的版本

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

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

• 非 virtual 函数：编译期根据变量静态类型决定调用哪个版本
• virtual 函数：运行期根据对象实际类型查 vtable 决定调用哪个版本
• 构造函数不能是 virtual；析构函数建议声明为 virtual（尤其基类有指针成员时）

虚函数表（vtable）在内存中长什么样

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

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

• 可以用 sizeof 验证：带虚函数的类，即使无成员变量，sizeof 也至少为 8
• gdb 中可打印 *((void**)obj) 查看 vptr 指向的首项（即第一个虚函数地址）
• 纯虚函数在 vtable 中对应 nullptr，强制子类实现

override 和 final 关键字到底防什么

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

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

• 没加 override 时，看似重写成功，实则定义了一个新函数，基类虚函数仍按原逻辑走
• 基类函数加了 final，子类里再写同签名函数并加 override，编译直接失败
• 函数参数类型用引用/指针时，顶层 const 不影响重写判断；但底层 const（如 int* const）会影响

动态绑定失效的典型场景

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

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

• 构造函数中调用 virtual 函数，等价于调用当前类的函数（哪怕派生类已重写）
• 析构函数中同理，不会

  

  跳转到派生类实现
• 避免在构造/析构中做依赖多态的行为；如需初始化逻辑，可提取为独立的 init() 并由用户显式调用

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