1. 自增变量

本文章仅为学习和记录之用，如有侵权，请联系删除

以下代码运行结果是否符合你的预期？

public static void main(String[] args) {
	int i = 1;
	i = i++;  // 执行完成后，i仍为1
	int j = i++;
	int k = i + ++i * i++;
	System.out.println("i: " + i);  // 4
	System.out.println("j: " + j);  // 1
	System.out.println("k: " + k);  // 11
}

解析

1. 后缀式 i++

重点代码：i = i++

• 首先运行等号右边，i++
  1.1 将 i 的值亚茹操作数栈
  1.2 i 变量自增加1
  
• 运行等号赋值逻辑，将操作数栈中的值赋值给i
  

2. 前缀式 ++i

@Test
public void test2() {
	int i = 1;
	i = ++i;  // 执行完成后，i为2
	int j = i++;
	int k = i + ++i * i++;
	System.out.println("i: " + i);  // 5
	System.out.println("j: " + j);  // 2
	System.out.println("k: " + k);  // 19
}

后缀式总是先加1，在使用

总结

• 赋值=，最后计算
• =右边的根据运算符优先级，将局部变量表中数据依次压入操作数栈
• 自增，自减操作都是直接修改局部变量表中值，不经过操作数栈，自增和自减虽然不经过操作数栈，但是也会将变量压入操作数栈，前缀式会先加1，再压入操作数栈，后缀式会先压入操作数栈，再进行加1操作
• 最后的赋值之前，临时结果也是存储在操作数栈中，运算结束后，会将操作数栈中的数据重新赋值给局部变量表中

扩展

栈（Stack）：

用于存储局部变量，线程运行时，会在栈中分配一块独立的内存区域，用来存放线程运行时需要的一些局部变量，每个线程拥有一块独立的栈空间

栈帧（Stack Frame）：

java虚拟机在运行时，对每个线程运行到的不同方法，都会在线程对应的栈空间中分配一块独立的内存区域，也就是栈帧，一个方法对应一块栈帧的内存区域。

每一次函数的调用，都会在调用栈上维护一个独立的栈帧，每个独立的栈帧一般包括：

• 函数的返回值和地址参数
• 临时变量：包括函数的非静态局部变量以及编译器自动生成的其他临时变量
• 函数调用的上下文
  
  一个线程对应一个JVM Stack，JVM Stack中包含一组Stack Frame，线程每调用一个方法就对应着JVM Stack中Stack Frame的入栈，方法执行完毕或者异常终止对应着出栈。

局部变量表

局部变量表(Local Variable Table)是一组变量值存储空间，用于存放方法参数和方法内定义的局部变量。局部变量表的容量以变量槽(Variable Slot)为最小单位，Java虚拟机规范并没有定义一个槽所应该占用内存空间的大小，但是规定了一个槽应该可以存放一个32位以内的数据类型。

一个局部变量可以保存一个类型为boolean、byte、char、short、int、float、reference和returnAddress类型的数据。reference类型表示对一个对象实例的引用。returnAddress类型是为jsr、jsr_w和ret指令服务的，目前已经很少使用了。

操作数栈

操作数栈(Operand Stack)也常称为操作栈，它是一个后入先出栈(LIFO)。同局部变量表一样，操作数栈的最大深度也在编译的时候写入到方法的Code属性的max_stacks数据项中。

当一个方法刚刚开始执行时，其操作数栈是空的，随着方法执行和字节码指令的执行，会从局部变量表或对象实例的字段中复制常量或变量写入到操作数栈，再随着计算的进行将栈中元素出栈到局部变量表或者返回给方法调用者，也就是出栈/入栈操作。一个完整的方法执行期间往往包含多个这样出栈/入栈的过程。

动态连接

在一个class文件中，一个方法要调用其他方法，需要将这些方法的符号引用转化为其在内存地址中的直接引用，而符号引用存在于方法区中的运行时常量池。

Java虚拟机栈中，每个栈帧都包含一个指向运行时常量池中该栈所属方法的符号引用，持有这个引用的目的是为了支持方法调用过程中的动态连接(Dynamic Linking)。

这些符号引用一部分会在类加载阶段或者第一次使用时就直接转化为直接引用，这类转化称为静态解析。另一部分将在每次运行期间转化为直接引用，这类转化称为动态连接

方法返回

当一个方法开始执行时，可能有两种方式退出该方法：

• 正常完成出口
• 异常完成出口

正常完成出口是指方法正常完成并退出，没有抛出任何异常(包括Java虚拟机异常以及执行时通过throw语句显示抛出的异常)。如果当前方法正常完成，则根据当前方法返回的字节码指令，这时有可能会有返回值传递给方法调用者(调用它的方法)，或者无返回值。具体是否有返回值以及返回值的数据类型将根据该方法返回的字节码指令确定。

异常完成出口是指方法执行过程中遇到异常，并且这个异常在方法体内部没有得到处理，导致方法退出。

无论是Java虚拟机抛出的异常还是代码中使用athrow指令产生的异常，只要在本方法的异常表中没有搜索到相应的异常处理器，就会导致方法退出。
无论方法采用何种方式退出，在方法退出后都需要返回到方法被调用的位置，程序才能继续执行，方法返回时可能需要在当前栈帧中保存一些信息，用来帮他恢复它的上层方法执行状态。

方法退出过程实际上就等同于把当前栈帧出栈，因此退出可以执行的操作有：恢复上层方法的局部变量表和操作数栈，把返回值(如果有的话)压如调用者的操作数栈中，调整PC计数器的值以指向方法调用指令后的下一条指令。
一般来说，方法正常退出时，调用者的PC计数值可以作为返回地址，栈帧中可能保存此计数值。而方法异常退出时，返回地址是通过异常处理器表确定的，栈帧中一般不会保存此部分信息。