一个表达式中对同一个变量多次赋值(i = i++)

论坛 期权论坛 编程之家     
选择匿名的用户   2021-6-2 20:55   1956   0

问:

int i = 0;
i = ++i;
i的值是多少?毫无疑问,i = 1;但是,i = ++i;这条语句对i进行了两次赋值:第一次,i自增,此时i=1;第二次,将++i的表达式的值(也就是1)赋给i。我们通过字节码来分析一下这段代码的执行过程:

//int i = 0;的字节码
0:iconst_0 //将int型0推送至栈顶
1:istore_1 //将栈顶值(0)存入局部变量表中索引为1的地方(也就是i)

// i = ++i;的字节码
2:innc 1,1  //在局部变量表中索引为1的变量加1,此时i=1;
3:iload_1   //索引为1的变量值存入栈顶
4:istore_1  //将栈顶值存入索引为1的变量中

理解了上面的代码后,再考虑这样两行代码:

int i = 0;
i = i++;
这两条代码执行完成后,i的值是多少?答案是0。稍加思考,就会觉得这个结果并不是太意外,这两句代码的执行过程是这样的:

1))定义整型局部变量i,初始值为0;

2)JVM执行i++计算,该表达式的值为0;

3) i自增,i此时为1;

4)将i++表达式的值赋给i,i++表达式的值是0,所以赋值后,i = 0;

5)计算完毕,i = 0。

上面的每一步都不会让我们感到意外,为了更加清晰的说明问题,上面两行代码的等价代码如下:

int i = 0;

int tmp = 0;  //对应分析中的第(2)步,也就是i++表达式的值
i++;         //分析中的第(3)步
i = tmp;    //分析中的第(4)步

我们也从字节码看看这两条语句的执行过程:

//int i = 0;的字节码

0:iconst_0 //将int型0推送至栈顶,此时栈中的内容:[0]

1:istore_1 //将栈顶值(0)存入局部变量表中索引为1的地方(也就是i),i = 0;栈中的内容:[ ]

// i = i++;的字节码

2:iload_1 //索引为1的变量值存入栈顶,也就是i++表达式的值(0)存入栈顶,此时栈中的内容:[0]

3:innc 1,1 //在局部变量表中索引为1的变量加1,此时i=1;栈中的内容:[0]

4:istore_1 //将栈顶值(0)存入索引为1的变量中,i=0;栈中的内容:[ ]

从字节码中,我们可以看到:JVM首先把i++表达式的值存入到操作数栈中,也就是栈中保存着i = i++右半部的值(表达式i++,也就是0);然后把=右边的表达式计算完毕;最后将表达式i++的值赋给i(栈顶元素出栈,赋给i)。注意,i++是一个表达式,这个表达式的值是0。

这样的讨论其实是没有意义的,不要在一个表达式中,对同一个变量多次赋值!

参考资料:http://www.ticmy.com/?p=43(写这篇博客主要是为了加深自己的理解)


分享到 :
0 人收藏
您需要登录后才可以回帖 登录 | 立即注册

本版积分规则

积分:3875789
帖子:775174
精华:0
期权论坛 期权论坛
发布
内容

下载期权论坛手机APP