三元运算符返回类型由后两个操作数按二元数值提升规则统一确定：有double→double，否则float→float，否则long→long，否则其余整型均升为int；自动拆箱/装箱也参与类型推导。
Java 三元运算符（? :）在面试中常被用来考察对类型推断和自动转换规则的理解。它表面简单，但背后涉及二元数值提升（Binary Numeric Promotion）和条件表达式类型确定规则，稍不注意就会掉坑。
三元运算符的返回类型由后两个操作数共同决定
Java 不看布尔条件真假，而是静态分析 ? : 后面两个分支的类型，按以下优先级统一为一个公共类型：
- 如果其中一个是
double，结果就是double - 否则有
float→ 结果为float - 否则有
long→ 结果为long - 否则两个都是
int、short、byte或char→ 全部先提升为int，结果为int
例如：(a 中，<code>10.9 是 double，9 就被提升为 9.0，最终输出 9.0（不是 9）。
常量 vs 变量：char 和 int 的微妙区别
下面两行输出不同，是高频陷阱题：
立即学习“Java免费学习笔记（深入）”；
System.out.println(false ? i : x); // 输出 120（x 被转成 int） System.out.println(false ? 10 : x); // 输出 'x'（char 类型）
原因在于 Java 语言规范中的“常量表达式特殊规则”：
- 当一个分支是常量（如
10），另一个是char类型变量（如x），且该常量值在char取值范围内（0–65535），则整个表达式类型为char - 但若分支是变量（如
i，类型int），则按常规数值提升规则，char会被拓宽为int，结果就是 ASCII 值120
包装类混用时，精度优先 + 自动装箱影响
比如：Object obj = true ? new Integer(1) : new Double(2.0);
结果是 1.0（Double 类型），因为：
- 三元运算符要求统一类型，
Integer和Double的公共父类型是Number，但 JVM 实际选择的是更宽、精度更高的原始类型对应包装类 -
double>int，所以Integer(1)会先拆箱为int，再提升为double，再装箱为Double - 最终所有分支都收敛到
Double，输出1.0
避坑建议：遇到就写个小测试验证
别靠记忆硬背规则，面试时可快速写两行验证：
- 用
getClass()查实际类型：System.out.println(((a - 打印值的同时加类型注释，比如
+(a - 对 char/int 混合场景，直接试
false ? 65 : 'A'和false ? i : 'A'对比
理解本质比死记条目更重要——三元运算符的类型是编译期静态决定的，和运行时条件无关，也和“看起来像什么”无关。
