java疑难杂症之一（i+=和i=i+的区别）

这个问题起源于一道笔试题。short j=1；j=j+1；和short j=1；j+=1；有什么错，错在哪？

      

1）都知道数字的字面量（直接量）默认int类型， 那么short j=1没有错吗？是的，写出来是没有错的，因为编译器能够很容易判断字面量是否超出了short的范围，例如如果写成short j = 56789；编译器就会报错了。

2）做基本运算（如+、-、*、/、<<、>>、>>>、~、^等），当两个操作数的类型是byte，short，char，int之一的时候，结果的类型是int。

---------------------------------题外话-----------------------------------------------

（如果运算后范围超出int，则要注意例如long mills = 365 * 24 * 60 * 60 * 1000;

编译不会报错，但是结果会溢出，要写成如下就可以了。
   long mills2 = 365 * 24 * 60 * 60 * 1000L;）

------------------------------------------------------------------------------------------

所以i+1变成了int型，这时候i是变量，运行时是可能改变的，编译器就不能分辨i+1生成的int值是否在short范围内了。所以i=i+1时就会报错了。i=i+1报错了，那么i+=1会报错吗？

都说“i+=1”等价于“i=i+1”。真的是这样吗？“+=”到底是个什么东西？

先附上一幅图，我们看图说话：

i+=1居然又没错了。我叉，到底怎么回事呢。查了很多资料，终于搞明白了，下面这篇文章说的很清楚，

http://blog.csdn.net/haorengoodman/article/details/8148801

我们去查看short j=1；j+=1；的.class文件，看看编译后是什么

上图指令0,1做了short s = 1操作，指令2,3,4做了s+1的操作，第5条是关键，做了一个强制转换，将int转换为short，第6条将强制转换的结果存回变量j。我给出链接的博文中，还做出了一个总结

"type s = value;
s+= value;//ok

逻辑上等价于（说逻辑上是因为type为int的时候并不存在强制转换，但结果是相同的）

type s = value; s= (type)(s + value);"