虚方法调用通过vtable和vptr实现运行时动态绑定，需经基类引用/指针调用且对象为派生类实例；构造/析构中vptr动态更新，Java/C#默认虚，C++需显式virtual声明。
虚方法调用（Virtual Method Call）是面向对象语言实现运行时多态的核心机制，其本质是通过虚函数表（vtable）和虚函数指针（vptr）在运行时动态决定调用哪个具体实现。它不是编译期绑定，而是在对象实际类型已知后，由运行时系统查表跳转完成的间接调用。
虚方法如何触发动态绑定
当一个方法被声明为 virtual（C++）、override（C#）或具有运行时分派语义（如 Java 中非 private/static/final 的实例方法），编译器会将其纳入类的虚函数表。只要通过基类引用或指针调用该方法，且实际对象是派生类实例，就会启用动态绑定：
- 编译器不直接生成 call 指令指向某个固定地址，而是生成查表+间接调用指令
- 每个含虚函数的类拥有唯一虚函数表，表中按声明顺序存放函数指针
- 每个对象实例头部（或单独存储）包含指向所属类虚函数表的指针（vptr）
- 调用发生时：取对象 vptr → 查虚表对应槽位 → 跳转到该地址执行
关键前提：必须通过基类接口访问
动态绑定不会自动发生，需满足“接口抽象化”条件：
- 调用表达式左侧必须是基类类型（引用、指针或父类变量），而非具体派生类类型
- 若直接以派生类对象名调用（如 d.func()），即使 func 是虚函数，也可能被编译器静态绑定（取决于上下文和优化）
- Java/C# 中所有非 final 实例方法默认具备虚特性；C++ 必须显式用 virtual 声明，否则是静态绑定
虚函数表结构与继承关系处理
vtable 不是简单复制，而是随继承层次协同构建：
- 基类 vtable 包含自身虚函数地址，按声明顺序排列
- 派生类 vtable 首先复制基类部分，再替换被重写的函数地址，最后追加新虚函数
- 多重继承下，派生类可能含多个 vptr（指向不同基类子表），调用时需根据静态类型选择对应 vptr
- 构造/析构期间 vptr 会动态更新：构造函数中 vptr 指向当前正在构造的类的 vtable，确保虚函数调用安全
常见误区与注意事项
理解虚方法调用不能只看语法，更要关注对象状态和调用上下文：
- 构造函数中调用虚函数，实际执行的是当前构造阶段类的版本，不是最终派生类的重写版
- 析构函数建议声明为 virtual（尤其基类有虚函数时），否则 delete 基类指针可能导致派生类析构函数未执行
- 内联（inline）与虚函数互斥：编译器通常拒绝内联虚调用，因其目标地址在编译期未知
- 现代 JIT（如 HotSpot）或 AOT 编译器可能做去虚拟化（devirtualization）优化：若分析出实际类型唯一，会还原为直接调用提升性能
