17370845950

重载是编译期行为，发生在同一类中，仅由方法名和参数列表（类型、数量、顺序）决定；重写是运行期多态核心，发生在父子类间，要求签名一致、访问不更严、异常不更宽，且需@Override校验。

重载（Overload）发生在同一个类里，靠参数列表区分

方法重载是编译期行为，JVM 在编译时就根据 方法名 和 参数类型、数量、顺序 确定调用哪个方法。返回类型、访问修饰符、异常声明都不参与重载判断。

常见错误：以为改了 return 类型就算重载 —— 不算，会编译报错 method xxx is already defined。

• void print(String s) 和 void print(int i) 是重载
• String get() 和 int get() 不是重载，编译失败
• void show(List list) 和 void show(List list) 也不是重载（泛型擦除后都是 List）

重写（Override）发生在父子类之间，必须满足签名一致+访问更宽+异常更窄

重写是运行期多态的核心，依赖对象实际类型（而非引用类型）决定调用哪个方法。但前提是方法签名完全一致，且满足以下约束：

• 方法名、参数列表、返回类型（或其子类型，Java 5 起支持协变返回）必须相同
• 访问修饰符 不能比父类更严格（private → protected ✅，public → private ❌）
• 抛出的 checked exception 不能比父类更多（throws IOException 可重写为不抛或只抛 FileNotFoundException）
• 被 final、static、private 修饰的方法不能被重写

class Animal {
    public void speak() { System.out.println("sound"); }
}
class Dog extends Animal {
    @Override
    public void speak() { System.out.println("woof"); } // ✅ 正确重写
}

多态实现靠重写 + 向上转型 + 运行时绑定

Java 的多态不是靠重载，而是靠重写配合引用类型的动态分派。关键在于：声明类型是父类，实际对象是子类，调用时走的是子类重写后的方法。

容易忽略的点：static 方法和 private 方法不参与多态 —— 它们是静态绑定，看的是引用类型，不是实际对象类型。

• Animal a = new Dog(); a.speak(); → 调用 Dog.speak()
• Animal a = new Dog(); a.staticMethod(); → 调用 Animal.staticMethod()（即使 Dog 里有同名 static 方法）
• super 关键字调用的是编译期确定的父类版本，和多态无关

@Override 注解不是可选的，是防错必需的

加 @Override 不是为了“表明意图”，而是让编译器帮你检查是否真的构成重写。漏掉它可能导致你以为重写了，其实只是定义了一个新方法（比如拼错方法名、参数类型写成 int 而非 Integer），结果多态失效，bug 难发现。

示例：

class Parent { void run() {} }
class Child extends Parent {
    @Override
    void runn() {} // 编译报错：method does not override or implement a method from a supertype
}

没加 @Override，这个 runn() 就只是个普通方法，和多态完全无关。

重载和重写的边界很清晰，但真正难的是在复杂继承链和泛型混合场景下判断某个调用到底走的是哪个版本 —— 这时候得看字节码里的 invokevirtual 指令目标，而不是凭感觉猜。