重写方法时返回值类型须为父类返回类型的协变类型（相同或子类），检查型异常只能缩小或不抛出，运行时异常无限制；编译器严格校验并报错违规情况。

重写方法时，返回值类型必须是父类方法返回类型的协变类型（即相同或其子类型），异常只能抛出父类方法声明中已有的检查型异常的子类，或不抛出检查型异常；运行时异常不受限制。

返回值类型必须满足协变规则

Java 允许重写方法使用更具体的返回类型（协变返回类型），但不能更宽泛。前提是返回类型是引用类型，且子类返回类型是父类返回类型的子类或相同类型。

• ✅ 合法：父类返回 Object，子类重写返回 String 或 List>
• ✅ 合法：父类返回 Number，子类返回 Integer
• ❌ 非法：父类返回 String，子类返回 Object（变宽，破坏多态安全）
• ❌ 非法：父类返回基本类型（如 int），子类不能改为 long 或包装类（基本类型不支持协变）

检查型异常（checked exception）只能缩小或不抛出

子类重写方法声明的 throws 子句，不能新增父类方法未声明的检查型异常，也不能声明更宽泛的检查型异常类型。

Java调试

通过 JDWP 实现 Java 远程调试：连接远程 JVM、设置断点、单步执行代码、查看变量值、获取调用栈。适用于需要调试远程 Java 应用、排查运行时状态、追踪代码执行流程的场景。 术语注解 JDWP：Java Debug Wire Protocol，Java 调试有线协议（Java 远程调试底层通信协议） remote JVM：远程 Java 虚拟机 step through code：代码单步调试（步入 / 步过 / 步出调试） inspect variables：变量查看 / 变量检视 stac

下载

• ✅ 合法：父类声明 throws IOException，子类可声明 throws FileNotFoundException（FileNotFoundException 是 IOException 的子类）
• ✅ 合法：父类声明 throws SQLException，子类可不写 throws（即不抛出任何检查型异常）
• ❌ 非法：父类没声明异常，子类却写 throws IOException
• ❌ 非法：父类声明 throws IllegalArgumentException（运行时异常），子类加 throws IOException（检查型异常不允许新增）

运行时异常（unchecked exception）完全自由

RuntimeException 及其子类（如 NullPointerException、IllegalArgumentException）不受重写规则约束。子类方法可以抛出任意运行时异常，无论父类是否声明。

• ✅ 父类没写 throws，子类可自由加 throws IllegalArgumentException
• ✅ 父类声明 throws RuntimeException，子类可改 throw ConcurrentModificationException
• ⚠️ 注意：虽然语法允许，但应保持语义合理——不该让调用方因重写而意外遇到新运行时异常

编译器如何验证这些规则

Java 编译器在编译子类时会严格比对父类方法签名（含返回类型和 throws 列表）。只要违反上述任一限制，就会报编译错误，例如：

• "Cannot override X with return type Y" —— 返回类型不协变
• "Overridden method does not throw Y" —— 新增了未声明的检查型异常
• "Exception Y is not compatible with throws clause in X" —— throws 类型不兼容

Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南