pc是被动指针，不主动跳转；goto等指令执行时由解释器强制重设pc值，顺序执行则pc自动递增，异常时依据exception table查表后重置pc。
程序计数器（PC）在JVM中不是“主动跳转”的控制器，而是被动反映执行位置的指针。遇到异常或goto类指令时，它的变化由JVM解释器根据字节码语义自动更新——不是PC自己决定跳哪，而是指令执行过程强制它指向新地址。
goto指令如何改变程序计数器
Java源码中没有goto关键字，但编译后大量控制流会生成goto类字节码（如goto、goto_w、if_icmpeq、ifnull等）。这些指令直接指定目标地址，解释器执行时立即把PC设为该地址。
- 顺序执行时，PC = 当前指令地址 + 当前指令长度（字节）
- 执行goto 0x1A时，PC被直接赋值为0x1A，下一条取指就从这个地址开始
- 条件跳转如ifne label：先判断栈顶是否非零，成立则PC = label地址；否则PC正常递进
- 循环（for/while）本质就是条件跳转回循环头，PC在循环体末尾反复被设为循环起始地址
异常发生时PC的更新机制
异常不靠PC“主动捕获”，而是由JVM在抛出异常瞬间，依据方法的Exception Table查表定位处理位置，再强制重置PC。
- 每个方法的Code属性中都嵌有Exception Table，记录了[try起始PC, try结束PC, 异常处理器PC, 异常类型]四元组
- 当某条指令触发异常（如athrow或空指针访问），JVM用当前PC值去匹配Exception Table中所有from ≤ PC
- 匹配成功后，PC被直接设为target字段对应的地址（即catch块第一条指令地址）
- 若未匹配任何entry，当前线程的PC保持在异常点，异常向上层调用栈传播，由上层方法的Exception Table继续匹配
finally块对PC的影响是双重的
finally不是语法糖，它会在字节码中被复制多份，导致PC可能跳转到多个不同位置。
- 每个catch块末尾，都会插入一份finally字节码；try正常结束处也插入一份
- 所以PC可能从try末尾跳入finally，也可能从某个catch末尾跳入finally，甚至从异常抛出处直接跳入finally（如try中return前触发异常）
- 如果finally里还有return或throw，PC会再次被重定向，覆盖原返回路径
Native方法与PC的特殊状态
当执行native方法时，PC不参与跳转逻辑，因为已脱离JVM字节码执行体系。
- 进入native方法前，PC保存的是调用指令的下一条地址（用于返回时恢复）
- 执行期间，PC值被设为Undefined，JVM不再更新它
- native方法返回后，JVM恢复PC为保存的地址，继续执行后续字节码
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
