感谢溺水行舟，原文地址：http://blog.sina.com.cn/s/blog_4c80920d0100c9ds.html
Java中进行类型提升的一个原因是：基础类型在进行计算时，其中间结果可能超出本类型所表示的范围（也就是溢出）。为防止这种情况的发生，在Java中基础类型的计算会先进行类型提升，以保证运算的准确性。
类型提升的两个例外：数据类型为final以及自加自减自乘自乘等运算（+= -= *= /= %=）。
short s1 = 1; s1 = s1 + 1;有什么错? short s1 = 1; s1 += 1;有什么错?
答案是：前者错，后者对。why?
java类型计算中，除了强制类型转换，还有各不很面熟的自动类型提升
java在表达式中，对中间值的精确要求有时可能会超过任何一个操作数的范围。例如，考虑下面的表达式： byte a = 40; byte b = 50; byte c = 100; int d = a * b / c; 中间项结果a*b 很容易超过它的任何一个byte 型操作数的范围。为处理这种问题，当分析表达式时，Java自动提升各个byte 型或short型的操作数到int 型。这个过程是java自动进行的，所以可要留意了。
现在我们来分析short s1 = 1; s1 = s1 + 1;为什么错
根据自动类型提升，我们知道，s1 （short型）+ 1（int型），结果为（int），将int赋值给short，会损失精度，当然不可以了。
short s1 = 1; s1 += 1;（可以正确编译）
由于+=运算符有自加功能,定义short s1 = 1;时,开辟了一个空间,当通过+=运算符运算时,只是在原来的栈中进行运算;不需强行转化
