Java中静态绑定在编译期确定，适用于private、static、final方法和构造器；动态绑定在运行期确定，适用于可重写的实例方法，通过invokevirtual指令查vtable实现。
Java中多态的静态绑定和动态绑定怎么区分
Java多态的核心在于“同一个引用调用，执行不同实现”，但具体哪个方法被调用，取决于绑定时机：编译期决定的是静态绑定，运行期决定的是动态绑定。关键判断依据是方法是否可被重写（override）——只有 private、static、final 方法和构造器走静态绑定；其余实例方法默认走动态绑定。
常见误判点：看到 super.method() 或子类中同名方法就以为是动态绑定，其实 super. 显式调用父类版本，属于编译期确定的静态分派；而 obj.method() 中 obj 是父类类型但实际指向子类对象，才触发动态绑定。
-
static方法看似“被继承”，实则只是隐藏（hiding），调用完全看引用声明类型 -
private方法不能被重写，子类里同名方法是全新方法，与父类无绑定关系 - 字段（
field）不参与多态，访问永远看引用类型，不是实际对象类型
为什么重写 toString()、equals() 后能体现多态效果
因为这些是实例方法，且未被 final 修饰，JVM 在运行时通过对象的实际类（而非引用类型）查找方法表（vtable），从而定位到子类重写的版本。这是动态绑定的典型表现。
注意：若子类没重写，JVM 会沿继承链向上查找，直到 Object 类中的默认实现。这个过程发生在运行期，和编译时的类型检查无关。
立即学习“Java免费学习笔记（深入）”；
class Animal { public String toString() { return "Animal"; } }
class Dog extends Animal { public String toString() { return "Dog"; } }
Animal a = new Dog();
System.out.println(a.toString()); // 输出 "Dog"，不是 "Animal"
这里 a 声明为 Animal，但 new Dog() 让它实际持有子类对象，toString() 调用被动态绑定到 Dog.toString()。
final 方法为什么无法被多态调度
final 方法在编译期就被标记为不可覆盖，JVM 可以安全地将其内联或直接绑定到声明类的实现，跳过运行时方法表查找。这既是语言约束，也是 JVM 的优化前提。
- 即使子类定义了同签名方法，也不会构成重写，只是独立方法（编译器会报错）
- 反射调用
Method.invoke()仍可绕过限制，但这不属于正常多态机制范畴 - 接口中的
default方法不是final，可被实现类重写，因此支持动态绑定
从字节码看 invokevirtual 和 invokestatic 的区别
编译后，动态绑定的方法调用生成 invokevirtual 指令，它依赖操作数栈顶对象的实际类型查 vtable；而静态绑定用 invokestatic（static 方法）、invokespecial（构造器、private、super. 调用）——这些指令的目标方法在字节码里已硬编码，不查运行时类型。
一个容易忽略的细节：invokespecial 看似“特殊”，但它对 super.method() 的处理仍是静态的，哪怕子类重写了该方法，super. 调用也绝不会跳转过去。
// 编译后，下面两行生成不同指令： obj.normalMethod(); // invokevirtual obj.staticMethod(); // invokestatic super.normalMethod(); // invokespecial
真正影响多态行为的，从来不是方法名或参数，而是字节码指令类型 + 运行时对象的实际类信息。理解这点，才能看清所谓“父类引用指向子类对象”背后没有魔法，只有明确的绑定规则和查找路径。
