异常通过调用栈向上传播，若未被捕获则导致程序终止；每层方法可用try-catch拦截，finally确保清理代码执行，throw抛出异常而throws声明可能抛出的检查型异常。
当Java程序执行过程中发生异常，如果没有在当前方法中被捕获处理，异常会沿着方法调用栈向上传播，直到被适当捕获或导致程序终止。这个过程称为异常传播机制。
异常是如何向上抛出的
Java中，每个方法都可能抛出异常。如果一个方法内出现异常且没有通过 try-catch 块处理，JVM会停止该方法的执行，并将异常对象交给调用它的方法处理。
例如，方法A调用了方法B，方法B又调用了方法C。如果方法C抛出了一个未被捕获的异常，它会依次回传给B，再由B传给A，直到有某个方法使用catch捕获它，或者最终传到main方法之外导致程序崩溃。
- 检查型异常（checked exception）必须显式处理或声明抛出
- 运行时异常（RuntimeException）和错误（Error）可以自动传播，无需强制声明
- throws关键字用于声明一个方法可能抛出的检查型异常
方法调用栈中的传播路径
异常传播依赖于线程的调用栈结构。每当异常被抛出而未被捕获，JVM就会弹出当前方法的栈帧，并把异常传递给上一层调用者。
立即学习“Java免费学习笔记（深入）”；
假设以下调用链：main → parseFile → readFile → validateData，如果validateData中抛出NumberFormatException且未捕获，控制权立即返回readFile；若readFile也没有处理，则继续返回parseFile，依此类推。
- 每层方法都有机会通过try-catch拦截异常
- 一旦某层捕获了异常，传播过程结束
- 若一直未被捕获，主线程将打印异常堆栈并退出
throw与throws的作用区别
throw用于主动抛出一个异常实例，通常出现在方法体内部；而throws是方法签名的一部分，用来声明该方法可能抛出的异常类型，提醒调用者注意处理。
比如，一个解析字符串为整数的方法可能会这样写：
public int parse(String input) throws NumberFormatException {
if (input == null) throw new IllegalArgumentException("输入不能为null");
return Integer.parseInt(input);
}
这里IllegalArgumentException直接抛出，属于运行时异常，不需要throws声明；而NumberFormatException虽然是自动抛出的，但作为检查型异常需要在签名中声明（实际上Integer.parseInt已定义好）。开发者调用此方法时需意识到可能发生数字格式异常。
finally块对传播的影响
即使异常正在传播，只要对应try语句有finally块，JVM会确保其代码得到执行，常用于资源清理。
注意：如果finally中也抛出异常，原始异常可能会被掩盖，除非使用try-with-resources或正确处理抑制异常（suppressed exceptions）。
- finally总会在方法返回前执行（除System.exit等情况）
- 若finally中有return语句，会覆盖try/catch中的return值
- 合理使用try-with-resources可减少手动清理带来的风险
基本上就这些。理解异常传播的关键在于掌握调用栈的行为以及各层方法如何响应异常。正确使用try-catch-finally和throws能让程序更健壮、易于调试。不复杂但容易忽略细节。
