java引用类型与多态紧密关联：引用变量决定编译时可见成员，运行时对象类型决定实际执行方法；多态需继承、重写非静态非私有非final方法、父类引用指向子类对象三条件缺一不可。
Java引用数据类型和多态性不是两个孤立概念，而是紧密咬合的底层机制：引用变量决定了你能“看到什么”，而多态决定了你“实际执行什么”。理解这一点，才能真正避开编译通过但运行出错、方法调用不符合预期等常见陷阱。
引用类型：编译时视角与运行时对象的分离
在Java中，一个声明如 Animal a = new Dog(); 包含两个关键信息：
- 编译时类型（左边）：是 Animal，它决定了你能调用哪些方法和访问哪些字段——只能是 Animal 类中定义或继承的成员；
- 运行时类型（右边）：是 Dog，它决定了实际执行哪个方法体——只要该方法被重写，就走 Dog 版本。
这种分离正是多态的前提。如果只写 Dog d = new Dog();，虽然对象仍是 Dog，但没有类型差异，也就谈不上多态行为。
多态生效的三个硬性条件
缺一不可，否则看似像多态，实则只是普通继承或静态绑定：
- 存在继承关系（或接口实现），比如 Dog extends Animal；
- 子类重写了父类的非静态、非 private、非 final 方法；
- 使用父类类型引用指向子类对象，例如 Animal a = new Dog();
注意：成员变量和静态方法不参与多态。哪怕 Animal a = new Dog();，访问 a.name（假设 name 是变量）或 a.staticMethod()，结果都只取决于 Animal 类的定义，不会动态切换。
向上转型与向下转型的实际边界
多态天然伴随转型操作：
- 向上转型（自动）：如 Animal a = new Dog();，安全、无需强制转换，是多态的起点；
- 向下转型（手动）：如 Dog d = (Dog)a;，必须确保 a 实际指向 Dog 或其子类，否则抛出 ClassCastException；
- 用 if (a instanceof Dog) 判断后再转型，是防御性编码的标配，尤其在集合遍历或方法参数不确定具体类型时。
转型不是为了“绕过”多态，而是当确实需要调用子类特有方法（如 Dog 的 bark()）时的必要手段。
为什么多态只对方法有效，不对字段和静态方法生效？
本质在于绑定时机不同：
- 实例方法：JVM 在运行时根据对象实际类型查虚方法表（vtable），实现动态绑定；
- 实例变量：编译期就确定访问哪个类的字段，不查对象实际类型；
- 静态方法：属于类而非对象，调用完全由引用类型决定，与 new 后面是什么无关。
举个例子：Animal a = new Dog(); 调用 a.eat() 执行 Dog 的版本；但访问 a.legCount（假设 Animal 和 Dog 都有该字段）取的是 Animal 的值；调用 a.sleep()（静态）执行的是 Animal 类里的 sleep 方法，哪怕 Dog 也定义了同名静态方法。
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
