三元运算符语法为“条件 ? 表达式1 : 表达式2”，要求两分支类型兼容且必须返回值；不可含语句，嵌套需括号，避免副作用操作，类型推断比if-else更严格。
三元运算符的基本语法和执行逻辑
Java 中的三元运算符 ? : 是唯一支持三个操作数的运算符，本质是 if-else 的表达式化写法，必须返回一个值，不能当语句用。
常见错误是试图在分支中写多个语句或赋值操作，比如 a > b ? x = 1 : y = 2 —— 这会编译失败，因为 : 右侧必须是一个表达式，而非语句。
- 格式固定为：
条件 ? 表达式1 : 表达式2，两个分支类型需兼容（可自动转型或同类型） - 条件为
true时求值并返回表达式1，否则求值并返回表达式2 - 两个分支若为不同包装类型（如
Integer和Double），会触发拆箱+向上转型，可能引发NullPointerException
嵌套三元运算符的可读性陷阱
嵌套使用 ? : 虽语法合法，但极易降低可维护性，且容易因优先级问题出错。Java 不支持无括号的多层嵌套链式写法。
例如 a > 0 ? b > 0 ? "both" : "a only" : b > 0 ? "b only" : "none" 看似紧凑，但一旦漏掉括号或逻辑微调，结果可能偏离预期。
立即学习“Java免费学习笔记（深入）”；
- 推荐用括号明确分组：
a > 0 ? (b > 0 ? "both" : "a only") : (b > 0 ? "b only" : "none") - 超过一层嵌套时，应直接改用
if-else if-else块，尤其涉及方法调用、日志或异常处理时 - IDE（如 IntelliJ）默认会警告嵌套深度 > 2 的三元表达式，这不是风格偏好，而是规避空指针和类型推导失败的实际需要
与 if-else 的性能和字节码差异
单纯从执行效率看，三元运算符和对应 if-else 在 HotSpot JVM 下生成的字节码几乎一致，JIT 编译后无实质差别。真正影响性能的是分支内表达式的开销，而非语法形式。
但有一个关键区别：三元运算符强制要求两个分支都参与编译期类型检查，而 if-else 是运行时分支，各走各的路径。
- 比如
String s = flag ? getString() : null;中，getString()总是会被调用（无论flag值），而if (flag) s = getString(); else s = null;可避免冗余调用 - 对有副作用的操作（如日志、计数器自增、IO），绝不能放在三元表达式里，否则行为不可控
- 泛型推断在三元中更脆弱，例如
List可能因类型擦除导致编译错误list = cond ? Arrays.asList("a") : new ArrayList()
常见编译错误及修复方式
三元运算符报错大多源于类型不匹配或空值处理不当，不是语法写错，而是 Java 类型系统在表达式上下文中的严格约束所致。
典型错误信息如：Type mismatch: cannot convert from Integer to boolean 或 Null pointer access: The variable may be null，往往出现在自动拆箱场景。
-
int x = flag ? 1 : null;→ 报错：不能将null赋给基本类型int；应改为Integer x = flag ? 1 : null;或补默认值flag ? 1 : 0 -
Boolean b = flag ? true : false;→ 冗余，直接写Boolean b = flag;即可 -
String s = obj != null ? obj.toString() : "";→ 安全，但若obj是Optional，应优先用map/orElse，而非硬套三元
最易被忽略的是：三元表达式本身不会短路——两个分支的表达式在编译期就必须合法，哪怕某一分支在运行时永远不会执行。
