Java的异常传播机制指的是当方法内部抛出异常且未在当前方法内被捕获处理时，异常会沿着方法调用栈向上传递，直到找到匹配的处理器或者传递到最顶层导致程序终止的过程。方法栈是Java虚拟机管理方法调用的数据结构，每个方法调用都会对应一个栈帧，异常传播的核心逻辑就是在这些栈帧中查找合适的异常处理器。
异常传播的基础规则
当Java程序执行过程中出现异常时，会先在当前方法的异常表（Exception Table）中查找是否有匹配当前异常类型的catch块。如果找到匹配的catch块，就会执行该块内的逻辑，异常传播终止。如果当前方法没有匹配的catch块，当前方法的栈帧会被弹出，异常会被抛到调用当前方法的上层方法，继续在上层方法的异常表中查找处理器，这个过程会一直重复。
异常表的作用
每个Java方法的字节码中都包含异常表，记录了该方法中try-catch块覆盖的范围和对应的异常类型。当异常抛出时，虚拟机会遍历当前方法的异常表，判断抛出的异常是否在某个try块的范围内，并且异常类型是否和catch声明的类型匹配（包括子类匹配父类的规则）。
方法栈中异常寻找处理器的完整流程
我们可以通过一个多层方法调用的示例来观察整个流程，首先定义三个依次调用的方法，每个方法都抛出或传递异常：
public class ExceptionPropagationDemo {
// 第三层方法，直接抛出异常
public static void thirdMethod() throws Exception {
throw new Exception("第三层方法抛出异常");
}
// 第二层方法，调用第三层方法，不捕获异常
public static void secondMethod() throws Exception {
thirdMethod();
}
// 第一层方法，调用第二层方法，捕获异常
public static void firstMethod() {
try {
secondMethod();
} catch (Exception e) {
System.out.println("第一层方法捕获到异常：" + e.getMessage());
}
}
public static void main(String[] args) {
firstMethod();
}
}
上述代码的执行流程如下：
- main方法调用firstMethod，firstMethod进入
try块后调用secondMethod - secondMethod调用thirdMethod，thirdMethod直接抛出Exception类型的异常
- thirdMethod内部没有
catch块，thirdMethod的栈帧被弹出，异常抛给secondMethod - secondMethod也没有
catch块，secondMethod的栈帧被弹出，异常抛给firstMethod - firstMethod的
try块覆盖了secondMethod的调用，且catch块匹配Exception类型，因此执行catch块内的逻辑，异常传播终止
没有匹配处理器的情况
如果修改firstMethod，去掉try-catch块，异常会一直传播到main方法，如果main方法也没有捕获，最终会传播到Java虚拟机的默认异常处理器，打印异常堆栈信息并终止程序：
public class ExceptionPropagationDemo2 {
public static void thirdMethod() throws Exception {
throw new Exception("第三层方法抛出异常");
}
public static void secondMethod() throws Exception {
thirdMethod();
}
public static void firstMethod() throws Exception {
secondMethod();
}
public static void main(String[] args) throws Exception {
firstMethod();
}
}
执行上述代码后，控制台会输出完整的异常堆栈，从抛出点开始依次展示每个调用的方法，直到main方法，最终程序终止。
异常传播中的注意事项
首先，异常传播时只会查找匹配当前异常类型或者其父类的catch块，如果catch声明的异常类型是当前抛出异常的子类，是无法匹配到的。其次，如果在catch块中又抛出了新的异常，那么新的异常会替代原来的异常继续向上传播，原来的异常信息会被新的异常覆盖，除非使用initCause方法保留原始异常。
另外，finally块的执行时机是在try或者catch块执行完成之后，异常传播之前，无论是否有异常抛出，finally块都会执行，除非程序在try或catch块中调用了System.exit方法。
异常传播机制的设计目的是让开发者可以在合适的层级处理异常，不需要在每个方法中都处理所有可能的异常，降低了代码的冗余度，同时也让异常的处理逻辑更加集中，便于维护。