从字节码的角度来解释“一个关于i++的有意思问题”

Love The Way You Lie 2022-11-03 00:42 142阅读 0赞

### 1、代码 ###

public class Test { 
        private long index = 0;
    
        public long nextIndex() { 
            return index++;
        }
    }

### 2、分析 ###

我们来看`nextIndex()`方法，如果某方法调用该方法，那么返回值是`0`，而index最终会变成`1`，这个大家肯定都不会怀疑，按照我之前的理解，就是++放在后面就先赋值后++，但是这只是表面的理解，其中内部细节真的是这样吗？

我们来看`nextIndex()`方法的字节码指令，如下所示：  
![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzQyNDQ5OTYz_size_16_color_FFFFFF_t_70]  
让我们一起来解读字节码吧，其中`aload_0`代表将局部变量表中下标为`0`的`this`（当前对象）压入操作数栈中，`dup`代表将`this`复制一份压入操作数栈中，`getfield #2 <io/renren/Test.index>`代表使用操作数栈中的`this`取得成员变量`index`的值并压入操作数栈中，`dup2_x1`代表将操作数栈栈顶元素`index`复制一份，然后往下移动3个槽位（`dup`后面的`2`是因为`index`是`long`类型，需要占据`2`个槽位，后面`x1`代表需要将复制值向下移动，向下移动的位置等于`2+1`，也就是`3`，其中`2`是`dup`后面的`2`，然后`1`是`x1`后面的`1`），移动之后操作数栈最底层就是占据`2`个槽位的`index`，它的值是`0`，上面是当前对象`this`，在网上是占据`2`个槽位的`index`，它的值也是`0`，然后`lconst_1`代表将`long类型`的`1`压入操作数栈，当然也是占据`2`个槽位，`ladd`代表将操作数栈最顶层为`0`的`index`值和`1`弹出栈然后相加，之后将和压入操作数栈，这个值就是占据两个槽位的`1`，`putfield #2 <io/renren/Test.index>`的作用是将操作数栈顶部的`1`和`this`弹出，然后赋值给该对象的成员变量`index`，此时操作数栈中只剩下数值为`0`的`index`值，`lreturn`代表将`long类型`的`0`返回，然后压入到调用该方法的操作数栈中，所以返回的就是`0`，而成员变量`index`的值是`1`

[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3FxXzQyNDQ5OTYz_size_16_color_FFFFFF_t_70]: /images/20221024/b97c41cdb5cd4835a03e1c5198f52870.png