Java中if单分支要求条件为布尔表达式且用圆括号包裹，不支持隐式转换；多分支用else if链实现，需注意互斥性、兜底else及变量初始化问题；三元运算符仅适用于值选择，不可用于副作用操作。
if 语句的最基本写法（单分支）
Java 中最简形式的 if 就是判断一个布尔表达式，为 true 时执行一段代码。注意：条件必须用圆括号包裹，且不能是数字、字符串等非布尔类型（if (x = 1) 是编译错误，不是赋值误用）。
常见错误现象：if (x == null) { ... } 写成 if (x = null) → 编译失败；或 if (str == "abc") 比较字符串内容 → 应该用 str.equals("abc")。
- 条件表达式必须返回
boolean，不支持隐式转换（比如 C/C++ 中的非零即真） - 单条语句可省略大括号，但强烈建议始终加上——避免后续加行时逻辑错位
- 空语句写法合法但危险：
if (x > 0); { System.out.println("hi"); }→ 后面的块永远执行
if-else 和 if-else if-else 的嵌套结构
多分支逻辑靠 else if 链实现，它本质是 else { if (...) { ... } } 的语法糖，因此所有 else if 实际共享同一个 if 的作用域。一旦某个条件命中，后续 else if 不再检查。
使用场景：状态码处理、输入校验、枚举分发。容易忽略的是“漏掉兜底 else”——比如只写了三个 else if，但实际可能有第四种值，导致静默跳过。
立即学习“Java免费学习笔记（深入）”；
-
else if不是独立语句，不能单独存在；必须跟在if或前一个else后面 - 多个
else if条件之间无顺序保证，应确保互斥或按优先级从高到低排列（例如先判null，再判isEmpty()） - 性能上无显著差异，但条件越靠前，平均判断次数越少；避免把高开销操作（如数据库查询）放在前面条件里
if 与三元运算符 ? : 的取舍
当逻辑只是「根据条件选一个值」时，condition ? a : b 更简洁，但仅限于能求值的表达式（不能含 void 方法调用、return、throw 等语句）。很多人误以为它只是 if-else 的缩写，其实语义和使用边界完全不同。
常见错误：用三元运算符执行副作用操作，比如 flag ? doSomething() : doNothing(); ——虽然语法通过，但可读性差，且 IDE 常警告「Conditional expression with no effect」。
- 三元运算符左右操作数类型需兼容（或有自动提升），否则编译报错：
true ? 1 : "a"不合法 - 嵌套三元（
a ? b : c ? d : e）极易出错，建议改用if-else或提取方法 - 涉及
null安全时，obj != null ? obj.getValue() : defaultValue是常用模式，比if更紧凑
if 语句中变量作用域和初始化陷阱
if 块内声明的变量只在该块内可见；但更隐蔽的问题是「未初始化就访问」。Java 要求局部变量在使用前明确赋值，而 if-else 分支可能导致某些路径下变量未被初始化。
典型错误：String s; if (cond) s = "a"; System.out.println(s); → 编译失败，因为 s 可能未初始化。即使你认为 cond 总为真，编译器也不信。
- 解决办法：在
if外初始化（如String s = null;），或确保所有分支都赋值（包括else） - 用
final变量接收三元结果（final String s = cond ? "a" : "b";）可兼顾不可变性和编译器推断 - IDE 通常会标红未初始化警告，但别依赖它——有些复杂控制流（如循环+break）会让编译器判断失效
真正麻烦的不是语法本身，而是条件表达式的可读性、null 安全、以及分支覆盖是否完整。写完 if 链后，花十秒想想「有没有我没想到的第 N 种情况」，比调半天 NullPointerException 省力得多。
