Java中i++的一些问题总结

Java中i++的一些问题总结

参考内容：

深入理解java虚拟机(JVM高级特性与最佳实践) ——周志明老师

尚硅谷深入理解JVM教学视频——宋红康老师

在本文展开前，读者需要了解一些字节码有关的知识，以及JVM虚拟机栈中栈帧的局部变量表和操作数栈等知识，笔者在这里只给出一些大概的简述。

字节码

Java字节码对于虚拟机，就好像汇编语言对于计算机，属于基本执行指令。

虚拟机的指令由一个字节长度的、代表着某种特定操作含义的数字（称为操作码，Opcode）以及跟随其后的零至多个代表此操作所需参数（称为操作数，Operands）而构成。由于Java虚拟机采用面向操作数栈而不是寄存器的结构，所以大多数的指令都不包含操作数，只有一个操作码。

局部变量表

局部变量表：Local Variables，被称之为局部变量数组或本地变量表

定义为一个数字数组，主要用于存储方法参数和定义在方法体内的局部变量，这些数据类型包括各类基本数据类型、对象引用（reference），以及returnAddress类型。

由于局部变量表是建立在线程的栈上，是线程的私有数据，因此不存在数据安全问题。

局部变量表所需的容量大小是在编译期确定下来的，并保存在方法的Code属性的maximum local variables数据项中。在方法运行期间是不会改变局部变量表的大小的。

操作数栈

操作数栈：Operand Stack ，使用数组实现的。

每一个独立的栈帧除了包含局部变量表以外，还包含一个后进先出（Last - In - First -Out）的 操作数栈，也可以称之为 表达式栈（Expression Stack）

操作数栈，在方法执行过程中，根据字节码指令，往栈中写入数据或提取数据，即入栈（push）hyWOSatY和 出栈（pop）

某些字节码指令将值压入操作数栈，其余的字节码指令将操作数取出栈。使用它们后再把结果压入栈

比如：执行复制、交换、求和等操作

操作数栈，主要用于保存计算过程的中间结果，同时作为计算过程中变量临时的存储空间。

接下来就是本文的正式内容，首先，我们先给出两个结论：

i++与++i在不同情况下可能会有不同的结论；

实例变量/类变量的i++并不是一个原子性的操作。

首先我们看一下i++与++i的解析：

当i++或者++i没有涉及到其他操作时，两者是没有区别的。

// i++

public void method1(){

int i = 10;

i++;

}

// ++i

public void method2(){

int i = 10;

++i;

}

对应的字节码指令操作为：

// method1

0 bipush 10 // 将10这个整数压入操作数栈

2 istore_1 // 将操作数栈栈顶元素保存到局部变量表中索引为1处

3 iinc 1 by 1 // 局部变量表中索引为1处的元素，也就是i进行自增(这一步是在局部变量表上直接进行的，与操作数栈无关)

6 return // 方法返回

// method2

0 bipush 10

2 istore_1

3 iinc 1 by 1 // ++i

6 return

其中关于给出的具体字节码细节以及栈帧中操作数栈、局部变量表在本文开头给出了一些简介，具体内容不展开描述，读者可翻阅与之有关的资料。

通过反编译可以看出，i++与++i的字节码在没有和其他操作组合时，字节码是完全相同的。

当i++或者++i涉及到其他操作时，两者的字节码会有一些改变。

public void method7(){

int i = 10;

int a = i++;

int j = 20;

int b = ++j;

}

对应的的字节码指令：

0 bipush 10

2 istore_1

3 iload_1 // i++先从局部变量表中读取i到操作数栈

4 iinc 1 by 1 // i直接在局部变量表上进行自增

7 istore_2 // 将操作数栈上读取到的i的值赋值给a，也就是10

8 bipush 20

10 istore_3

11 iinc 3 by 1 // ++j则先在局部变量表上进行自增

14 iload_3 // 再从局部变量表中读取j到操作数栈

15 istore 4 // 将操作数栈上读取到的j的值赋值给b，也就是21

17 returns

通过反编译可以看出，i++与++i的字节码在没有和其他操作组合时，i++是先取值再自增，而http://++i是先自增再取值。

还有一个关于i=i++的解析：

public void method8(){

int i = 10;

i = i++;

System.out.println(i);//10

}

对应的字节码指令：

0 bipush 10

2 istore_1

3 iload_1 // 从局部变量表中读取i到操作数栈

4 iinc 1 by 1 // i直接在局部变量表上进行自增，此时i = 11

7 istore_1 // 将之前操作数栈上读取到的i的值赋值给i，之前自增的值被覆盖了，i = 10

8 getstatic #2

11 iload_1

12 invokevirtual #5

15 return

然后看一下实例变量i++这行代码的对应的字节码

首先我们定义一个类

/**

* @author XiaoLe

* @create 2020-12-04 21:15

* @description

*/

public class Test {

private int i = 0;

public void test(){

i++；

}

}

通过反编译查看test方法中的字节码：

0 aload_0

1 dup

2 getfield #2 // 获取到Test的i变量的值

5 iconst_1 // 将int类型常量1压入栈

6 iadd // 栈顶两个元素相加后返回值入栈

7 putfield #2

10 return

可以看到，i++这行代码被拆分为三个字节码，所以在一些并发情况下，i++如果不做同步处理，就可能会出现数据非一致性。

版权声明：本文内容由网络用户投稿，版权归原作者所有，本站不拥有其著作权，亦不承担相应法律责任。如果您发现本站中有涉嫌抄袭或描述失实的内容，请联系我们jiasou666@gmail.com 处理，核实后本网站将在24小时内删除侵权内容。