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

Java中静态绑定在编译期确定，适用于private、static、final方法和构造器；动态绑定在运行期确定，适用于可重写的实例方法，通过invokevirtual指令查vtable实现。

Java方法重写必须发生在父子类继承关系中，本质是运行时多态，要求方法签名完全一致（参数类型严格相同、返回值可协变），private/static/构造方法不可重写，@Override注解用于编译期校验。

只有通过基类指针或引用调用虚函数时才能触发运行时多态；直接用对象名调用永远静态绑定，且需同时满足：函数声明为virtual、通过指针/引用调用、实际指向派生类对象。

只有被virtual显式修饰的成员函数，且通过指针或引用调用时，才触发动态绑定；普通函数、静态函数、构造函数及非virtual析构函数均不参与虚函数机制。

继承是多态的结构基础，多态是继承的行为表现；abstract用于父类只定义契约不实现时，virtual用于提供默认行为且允许覆盖；多态仅在父类引用调用虚/抽象方法时生效。