在学习多线程的部分,很多参考资料都会提到一个要点就是a++这个操作并不是原子性的,尽管在编写程序的时候我们会将其当作一句命令来看待,但是当经过javac编译后会变为两个指令
-
编写的代码
-
编译后在通过反编译工具获取的代码
这里由于在a++之后的代码段里并没有使用过a变量,也就是说在a+1后a变量的生命周期就结束了,所以编译器将a + 1的结果交给了一个他随便定义的一个变量var2。
我们尝试在a++之后去使用a变量会发现编译后的代码出现了
int a = 3;
int a= a + 1;
这种违反java语法的代码,因为该代码本质上经过编译之后的代码再翻译成java语法的,所以这个就不做深入研究了,但是从中我们可以发现,我们在执行a++的时候,实际上虚拟机的大概是将a + 1的值赋值给一个新的a变量。
虽然是分成了两部分,但是代码是完全按照我们预想的逻辑去走的。
后来发现 扩展复制运算符的原理也类似与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文件发现
变成了这个样子
一开始我是懵的,int b = 1;之后又执行了一个int b,也就是说这个时候b被置为了0.
我简化了一下这个代码,让他少执行一句
a ^= b ^= a
原因可能出现在了这句,ba的值需要复制给一个新的b,但是a=b^=a是一个表达式,不能拆开,所以创建新的b变量的动作只能提前一步执行了,也就是创建b发生在 b^a之前,导致b的值变成了0,才导致了a的结果始终为0的情况
分析了一波后发现,其实是由于运算符的右向左的结合规则导致的