如果在三元运算符中使用局部变量，为什么从int到short的缩小转换不起作用

Question

short b = true ? 1 : 1;

而接下来的两行代码会导致编译错误（不兼容的类型：从int到short的转换可能有损）：

boolean bool = true;
short s = bool ? 1 : 1;

为什么编译器不能在第二种情况下对基元整数1执行相同的缩小转换？

Answer 1

正如@aioobe在评论中所概述的：

这是因为在第一种情况下，由于true是一个编译时常量，整个表达式在编译时计算，因此您基本上只有短b=1；而在第二种版本中，编译器没有为您进行简化，因此出现错误

在变量bool的声明中添加final使其成为一个常量变量，这也允许编译器如上所述解释代码。

final boolean bool = true;
short s = bool ? 1 : 1;