正文
Java关于使用“final”修饰基本类型的注意事项
小程序：扫一扫查出行【扫一扫了解最新限行尾号】
复制小程序
今天无意发现这样一道题，可以先做做看：
正确答案是BCD。
至于原因有人给出了参考答案：
1、所有的byte,short,char型的值将被提升为int型；
2、如果有一个操作数是long型，计算结果是long型；
3、如果有一个操作数是float型，计算结果是float型；
4、如果有一个操作数是double型，计算结果是double型；
5、被fianl修饰的变量不会自动改变类型，当2个final修饰相操作时，结果会根据左边变量的类型而转化。
其中第5项就很模糊了，啥叫根据左边的变量而变化？？。
在此做出以下测试：
public class Test1
{
public static void main(String[] args) { final byte a1=1,b1=1,b11;
final char a2='a',b2='a',b22;
final short a3=3,b3=3,b33;
final int a4=4,b4=4,b44;
final long a5=5,b5=5,b55;
final float a6=6,b6=6,b66;
final double a7=7,b7=7,b77; //等号右边，被final修饰的为byte,short,char,int中的任何一种；等号左边可以为byte、short、char、int、long、float、double中的任何一种都不会出错
b11=a1+a2;
b11=a2+a3;
b22=a3+a3;
b33=a4+a3;
b44=a2+a3;
b55=a1+a3;
b66=a2+a3;
b77=a4+a3; //等号右边，被final修饰的为long、float、double中的任何一种；等号左边类型必须等于或者高于等号右边类型才不会出错，否则出错。
b11=a4+a5; //编译时出错 类型不匹配：不能从 long 转换为 byte
b22=a5+a5; //编译时出错 类型不匹配：不能从 long 转换为 char
b33=a5+a5; //编译时出错 类型不匹配：不能从 long 转换为 short
b44=a5+a5; //编译时出错 类型不匹配：不能从 long 转换为 int
b55=a6+a6; //编译时出错 类型不匹配：不能从 float 转换为 long
b66=a5+a6;
b77=a7+a2;
}
}
以上结论正确？正确了一半，这只是在找规律并不能解释所有情况，例如：
final byte a = 126;
final int b = 2; byte x = a+b; // 编译出错 不能从 int 转换为 byte
为什么错误？
因为，final修饰的变量其实为常量，即在编译期间的时候就已经确定为一个具体的不变的东西，所以以上代码在运行的时候直接相当于 byte x = 126 + 2;【byte 范围为-128~127】
而byte x = 122 + 5;就不会有错。
但是要注意的是，long、float、double替换成相应常量时候会自动带上标识L、F、D，所以我们平时带入这三种时记得带上标识。例如12L、12.0F、12.0D。
int y = 12D + 12L; // 编译出错 不能从 double 转换为 int
额外的，我们需要提醒一些情况【与final无关】
int x = 2147483647 + 2147483647; // 正确 【2147483647为int最大值】
int y = 2147483648; // 类型 int 的文字 2147483648 超出了范围
第一行代码，右边计算溢出，但是由于底层默认采用int补码进行运算，最后得到的补码再还原，值为-2再赋值给左边，所以不会报错，而第二行直接就溢出了。
【如需计算，则将右边其中一个2147483647加上L（变为long），并且将x声明为long即可使用long的补码计算】
综上所述，其实有关【使用“final”修饰基本类型】并不需要分太多情况，
直接将final那个变量名用其常量值进行带入，再判断是否发生各种错误即可。
这时候，我们再回到最开始的那道题就很好解了：
- b3=(b1+b2); /*语句1*/ ——> b3 = b1+ b2; // 错，右边整形计算默认使用int，最终为int 而左边为byte类型，大变小需要强转
- b6=b4+b5; /*语句2*/ ——> b6 = 4+ 6; //正确
- b8=(b1+b4); /*语句3*/ ——> b8 = b1+ 4; // 错，同1
- b7=(b2+b5); /*语句4*/ ——> b7 = b2+ 6; // 错，同1
最后附上等号右边变量计算最终类型表：（直接写则整形为int，小数为double）
全为整形：无long——int例如(byte)a +(short)b + 1
有long———long例如(byte)a +(short)b + 1 + (long)d
包含小数：无double——float例如(byte)a +(short)b + 1 + (long)d + (float)e
有doule——double例如(byte)a +(short)b + 1 + (long)d + (float)e + 1.0
