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 < end_pc，且异常实例是catch_type所指类或其子类（若catch_type ≠ 0） - 取第一个满足条件的表项，将栈顶异常对象压入操作数栈，并将 PC 设为
handler_pc，继续执行 - 若无匹配项，该方法异常未被捕获，执行栈展开（stack unwinding），向上层调用者重复此过程
finally 和多 catch 的异常表表现
编译器会为不同语义生成多个异常表项：
立即学习“Java免费学习笔记（深入）”；
- 每个
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 实现高效异常处理的基础，不依赖反射或运行时类型推导，所有匹配都在常量时间内完成。
