Java中自增自减的“原位修改”本质是iinc指令直接操作局部变量表，不经过操作数栈；i++与++i区别仅在取值时机，而非改值动作；i=i++结果不变是因为旧值覆盖了已更新的变量。

自增自减运算符在Java中看似简单，但它的“原位修改”并不是字节码里某一条指令直接把变量值“就地加1”了事。真正的机制是：JVM通过**局部变量表 + 操作数栈 + 专用增量指令**三者协同，在不创建新变量的前提下完成值更新——这个过程既高效，又严格遵循表达式求值顺序。

原位修改靠的是 iinc 指令，不是重新赋值

无论写 i++ 还是 ++i，只要操作的是局部变量（比如 int i），编译后都会生成 iinc 指令。它直接对局部变量表中指定索引位置的整数值做加减，不经过栈复制再回写——这才是真正意义上的“原位”。
例如：iinc 1, 1 表示：对局部变量表下标为1的变量（即 i）加1。这步操作本身是原子的、就地发生的。

区别不在“改没改”，而在“什么时候把值送出去”

后置 i++ 和前置 ++i 的字节码差异，本质是“取值时机”不同，而非“改值动作”不同：

• i++：先用 iload_1 把旧值压栈（供后续使用），再执行 iinc 1, 1 修改变量本身；旧值留在栈顶，用于赋值或打印
• ++i：先执行 iinc 1, 1 改变变量，再用 iload_1 把新值压栈

也就是说，变量本身总是在表达式执行中途就被改了；差别只在于哪一时刻的值被当作整个表达式的“结果”参与下一步计算。

为什么 i = i++ 结果还是原值？

这不是“没修改”，恰恰是因为修改太及时、太原位了。看字节码序列：

• iload_1 → 把当前 i 值（比如1）压栈
• iinc 1, 1 → i 立刻变成2
• istore_1 → 把栈顶那个旧值（1）弹出，又写回 i 的位置

变量确实被改过一次（从1→2），但紧接着又被旧值覆盖了。所谓“原位”，指的是每次写入都落在同一个内存地址（局部变量表索引1），而不是靠新建变量来绕开。

数组元素和对象字段也能原位修改，但有前提

arr[i]++ 或 obj.count++ 同样会触发原位修改，但底层指令不同：

• 数组元素：用 iaload + iadd + iastore 三步模拟，不是单条 iinc，因为数组内容不在局部变量表里
• 对象字段：用 getfield + iadd + putfield，同样需读-算-写三步
• 只有局部变量能享受 iinc 这种真正原位、无中间栈拷贝的优化

所以“原位”的高效性，是有范围的——它优先服务于最常用、最轻量的局部变量场景。