Java三目运算符返回值类型由编译器依二元类型提升和LUB规则严格推断：基本类型按宽度优先提升，引用类型取最小公共超类型，混合类型需可统一，null和lambda需目标类型支持。
Java 三目运算符（? :）的返回值类型不是简单取两个分支中“看起来更宽泛”的那个类型，而是由编译器根据二元类型提升规则和条件表达式类型推断算法严格计算得出。核心原则是：两个操作数必须能被转换为一个公共类型，该类型即为整个表达式的类型；若无法隐式转换到同一类型，则编译报错。
基本类型间的类型提升遵循数值宽度优先规则
当两个分支都是基本类型时，Java 按照固定的提升顺序决定结果类型：
- 如果任一分支是
double，结果为double - 否则，任一分支是
float，结果为float - 否则，任一分支是
long，结果为long - 否则，全部按
int处理（byte、short、char都自动提升为int）
例如：int a = true ? 1 : 2L; 编译失败（int 和 long 无公共基础类型），但 long b = true ? 1 : 2L; 合法，因为左值类型不参与推断，而表达式本身类型是 long，可赋给 long 变量。
引用类型需存在明确的公共父类型或接口
当两个分支为引用类型时，编译器寻找它们的最小公共超类型（least upper bound, LUB）：
立即学习“Java免费学习笔记（深入）”；
-
String s = flag ? "a" : new Object();编译失败 ——String和Object的 LUB 是Object，但Object不能赋给String变量（除非显式强转） -
Object o = flag ? "a" : new StringBuilder();合法，结果类型为Object -
CharSequence cs = flag ? "hello" : new StringBuilder();合法，因为两者都实现CharSequence，且它是它们的最具体公共接口
注意：泛型类型擦除后参与推断，原始类型与参数化类型比较时以擦除后类型为准。
包装类型与基本类型混合时触发自动拆箱/装箱，但有严格限制
涉及包装类（如 Integer）和对应基本类型（如 int）时，编译器会尝试统一为基本类型（若安全）或其包装类：
-
int x = flag ? 42 : new Integer(100);合法，Integer可拆箱为int -
Integer y = flag ? 42 : new Integer(100);合法，int自动装箱为Integer -
Number n = flag ? 42 : new Double(3.14);合法，LUB 是Number -
int z = flag ? null : 1;编译失败 ——null没有类型，无法与int统一；此时必须写成Integer分支并处理null
lambda 表达式或方法引用不能直接用于三目运算符分支
因为它们没有独立类型，只有在目标类型上下文中才被赋予函数式接口类型。以下写法非法：
Runnable r = flag ? () -> {} : () -> {}; // OK，有目标类型Object o = flag ? () -> {} : () -> {}; // 编译失败，无目标类型，无法推断 lambda 类型
类似地，方法引用也依赖目标类型。若需混用，应显式转型或使用变量中间存储。
