Java三元运算符类型推导按数值提升、基本与包装混合拆箱、包装类找公共父类、泛型擦除四规则进行，决定公共结果类型，避免NPE、精度丢失等运行时异常。
Java 三元运算符（? :）在两个分支类型不一致时，不会简单“取交集”或“按左边决定”，而是由编译器依据一套明确的类型推导规则，自动确定一个**公共结果类型**。这个过程叫“类型提升”，但它不是无脑向上转，而是分优先级、有逻辑的统一推断——理解它，才能避开 NullPointerException、精度丢失或装箱异常。
数值类型间的提升：按宽度优先
当两个分支都是数值类型（基本类型或其包装类），编译器按“更宽、更高精度”的原则统一：
-
整型之间：
byte/short/char→int（哪怕只参与运算）；int和long→ 结果为long -
浮点与整型混合：如
int和double→ 全部提升为double -
浮点之间：
float和double→ 结果为double
例如：Object o = flag ? 10 : 3.14; 中，10 是 int 字面量，3.14 是 double 字面量，结果类型是 Double（自动装箱后），整个表达式类型为 Double。
基本类型与包装类型混合：隐式拆箱风险最高
这是最易出错的场景。Java 规定：若一者为基本类型（如 int），另一者为对应包装类（如 Integer），则结果类型强制为该基本类型——意味着包装类分支会尝试自动拆箱。
立即学习“Java免费学习笔记（深入）”；
Java Maven 项目审查工作流的通用输入处理。当 Java Maven 项目以 ZIP压缩包或 GitLab 仓库 URL 形式提供且需要...时使用。
-
int x = flag ? 5 : someInteger;→ 若someInteger == null，运行时直接抛NullPointerException -
boolean b = flag ? true : boolWrapper;→ 同理，boolWrapper为null就崩
注意：这个拆箱判断发生在**运行时执行到该分支时**，不是编译期检查，所以 IDE 可能不报错，但上线就挂。
包装类型之间（含 null）：向上找共同父类
当两个分支都是不同包装类（如 Integer 和 Double），或其中一个是 null，编译器会寻找它们的最近公共引用类型：
-
Integer和Double→ 公共类型是Number（结果类型为Number） -
null和new Integer(42)→ 公共类型是Integer（因为null可赋值给任何引用类型） -
null和new Double(3.14)→ 公共类型是Double
这种推导看似安全，但一旦后续将结果赋给基本类型变量（如 int i = (flag ? null : new Integer(100));），仍会触发拆箱 → NPE。
泛型与方法返回值：类型擦除加剧不确定性
当分支涉及泛型方法调用（如 map.get("k") 返回 V）或 Optional.orElse() 等，类型推导可能受类型擦除影响，导致实际运行时类型与预期不符。例如：
-
String s = flag ? "a" : Optional.of("b").orElse(null);→ 表面安全，但若orElse(null)实际返回的是Object，而上下文期望String，可能引发ClassCastException - IDE 或编译器通常不会对这类泛型推导发出警告，需靠代码审查或单元测试暴露
