如何在Java中使用“最终”关键字进行降级

Question

考虑：

class UnderstandingConversion {
    public static void main(String[] args) {

        int a=10, b=20;

        byte c = (a>b) ? 40 : 50;

        System.out.println(c);
        // output : lossy conversion error
    }
}

这段代码给出了一个错误，我理解为“有损转换”，但如果我在代码中使用Final关键字，如下所示，它工作正常。

class UnderstandingConversion {
    public static void main(String[] args) {

        final int a=10, b=20;

        byte c = (a>b)? 40 : 50;

        System.out.println(c);
        // Output: 50

    }
}

final在这里是如何工作的，降级是如何发生的？

Answer 1

编译器100%确信

要证明编译器只考虑else值，可以这样做：

    final int a=10, b=20;
    byte c = (a>b) ? 1234 : 50;

它会编译得很好，但是

final int a=10, b=20;
byte c = (a>b) ? 50 : 1234;

将产生一个错误。1234超出了字节的范围，但是在第一个例子中它是非常好的，因为这个分支被忽略了。

我相信具有更好专业知识的人可以指出JLS段落来解释这里正在发生的事情。

观察结果更新

事实证明，如果我们检查字节码，我们很可能会看到a和b被替换为常量值（也许根本没有分支）。我已经调试了该代码，并在三元运算符（使用调试器）之前将A值更改为10000，但执行仍然产生c = 50，尽管A

这是一个有趣的事实；）谢谢你提出一个问题，这样我就可以学习新东西

Answer 2

JLS具有预定义的分配转换规则。

如果表达式是字节、短、字符或整型的常量表达式 （§15.28）：

如果变量的类型是byte、short或char，并且常量表达式的值可以在变量的类型中表示，则可以使用收缩原语转换。

常量表达式的定义：

< li >原始类型的文字和字符串类型的文字 < li >引用常量变量的简单名称(6.5.6.1)(4 . 12 . 4)。 < li >关系运算符

§4.12.4定义了最终变量是什么

一个原始类型或类型字符串的变量，是最终的，并用编译时常量表达式(15.28)初始化，称为常量变量。