Java编程基础教程：条件与循环逻辑的健壮性设计指南

写好条件与循环：不崩、不漏、不歧义

先纠正一个常见认知误区：许多开发者认为“代码能跑通”就是成功。实际上，真正健壮的条件与循环逻辑，核心原则可以概括为六个字——不崩、不漏、不歧义。具体来说：提前预判异常、严格守住边界、使代码意图一目了然。

条件判断：先校验，再分支

所有外部输入（包括参数、返回值、配置项）都应默认视为不可信。这不是悲观主义，而是专业素养。在执行 if 判断之前，应主动将 null、空集合、非法数值等潜在隐患过滤掉，而不是将它们隐藏在 else 分支或深层嵌套中。

• 字符串判空：优先使用 "expected".equals(input) 而非 input.equals("expected")——前者天然避免空指针异常，后者在 input 为 null 时会直接崩溃。
• 集合判非空：推荐书写 collection != null && !collection.isEmpty()，不要仅依赖 size() > 0（否则可能遭遇空指针异常）。
• 数值范围校验：使用 if (x >= 0 && x <= 100)，清晰且无歧义。避免写成 if (0 <= x <= 100)——这在 Java 中是语法错误，多处出现则更易引发问题。

for 循环：索引与长度严格对齐

数组或列表遍历时，索引越界是最常见的安全隐患。索引必须严格控制在 0 到 length - 1（或 size() - 1）之间，并且终止条件应一目了然。

• 标准写法：for (int i = 0; i < array.length; i++)——终止条件直接与长度关联，毫无歧义。
• 避免使用 i <= array.length - 1——虽然逻辑等价，但稍不注意写成 i <= array.length 就会导致越界。
• 遍历 List 时，若需要在循环内执行修改操作（如 remove），应优先使用迭代器或倒序 for 循环，避免使用正序下标删除——正序删除会导致跳过相邻元素，使逻辑偏离预期。

while 循环：确保条件可变、防死循环

while 循环的退出依赖于条件的变化，因此循环体内必须包含明确且可控的状态更新；同时应预设兜底机制，防止意外死循环。

• 每次循环至少更新一个变量，且该变量直接影响 while 条件的真假。
• 涉及外部响应（如网络请求、用户输入等）时，务必加入超时计数或最大重试次数——避免因服务故障导致线程长时间挂起。
• 避免使用浮点数精确相等判断作为循环条件（例如 while (d != 0.1)），应改用误差范围：Math.abs(d - 0.1) > 1e-6。

异常与边界：让失败可感知、可处理

健壮性并不等同于回避异常，而是要求异常发生时行为确定、反馈明确、资源不泄露。

• catch 块后不要留空——至少记录日志，或转换为业务可理解的提示信息。空的 catch 等同于掩埋问题，将给调试带来巨大困难。
• 打开文件、数据库连接等资源时，务必使用 try-with-resources 自动关闭，避免手动编写 finally 块而遗漏关闭。
• 方法返回集合时，宁可返回空集合（Collections.emptyList()），绝不返回 null——调用者每少写一个 null 检查，就多一个崩溃点。

总而言之，条件与循环的健壮性并非技巧的简单堆砌，而是一种“防御性思维”的养成。少一些“我觉得不会出问题”，多一些“如果出了怎么办”，代码质量自然会持续提升。