①对两个容量不一样的数据类型的变量进行算术运算时,java会自动将小容量的变量进行精度提升,然后再进行运算,得到的结果类型是提升后的大容量的数据类型.如果将该结果赋值给小容量的数据类型的变量,则必须进行强制的类型转换,否则编译程序会报损失精度错
short s1 = 1;
首先,因为short类型是16位的,而int类型是32位的,在进行
(s1+1) 运算时,自动将s1提升到32位,然后与1相加,得到的结果是32位的,而此时
s1=s1+1; 必然报错,因为如果赋值成功,只是把低16位赋给了s1,
执行强转:
s1=(short)(s1+i); 就没问题了.
s1+=1;能编译通过并得到正确结果,而 s1=s1+1; 却报错,是因为它们并是等价的，s1+=i的方式java会对i进行窄化转换，由编译程序自动执行.
java规范中说:
E1 op=E2 实际上等价于 : E1=(T)( (E1)op(E2) )
其中T是E1的数据类型.这种类型转换或者是一个恒等转换,或者是一个窄化转换.
这个说明java是一种强类型的语言,对数据类型的要求是非常严格的,否则会引起混乱.
下面解释一下三种类型转换:恒等转换(相同容量的两个数据类型之间的赋值);拓宽转换(小容量类型赋值给大容量类型);窄化转换(大容量赋值给小容量类型). 实际上,前两种转换都是编译程序自动执行的,而窄化转换则要求必须显式的执行