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那个变量名用其常量值进行带入，再判断是否发生各种错误即可。

这时候，我们再回到最开始的那道题就很好解了：

1. b3=(b1+b2);  /*语句1*/  ——>  b3 = b1+ b2;  // 错，右边整形计算默认使用int，最终为int  而左边为byte类型，大变小需要强转
2. b6=b4+b5;    /*语句2*/   ——>  b6 = 4+ 6;      //正确
3. b8=(b1+b4);  /*语句3*/  ——>  b8 = b1+ 4;  // 错，同1
4. 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