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;" 一样要进行强转才能通过编译；