+=与=..+..的区别

转载自：http://www.ticmy.com/?p=285

在继续之前，来温故一点基础：

1、做基本运算（如+、-、*、/、<<、>>、>>>、~、^等），当两个操作数的类型是byte，short，char，int之一的时候，结果的类型是int；
2、做整数基本运算时，当一个操作数是long，结果是long；
3、不加任何修饰的整数字面值默认就是int类型。

下面对上面的几点举例说明：

short s1 = 1;//OK
short s2 = s1 + 1;//ERROR

上面的第一句1整形字面值，它的类型是int，为什么可以直接赋值给short呢？因为字面值都是常量，编译器能很容易的检测出它到底在不在short所能表示的值的范围内。当写成short s1 = 32768的时候，编译就知道short容不下32768了，就会报错。
而对于第二句，s1是short类型，1是int类型，结果是int类型，自然不能自动赋值给short类型的s2了，因为有潜在的高位有效值被截断的风险。可能会有人想，上面s1已经赋值了一个字面值，对于下面的s2，编译器应该也可以计算出它的值啊。如果s1是final的，确实会这样，但s1是变量，编译器是无法预测它会不会在运行期改变的，即使它可能不会改变。

再来一个，计算一年有多少毫秒，粗心的人可能这么写：

long mills = 365 * 24 * 60 * 60 * 1000;

明眼人一看就有问题了，后面的几个数字都是int类型，计算后结果还是int类型，再将其转换成long类型，等效于以下的逻辑：

int tmp = 365 * 24 * 60 * 60 * 1000;
long mills = tmp;

计算结果的时候数据已经溢出了，再将其转换成long，依然得不到正确的结果，这样的计算很常见，也很容易被人疏忽，纠正它很容易，只要指定一个数为long类型即可：

long mills = 365 * 24 * 60 * 60 * 1000L;

---

开始简短的正题，如下的两段代码的区别：

short s = 1;
s = s + 1;//error

short s = 1;
s += 1;//ok

第一段代码上面已经有分析了，它通不过编译；来看看第二段，首先它能通过编译，来看看编译后的字节码（javap -c 类名）是什么样的吧：

0:   iconst_1
1:   istore_1
2:   iload_1
3:   iconst_1
4:   iadd
5:   i2s
6:   istore_1

指令0,1做了short s = 1操作，指令2,3,4做了s+1的操作，第5条是关键，做了一个强制转换，将int转换为short，第6条将强制转换的结果存回变量s。
如果s是int类型呢？

int s = 1;
s += 1;//ok

对应的字节码：

0:   iconst_1
1:   istore_1
2:   iinc 1, 1

它直接等价于i++操作了，和以下代码生成的字节码是一样的：

int s = 1;
s++;

当s += 2的时候，指令为iinc 1, 2，这里是没有强制转换的。

综上可以分析出（其中type为byte，short，char，int之一，value可为变量可为常量，类型可为byte，short，char，int，float，double，long）:

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

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

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