加载指令（iload、fload、aload等）负责将局部变量表中指定索引的值推入操作数栈，如iload_0加载第0号变量，静态方法首参数从0开始，实例方法0号为this；未初始化变量加载时javac编译报错。
Java字节码里哪些指令负责把变量读进操作数栈？
加载指令（iload、fload、aload 等）干的就是这事——从局部变量表把值推到操作数栈顶。它们不关心变量名，只认索引号；比如 iload_0 表示加载第 0 号局部变量，不是 this 就是第一个参数。
- 方法参数从索引 0 开始计数，静态方法没有
this，所以第一个参数就是iload_0；实例方法第一个参数是this，真正的第一个形参在iload_1 - 用
iload加常量索引（如iload_3）比用iload+ 单字节索引参数（iload 3）更省字节码空间，JVM 会优先生成带下划线的快捷形式 - 如果局部变量表某位置没被初始化就去加载，javac 会直接报错
java: variable xxx might not have been initialized，不是运行时异常
store 指令为什么总配对出现但又容易写错？
istore、fstore、astore 把操作数栈顶值存回局部变量表，和 load 是镜像关系。问题常出在“存哪”和“存什么”不匹配。
- 存对象引用必须用
astore，哪怕目标变量声明为Object，也不能用istore—— 类型检查在字节码验证阶段就卡死，抛VerifyError - 局部变量表索引复用很常见：一个方法里先用
iload_0，后面又用istore_0覆盖它，这没问题；但若中间插入了 long/double，它们占两个连续槽位，可能把后续变量挤偏，导致istore_1实际覆盖了本该属于long的第二个槽 - lambda 或匿名内部类捕获外部变量时，javac 会把变量复制成 final 字段再传入，对应字节码里看不到对原局部变量的
istore，而是对新生成字段的putfield
算术指令（iadd、imul 等）为什么不支持混合类型？
Java 字节码严格区分类型，iadd 只处理 int，dadd 只处理 double。没有自动类型提升，也不会隐式转换 —— 这是 javac 的事，不是 JVM 的。
- 写
int a = 1; long b = 2L; a + b;，javac 会先插一条i2l（int to long）把a扩展成 long，再调ladd；你直接写ladd对两个 int 操作数，ClassFormatError 直接报 -
irem和idiv遇到除零不会抛ArithmeticException—— 它们在字节码层面不检查除数是否为 0，异常由 JVM 运行时触发，所以反编译看不出来逻辑分支 - 浮点运算（
fadd、dadd）遵循 IEEE 754，NaN + 1.0f 还是 NaN，但整数溢出不报错，Integer.MAX_VALUE + 1就是Integer.MIN_VALUE，字节码里就是干净的iadd
goto 和 if_icmpne 这类跳转指令怎么定位目标偏移？
所有跳转指令的目标地址都是「相对于当前指令起始位置的带符号短整型偏移量」，不是行号也不是标签名。反编译工具显示的行号是调试信息（LineNumberTable），和跳转无关。
立即学习“Java免费学习笔记（深入）”；
-
goto是无条件跳转，if_icmpeq是「如果栈顶两 int 相等则跳」，它们后面都跟 2 字节偏移量；超过 ±32767 就得用goto_w或if_icmpeq_w（带 4 字节宽偏移） - switch 语句编译后可能是
tableswitch（密集值）或lookupswitch（稀疏值），两者都要求 case 值升序排列，且 JVM 在验证阶段会检查跳转表是否越界，否则加载时报ClassFormatError - try-catch 的异常表（Exception table）不在指令流里，是 class 文件里的独立结构；
athrow指令只是把栈顶 Throwable 推出去，真正匹配哪个 catch 块，由 JVM 查异常表决定，和指令跳转无关
字节码里没有“作用域”概念，局部变量表生命周期全靠编译器填的 LocalVariableTable 属性撑着；调试时看到的变量名、作用域范围，运行时根本不存在。这点最容易让人误判变量是否还“活着”。
