17370845950

Java虚拟机通过编译期生成的异常表定位异常处理器，表项含start_pc、end_pc、handler_pc和catch_type四字段；JVM按顺序匹配当前PC是否在区间内且异常类型兼容，找到首个匹配项即跳转执行。

Java虚拟机通过方法的异常表（Exception Table）来定位和处理字节码中的异常跳转，而不是靠逐行扫描或运行时动态解析。异常表是编译期生成、存于Code属性中的一组结构化规则，JVM在抛出异常时按顺序匹配表项，找到第一个覆盖当前异常位置且匹配异常类型的处理器，然后跳转到其指定的处理代码（即handler_pc）。

异常表的结构与字段含义

每个异常表项包含四个 2 字节无符号整数字段：

• start_pc：异常监控范围起始字节码偏移（含），对应 try 块开头指令的位置
• end_pc：异常监控范围结束字节码偏移（不含），即 try 块末尾指令的下一条指令位置
• handler_pc：异常处理器入口地址，即 catch 块第一条指令的偏移
• catch_type：常量池索引，指向一个Class_info，表示该 handler 能捕获的异常类型；值为 0 表示 finally 或 try-with-resources 的 finally 部分（不依赖异常类型）

JVM查找异常处理器的流程

当某条字节码指令执行中抛出异常时，JVM按以下逻辑查找处理器：

• 获取当前指令的字节码偏移量 pc
• 遍历当前方法异常表中所有表项
• 对每个表项，检查是否满足：start_pc ≤ pc ，且异常实例是 catch_type 所指类或其子类（若 catch_type ≠ 0）
• 取第一个满足条件的表项，将栈顶异常对象压入操作数栈，并将 PC 设为 handler_pc，继续执行
• 若无匹配项，该方法异常未被捕获，执行栈展开（stack unwinding），向上层调用者重复此过程

finally 和多 catch 的异常表表现

编译器会为不同语义生成多个异常表项：

• 每个 catch 块对应一项，catch_type 指向对应异常类，start_pc/end_pc 覆盖整个 try 区域
• 每个 finally 块（包括隐式生成的）通常对应多项：一项用于正常流程（catch_type = 0，覆盖 try 和所有 catch），若干项用于异常流程（同样 catch_type = 0，但可能覆盖不同区间，确保 finally 总被执行）
• try-with-resources 会生成嵌套的异常表项，保障资源关闭逻辑在各种出口路径下都被触发

查看与验证异常表的方法

可通过 javap -v 查看编译后 class 文件的异常表：

• 命令如：javap -v MyClass | grep -A20 "Exception table"
• 输出中每行列出 from（start_pc）、to（end_pc）、target（handler_pc）、type（类名或 any 表示 catch_type=0）
• 注意：行号信息（LineNumberTable）是调试辅助，异常跳转只依赖字节码偏移，与 Java 源码行号无关

基本上就这些。异常表机制轻量、确定性强，是 JVM 实现高效异常处理的基础，不依赖反射或运行时类型推导，所有匹配都在常量时间内完成。