Java条件表达式为何仅支持final int窄化转换而非final short？

现象回顾 #

先看两个编译结果截然不同的代码示例：

可正常编译的代码 #

public class Testing {
    public static void main(String[] args) {
        final int x = 99;
        byte y = 33;
        byte r = true ? x : y;
        System.out.println(r);
    }
}

触发编译错误的代码 #

public class Testing {
    public static void main(String[] args) {
        final short x = 99;
        byte y = 33;
        byte r = true ? x : y;
        // 编译错误：java: incompatible types: possible lossy conversion from short to byte
        System.out.println(r);
    }
}

核心疑问：为何编译器允许final int与byte组合时的自动窄化转换，却禁止final short与byte组合的情况？

规则背后的逻辑 #

这一切源于Java语言规范中对条件表达式类型推导和常量表达式窄化转换的特殊规则：

1. 条件表达式的类型推导基础 #

当条件表达式的两个操作数是不同基本类型时，会先触发二进制数字提升：

• 若操作数是byte和short，byte会被自动提升为short，最终表达式类型为short。
• 若其中一个操作数是final int常量，且值能被目标小类型（如byte）表示时，编译器会跳过常规提升，做特殊适配。

2. final int常量的特殊待遇 #

Java规范明确：当final int类型的常量表达式值在byte/short/char的取值范围内时，它会被视为这些小类型的“等效常量”。在和byte操作数组合的条件表达式中，编译器会直接推导结果类型为byte，因此赋值给byte变量时，自动窄化转换是被允许的。

3. final short常量的限制 #

对于final short常量，即便它的值在byte范围内，Java规范也没有赋予它类似final int的特殊窄化权限。它和byte操作数组合时，会触发常规二进制提升：byte被提升为short，条件表达式结果类型为short。而short转byte属于可能丢失精度的窄化转换，Java编译器默认禁止这种隐式转换，必须显式强制转换才能通过编译。

本质上，Java只给了final int常量这种“跨类型适配”的特殊许可，目的是让开发者使用小范围int常量时更灵活；其他短整型常量则遵循严格的类型提升规则，避免隐式转换带来的意外精度丢失。

内容的提问来源于stack exchange，提问作者MForystek