方法重写是子类在运行时接管父类方法调用，要求签名完全一致（方法名、参数列表、擦除后类型）、返回类型协变、访问修饰符不更严格，必须用@Override防错，运行时行为由实际对象类型决定而非变量声明类型。

方法重写不是给父类方法换个名字，而是让子类在运行时“接管”调用逻辑——关键在于签名严丝合缝、对象类型决定行为、变量声明只管编译不控执行。

签名必须一字不差：方法名、参数列表、返回类型

重写生效的前提是 JVM 能准确识别“这是同一个方法”。哪怕一个细节偏差，就变成重载或新方法，多态立刻失效。

• 方法名、参数个数、每个参数的原始类型（泛型擦除后）必须完全一致。例如父类是 void save(List<String> data)，子类写成 void save(ArrayList<String> data) —— 这是重载，不是重写
• 返回类型允许协变：父类返回 Animal，子类可返回 Dog；但不能把 int 改成 Integer，也不能把 Object 改成 String（非父子关系）
• 访问修饰符不能更严格：父类是 protected，子类不能用 private 或包级私有；但可以升级为 public

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

它不参与运行，但会在编译阶段揪出所有“假重写”：拼错方法名、参数类型写反、父类方法已被删除……没它，bug 隐蔽得极深。

• 一旦加了 @Override 却编译失败，说明你根本没重写成功——别改调用方，先校验签名
• IDE 自动生成重写方法时默认带该注解，应养成“手写也补上”的习惯
• 常见误判：父类方法是 private，子类同名方法加 @Override 会直接报错，这正是它在提醒你“不可见，谈不上重写”

变量类型只影响编译，对象类型才决定运行时走哪条路

声明为 Animal a = new Dog()，编译器只认 Animal 里有的方法；但一运行，JVM 看的是堆里那个真实对象——Dog 实例，自动跳转到 Dog 的重写版本。

• 若子类新增了 bark() 方法，用 Animal 类型变量无法调用，必须显式转型：((Dog) a).bark()
• 即使把变量改成 Dog d = new Dog()，只要方法本身是重写的，其行为逻辑仍由对象实例决定，和变量名无关
• 构造器中调用将被重写的方法是高危操作：此时子类字段尚未初始化，JVM 仍走父类逻辑，极易触发 NullPointerException

要不要 super.xxx()？取决于业务语义，而非语法强制

重写是覆盖，不是追加。是否复用父类逻辑，由你设计，JVM 不干预。但漏掉关键步骤（如资源清理、字段初始化）常因忘记 super 调用。

• 需要扩展时才调用：toString() 中想保留父类字段，就在开头写 super.toString()；close() 中需释放父类持有的资源，结尾加 super.close()
• super 只能在非 static、非 private、非 final 的实例方法中使用
• 如果父类方法声明了受检异常，子类重写时只能抛出相同异常或其子类，否则编译失败