从局部变量表和操作数栈的角度来看 i *= ++i

i *= ++i 存在的二义性

如果我是编译器的设计者，对于这个字符串的解析，至少存在着以下两种可能性：

1. i = i * (++i)（Java 中的选择）
2. i = (++i) * i

而无论是对于 i * (++i) 还是对于 (++i) * i，还是可以存在着两种可能性（假设 i 的初值 10）：

1. 先统一计算出所有的 ++i 或 i++，再去加载 i 的值。在这种情况下 i = 11 * 11
2. 先统一加载 i 的值，再去计算自增。在这种情况下 i = 10 * 10
3. 逐个计算，逐个加载。（Java 中的选择） 在这种情况下，两个表达式的结果不同，前者为 i = 10 * 11，后者为 i = 11 * 11

---

测试案例

下面通过 jclasslib 来查看栈帧的局部变量表以及字节码指令来验证上面两个结论

测试代码

public class LocalVariableTableAndOperationStack {
    @Test
    public void test01() {
        int i = 10;
        i *= ++i;
        System.out.println(i);
    }
}

局部变量表和操作数栈

字节码指令

 0 bipush 10
 2 istore_1
 3 iload_1
 4 iinc 1 by 1
 7 iload_1
 8 imul
 9 istore_1
10 getstatic #7
13 iload_1
14 invokevirtual #13
17 return

解释：

• 每一行对应一条字节码指令，每条字节码指令由操作码和操作数构成，其中操作码占 固定1B 长度，所以操作码不超过 256 条，且实际远小于这个数字，因此将一些常用组合直接定义成一个新的操作码来减少这些指令的一次内存访问，例如 istore_1 即表示 istore 1。
• 最前面的序号0/2/3/4/...表示字节码指令的地址，例如 istore_1 的起始地址为 2，且指令长度为 1，因此下一条指令 iload_1 的起始地址为 3。

Java 源代码和字节码的对应关系：

源代码	字节码	备注
int i = 10;	bipush 10	将常量 10 压入操作数栈，即 operStack.push(10)
	istore_1	弹出操作数栈顶元素，赋值给局部变量表中对应索引的变量，即 localVariableTable[1] = operStack.pop()
i *= ++i;	iload_1	取出局部变量表中的值，压入操作数栈，即operStack.push(localVariableTable[1]) 这里能够说明i *= ++i;被解析为 i = i * (++i);
	iinc 1 by 1	直接对局部变量表中的变量值进行自增，即 localVariableTable[1] = localVariableTable[1] + 1 注意涉及到局部变量表的变量都是通过索引来取值或赋值
	iload_1	加载更新后的局部变量表中的值，和上面的字节码构成 ++i，这两行字节码的先后顺序正好是 ++i 和 i++ 的区别
	imul	二元运算，即operStack.push(operStack.pop() * operStack.pop())
	istore_1	赋值操作，localVariableTable[1] = operStack.pop()

其它测试案例

public class LocalVariableTableAndOperationStack {
    @Test
    public void test01() {
        int i = 10;
        i *= ++i;
        System.out.println(i);
    }

    @Test
    public void test02(){
        int i = 10;
        int j = i + ++i + i; // j = 10 + 11 + 11
        System.out.println(j);
    }

    @Test
    public void test03(){
        int i = 10;
        int j = i + i++ + i; // j = 10 + 10 + 11
        System.out.println(j);
    }
}