short i =1; i=i+1与short i=1; i+=1编译时的区别

最近碰到一个java基础方面的问题：

package com.jspsmart.upload;
public class Test {
	public static void main(String[] args) {
		short i = 1;
		i += 1; // 无任何问题
		i = i + 1;  // 报错,编译不通过
	}
}

就打开网页google下,发现一篇对这个问题比较详细的介绍如下
short i =1; i=i+1;
short i=1;i+=1;
这两有什么区别呢 ？
对两个容量不一样的数据类型的变量进行算术运算时,java会自动将小容量的变量进行精度提升,然后再进行运算,得到的结果类型是提升后的大容量的数据类型.如果将该结果赋值给小容量的数据类型的变量,则必须进行强制的类型转换,否则编译程序会报损失精度错.如楼主示例，用i来表示1:
short s1 = 1;
int i = 1;
首先,因为short类型是16位的,而int类型是32位的,在进行
(s1+i) 运算时,自动将s1提升到32位,然后与i相加,得到的结果是32位的,而此时
s1=s1+i; 必然报错,因为如果赋值成功,只是把低16位赋给了s1,这个虽然正是楼主想要的结果,但是编译程序却不能判定你的意图是什么.
执行强转:
s1=(short)(s1+i); 就没问题了.
s1+=i;能编译通过并得到正确结果,而 s1=s1+i; 却报错,是因为它们并不像楼主认为的那样是等价的，s1+=i的方式java会对i进行窄化转换，由编译程序自动执行.
java规范中说:
E1 op=E2 实际上等价于 : E1=(T)( (E1)op(E2) )
其中T是E1的数据类型.这种类型转换或者是一个恒等转换,或者是一个窄化转换.
这个说明java是一种强类型的语言,对数据类型的要求是非常严格的,否则会引起混乱.
下面解释一下三种类型转换:恒等转换(相同容量的两个数据类型之间的赋值);拓宽转换(小容量类型赋值给大容量类型);窄化转换(大容量赋值给小容量类型). 实际上,前两种转换都是编译程序自动执行的,而窄化转换则要求必须显式的执行.


上面说了一堆的理论,最重要的就是下面一句
[color=red]E1 op=E2 实际上等价于 : E1=(T)( (E1)op(E2) )[/color]

最后打算用发编译工具来查看下是否正确
.java 文件

public class Test {
	public static void main(String[] args) {
		short i = 1;
		i += 1; // 无任何问题
	}
}

根据编译的class文件反编译出来的.java文件

public class Test
{
  public static void main(String[] args)
  {
    short i = 1;
    i = (short)(i + 1);
  }
}

非常清楚知道原因了