Java多态面试高频考点解析

重写必须满足：方法名与参数列表完全一致；返回类型为相同或子类型；不能重写private、static、final方法；访问修饰符不可更严格；检查异常不能更宽泛。

Java多态本身不难，但面试官爱考的点往往卡在「编译时类型 vs 运行时类型」「重写规则边界」「向上转型后能调什么」这些细节上——答错一个就容易被追问到底。

重写（Override）必须满足哪些条件？

这是多态能成立的前提。不满足任一条件，就不是重写，而是重载或隐藏，多态不会发生。

• 方法名、参数列表（个数、类型、顺序）必须完全一致；return 类型只能是相同或子类型（协变返回）
• private、static、final 方法不能被重写（private 方法甚至不可见，static 属于类，final 显式禁止）
• 访问修饰符不能更严格（如父类 protected，子类不能改成 private），但可以更宽松（如改成 public）
• 抛出的异常：子类不能抛出比父类更宽泛的检查异常（Exception），但可以抛出更具体的（如 IOException）或不抛

为什么 new Parent().method() 和 (Parent)new Child().method() 行为一样，但 Parent p = new Child(); p.method() 才体现多态？

关键不在“有没有转型”，而在“变量声明类型”和“实际对象类型”是否分离。前者两个例子中，编译期和运行期类型始终一致（都是 Parent 或都由 Child 构造但立即转成 Parent 引用并调用），没有动态绑定触发条件。

只有当引用变量是父类类型（Parent p），而指向子类实例（= new Child()），且调用的是**可重写实例方法**时，JVM 才会在运行时查虚方法表（vtable），选中子类版本。

注意：static 方法、final 方法、构造器、成员变量访问，都不走这个流程——它们全看**左边引用类型**（即编译时类型）。

instanceof 和强制转型（cast）常见误用点

很多人以为 instanceof 只是“安全判断”，其实它还隐含了对 null 的容忍（null instanceof X 永远为 false），而强制转型遇到 null 不会报错，但后续调用方法会 NPE。

• 转型前不判 instanceof → 运行时可能抛 ClassCastException
• 判了 instanceof 却没转型 → 编译不过（无法直接调子类特有方法）
• 转型后仍用父类引用接收（如 Parent p = (Child)obj）→ 转型无效，还是只能调 Parent 方法
• 接口类型转型（如 obj instanceof Runnable）和类转型规则一致，但要注意实现类是否真实现了该接口

字段访问、static 方法、构造器为什么不参与多态？

因为它们都不通过虚方法调用机制分派。JVM 在编译期就锁死了符号引用目标：

• 字段（包括 public 成员变量）：只看**引用声明类型**。子类同名字段会隐藏父类字段，不是覆盖
• static 方法：归属类，调用目标由**编译时类型**决定。哪怕 Parent p = new Child()，p.staticMethod() 也调 Parent 的
• 构造器：本质是初始化本类状态，不可能“让父类构造器去执行子类逻辑”，所以不存在多态概念

class A {
    String name = "A";
    static String type = "A";
    void show() { System.out.println(name); }
    static void print() { System.out.println(type); }
}
class B extends A {
    String name = "B";
    static String type = "B";
    void show() { System.out.println(name); }
    static void print() { System.out.println(type); }
}
// 测试：
A a = new B();
System.out.println(a.name);     // 输出 "A"（字段不覆盖）
System.out.println(A.type);     // 输出 "A"
a.print();                      // 输出 "A"（static 方法不看实例）
a.show();                       // 输出 "B"（实例方法才多态）

真正容易翻车的地方，从来不是“能不能多态”，而是“你以为能多态的，其实根本没走多态流程”——比如对着 static 方法讲动态绑定，或者把字段遮蔽当成属性覆盖。盯住「调用目标在编译期确定」还是「运行期查 vtable」，就少踩八成坑。