为什么最终变量不总是一个常量表达式？

Question

在以下代码中:

final int a;
a=2;
byte b=a;   // error: possible loss of precision

为什么我会收到此错误？是不是a最终变量编译时常量表达式,因此在赋值期间隐式缩小为字节？

换句话说,上面的代码不等同于:

final int a=2;
byte b=a;

Answer 1

来自JLS

一个空白的final是一个final变量,其声明中缺少一个初始化.

常量变量是使用常量表达式初始化final的基本类型或类型的变量 String(第15.28节).

你的变量

final int a;

是一个空白final变量.它缺少初始化程序.第二段不适用于它,因为它未在声明时初始化.因此,它不是一个恒定的表达.

这也适用于领域.

Answer 2

编译器并不那么聪明.

我们可以说价值总是2.但是如果我们有这样的东西怎么办？

class ABC{
    final int a;

    public ABC(){
       if(Math.random() < .5){
          a = 2;
       }
       else{
          a = 12345;
       }

       byte b = a;
    }
}

编译器不够智能,无法区分这两种情况,因此它会给您一个错误.