Java异常处理语法及try catch finally规则详解

Java异常处理由try、catch、finally组成：try封装可能出错代码，catch按从上到下顺序捕获特定异常（子类需在父类前），finally确保资源释放等逻辑几乎总执行（除JVM退出等极端情况）；必须满足try配catch或finally的合法组合，检查型异常须处理或throws声明。

Java中异常处理主要靠try、catch、finally三部分配合完成，核心是把可能出错的代码放进try块，用catch捕获并处理特定异常，而finally则确保某些代码无论是否出错都执行。

try catch的基本写法和匹配规则

try必须跟至少一个catch或一个finally，不能单独存在。每个catch后面要声明能捕获的异常类型，JVM按从上到下的顺序匹配——先写的catch优先尝试捕获，所以更具体的异常（如NullPointerException）要写在更宽泛的异常（如Exception）之前，否则编译报错。

常见写法示例：

• try { ... } catch (IOException e) { ... } —— 捕获IO类异常
• try { ... } catch (ArithmeticException e) { ... } catch (Exception e) { ... } —— 多个catch，注意顺序
• try (FileInputStream fis = new FileInputStream("a.txt")) { ... } —— 带资源声明的try（自动关闭，需实现AutoCloseable）

finally的作用和执行时机

finally块几乎总被执行，哪怕try或catch里有return、break甚至System.exit(0)（后者除外）。它的典型用途是释放资源，比如关闭文件流、数据库连接或解锁。

需要注意几点：

• 如果try中有return，会先记录返回值，再执行finally，最后才真正返回（除非finally里也有return，此时它会覆盖前面的返回值）
• finally不是“一定会成功执行完”——若JVM崩溃、断电或调用System.exit()，它就跳过了
• 不建议在finally里写return，容易掩盖异常或干扰逻辑

try catch finally组合的合法形式

Java允许以下三种合法结构（不能随意省略）：

• try + catch（可多个）
• try + finally
• try + catch + finally（最完整）

不允许出现：try单独存在；catch或finally单独存在；try + catch + catch但没有finally是允许的，但try + finally + catch这种顺序是非法的——catch必须紧跟try之后，finally必须放在所有catch之后。

异常分类与throws声明的关系

Java异常分两类：检查型异常（checked，如IOException）和非检查型异常（unchecked，如RuntimeException及其子类）。方法里如果抛出检查型异常，要么用try-catch处理，要么用throws声明交给调用者处理；非检查型异常可不处理也不声明，但建议根据业务需要合理捕获。

例如：

• void readFile() throws IOException { ... } —— 声明可能抛出IO异常
• int divide(int a, int b) { if (b == 0) throw new IllegalArgumentException("除数不能为零"); ... } —— 主动抛运行时异常，无需throws