两小无猜的爱恨情仇--java =+和+=揭秘
故事背景
当一个人问另一个人“敢不敢”的时候,另一个人必须说“敢”,这就是游戏的规则。小男孩朱利安和小女孩苏菲的相遇即开始于这样一场孩童的闹剧,一个精美的铁盒子就是他们游戏的见证。说脏话,扰乱课堂,在校长室小便,内衣外穿,一个游戏两人一玩十多年,他们什么都敢,除了承认彼此相爱。
苏菲(玛丽昂·歌迪亚饰)提议两人分别十年,挑战的内容是朱利安(吉约姆·卡内饰)敢不敢伤害苏菲。恍惚十年逝去,朱利安找到苏菲,为了游戏的进行他决定另娶她人,邀请苏菲做伴娘。受到伤害的苏菲在朱利安的婚礼上抛出铁盒子“你敢悔婚么?”原本最最亲密的朋友相互伤害最深。同样心痛的两个人相约再次分别十年。
十年里,朱利安拥有了一切,家庭、事业、朋友,只是没了苏菲宛如没了心,原来丧失激情的生活这般索然无味。
终于十年过去,“Love me, if you dare…”。
java =+和+=揭秘
java有两对关系密切的对象,=+和+=,许多程序员都会认为表达式(x += i)只是表达式(x =x + i)的简写方式,真的是这样吗?请看程序:
public static void main(String[] args) { short x = 0; int i = 123456; x += i; System.out.println(x); }
这个程序的结果是什么?
运行后结果是:
-7616
不急,来看下面的程序:
public static void main(String[] args) { short x = 0; int i = 123456; i =x + i; System.out.println(i); }
结果如我们预期:
123456
探究原因
在jsl15.26中定义,=是简单的赋值表达式,+=是复杂的赋值表达式,其中+=表达式满足规则:A compound assignment expression of the form E1 op= E2 is equivalent to E1 = (T) ((E1) op (E2)), where T is the type of E1, except that E1 is evaluated only once.
(复合赋值操作符包括 +=、-=、*=、/=、%=、<<=、>>=、>>>=、&=、^=和|=)Java 语言规范中讲到,复合赋值 E1 op= E2 等价于简单赋值E1 =(T)((E1)op(E2)),其中T 是E1 的类型,除非E1 只被计算一次。
举例如下:
short x = 3; x += 4.6;
等同于
short x = 3; x = (short)(x + 4.6);
分析例一
short x = 0; int i = 123456; x += i;
等同于
short x = 0; int i = 123456; x =(short)(x+ i);
第一步,x+i结果是int,第二步是int转short是窄化,会丢失精度。得到-7616就可以理解了
分析例二
short x = 0; int i = 123456; i =x + i;
i是int类型,x是short类型,如果是x=x+i编译不能通过,报错:
Type mismatch: cannot convert from int to short
如果使用i=x+i则没有问题,结果为12345
参考资料
【1】https://baike.baidu.com/item/%E4%B8%A4%E5%B0%8F%E6%97%A0%E7%8C%9C/1674468
【2】https://docs.oracle.com/javase/specs/jls/se12/html/jls-15.html#jls-15.26
【3】java解惑