多态指同一方法调用因对象实际类型不同而表现不同行为，依赖继承与方法重写。编译时类型为声明类型，用于检查方法合法性；运行时类型为对象真实类型，决定方法具体调用。动态绑定在运行时根据对象实际类型查找并执行对应方法，优先调用子类重写版本，否则向上追溯父类，实现灵活的方法分派。
在Java中理解多态方法的调用过程，关键在于掌握编译时类型和运行时类型的区别，以及方法调用是如何通过动态绑定（动态分派）实现的。
什么是多态？
多态是指同一个方法调用可以根据对象的实际类型表现出不同的行为。它依赖于继承和方法重写（override）机制。
例如：
class Animal {
void makeSound() {
System.out.println("Animal makes sound");
}
}
class Dog extends Animal {
@Override
void makeSound() {
System.out.println("Dog barks");
}
}
class Cat extends Animal {
@Override
void makeSound() {
System.out.println("Cat meows");
}
}
当我们这样调用：
立即学习“Java免费学习笔记（深入）”；
Animal a1 = new Dog(); Animal a2 = new Cat(); a1.makeSound(); // 输出：Dog barks a2.makeSound(); // 输出：Cat meows
虽然引用类型是 Animal，但实际执行的是子类重写后的方法。这就是多态的体现。
编译时 vs 运行时类型
Java在处理方法调用时会区分两个概念：
- 编译时类型：变量声明的类型。编译器根据这个类型检查方法是否存在。
- 运行时类型：对象实际创建的类型（new 后面的类）。
方法调用的解析发生在运行时，基于对象的实际类型，而不是引用类型。
盛世企业网站管理系统1.1.2
下载
免费 盛世企业网站管理系统(SnSee)系统完全免费使用，无任何功能模块使用限制，在使用过程中如遇到相关问题可以去官方论坛参与讨论。开源 系统Web代码完全开源，在您使用过程中可以根据自已实际情况加以调整或修改，完全可以满足您的需求。强大且灵活 独创的多语言功能，可以直接在后台自由设定语言版本，其语言版本不限数量，可根据自已需要进行任意设置；系统各模块可在后台自由设置及开启；强大且适用的后台管理支
比如 Animal a = new Dog();，编译时类型是 Animal，运行时类型是 Dog。
动态绑定如何工作
当调用一个被重写的方法时，JVM 使用对象的运行时类型来决定具体调用哪个版本的方法。这个过程称为动态绑定。
步骤如下：
- 编译器检查引用类型中是否有该方法（如果没有，编译失败）。
- 如果方法是实例方法且被重写，JVM 在运行时查看对象的真实类。
- JVM 查找该类中是否重写了此方法，如果有，就调用它；否则向上查找父类。
这种机制依赖于每个对象内部的，它记录了每个可重写方法的实际地址。
哪些方法不支持多态？
不是所有方法都参与动态绑定：
- 静态方法：绑定在类上，不依赖实例，调用由编译时类型决定。
- private 方法：不可被重写，仅在本类可见。
- final 方法：不能被重写，调用也是静态绑定。
- 构造方法：不支持继承，也不参与多态。
这些方法在编译时就确定了调用目标。
基本上就这些。理解多态的关键是记住：对于普通实例方法，看左边声明类型检查合法性，看右边创建类型决定执行谁的方法。JVM 在底层通过动态查找确保正确的方法被调用。
