关于强制类型转换

先看个例子：

char c=1;
c=c+3;

编译时会报错：

/*
error: incompatible types: possible lossy conversion from int to char
c=c+3;
   ^
*/

二元运算符"+"号的操作数须是同种类型才能进行相加，然后赋值给左边变量，最终类型由左侧变量决定，若类型不一致，则Java尝试进行默认转换(或者自动类型提升)，方向如下图：

当类型范围由小转大时Java进行可自动转换，反之，范围由大转小，因可能丢失精度，需要进行强转(cast)；
在本例中，变量"c"时char类型，常量"3"被当作int型，相加时char自动转换为int，正常，但赋值时int需转换为char类型，丢失精度，报错；
进行强转需在圆括号中给出目标类型，后面紧跟待转换的变量名，如c=(char)(c+3);
在这里就容易产生一个疑惑，如下代码为何不报错：

char c=1;
c=1+3;

第二行中，常量"1"和"3"都是int类型，赋值时不也要转换成char，可这里没有强转也正常，为何？
其实这是编译器帮忙做了判断，因为二者都是常量，可直接计算得到结果，编译器会判断结果值是否在左侧类型范围内，若是则赋值，否则一样会报错；
这些信息在class文件中都有，我们使用JDK自带的javap工具来看一下(javap -c Test)：

char c=1; //0: iconst_1   把常量1放到栈顶
//        //1: istore_1   把栈顶的值1存到局部变量1，即c中
c=1+3;	  //2: iconst_4   把常量4放到栈顶
//        //3: istore_1   把栈顶的值4存到局部变量1，即c中

编译器对"1+3"进行了运算，直接得到结果"4"，而"4"又在char类型范围内，因此可以直接赋值，若改为c=c+3;则编译时未获得具体值，通过类型来判断，导致出错；
这里可以小验证一下：

char c=1;
c=65535+1;

编译一样报错，因char为2个字节长，范围为0～2^16-1即0～65535，虽然是常量相加，但结果超过char范围，会被当做int类型，之后赋值时仍需要强转；
(p.s. JDK1.6以上版本测试如此)
在这里又产生了第二个疑惑：

char c=1;
c+=65535;

上述代码为何可以正常编译并运行？
我们继续使用javap工具(JDK 1.8)来观察：

char c=1;
c+=65535;
c=(char)(c+65535);

/*     0: iconst_1      
       1: istore_1

       //以下为 c+=65535;
       2: iload_1       
       3: ldc           #2                  // int 65535
       5: iadd          
       6: i2c           //强转：int to char
       7: istore_1

       //以下为：c=(char)(c+65535);
       8: iload_1       
       9: ldc           #2                  // int 65535
      11: iadd          
      12: i2c          //强转  
      13: istore_1
*/

可以看到复合赋值运算符语句："c+=65535;" 等价于 "c=(char)(c+65535);"，因此可以通过编译，运行也未报错，当然结果跟我们想的可能会有所出入，具体可以将数值转成二进制码运算一下；
最后补充一点，char、byte、short都只是表象类型，底层都是转换为int来运算的，因此语句 "c=c+c;"  一样要进行强转才能通过编译；