java编译器的小动作

在学习多线程的部分，很多参考资料都会提到一个要点就是a++这个操作并不是原子性的，尽管在编写程序的时候我们会将其当作一句命令来看待，但是当经过javac编译后会变为两个指令

• 编写的代码

  
  
  

  image.png

• 编译后在通过反编译工具获取的代码

  
  
  

  image.png

这里由于在a++之后的代码段里并没有使用过a变量，也就是说在a+1后a变量的生命周期就结束了，所以编译器将a + 1的结果交给了一个他随便定义的一个变量var2。

---

我们尝试在a++之后去使用a变量会发现编译后的代码出现了

int a = 3;
int a= a + 1;

这种违反java语法的代码，因为该代码本质上经过编译之后的代码再翻译成java语法的，所以这个就不做深入研究了，但是从中我们可以发现，我们在执行a++的时候，实际上虚拟机的大概是将a + 1的值赋值给一个新的a变量。

image.png

image.png

虽然是分成了两部分，但是代码是完全按照我们预想的逻辑去走的。
后来发现 扩展复制运算符的原理也类似与a++这种语法

int a = 1;
int b = 1;
a *= b;

经过编译后，会变成下面这种代码

int a = 1;
int b = 1;
int a = a * b;

---

直到有一天。。。。

刷知乎的时候看到了

a ^= b ^= a ^= b;

这种奇怪的代码
按道理来说，这个应该是利用异或来交换a，b两个变量值的骚操作a ^=b; b ^= a; a ^ =b;的一个简写
但是，我测试了一下发现这个代码根本不起作用，在执行后这段代码后，b 的值会变成a的初始值，而a始终为0
于是我打开反编译的class文件发现
变成了这个样子

image.png

一开始我是懵的,int b = 1；之后又执行了一个int b，也就是说这个时候b被置为了0.
我简化了一下这个代码，让他少执行一句

a ^= b ^= a

原因可能出现在了这句，b^{a的值需要复制给一个新的b，但是a}=b^=a是一个表达式，不能拆开，所以创建新的b变量的动作只能提前一步执行了，也就是创建b发生在 b^a之前，导致b的值变成了0，才导致了a的结果始终为0的情况

image.png

分析了一波后发现，其实是由于运算符的右向左的结合规则导致的

image.png

image.png