17370845950

assert是Java中用于调试阶段检查程序假设的关键字，启用需加-ea参数，适用于验证内部状态而非运行时异常处理，禁用时无性能开销且不可替代输入校验。

assert 是 Java 中用于调试阶段检查程序假设是否成立的关键字，它不是用来处理运行时异常的，而是帮助开发者在开发和测试过程中快速发现逻辑错误。

assert 的基本语法和启用方式

Java 中 assert 有两种写法：

• assert condition; —— 如果 condition 为 false，抛出 AssertionError
• assert condition : detailMessage; —— 当 condition 为 false 时，抛出带提示信息的 AssertionError，detailMessage 可以是字符串、数字或任意表达式

注意：默认情况下 JVM 是禁用断言的。要启用它，必须在运行时加上 -ea（enable assertions）参数，例如：

也可以对特定包或类启用/禁用，比如 -ea:com.example... 或 -da:com.example.Test（disable assertions）。

assert 的典型使用场景

断言适合验证那些「本不该发生」的内部状态，比如：

• 私有方法的参数合法性（公有方法应抛出明确异常，如 IllegalArgumentException）
• 循环不变量或算法中间状态（如二分查找中 mid 索引始终在有效范围内）
• switch 语句中 default 分支的兜底判断（当所有 case 都已覆盖，default 中加 assert false）
• 私有工具方法的返回值约束（如某个计算结果理论上必须 ≥ 0）

例如：

assert 和普通 if + throw 的区别

关键差异在于语义和生命周期：

• assert 表达的是「开发期检查」，上线后通常关闭，不参与生产逻辑；而 if 检查是程序正常流程的一部分
• assert 抛出的是 AssertionError（继承自 Error），表示严重编程错误，不应被捕获；if 通常抛出 RuntimeException 或受检异常，可被合理处理
• assert 在禁用状态下完全不执行，无性能开销；if 判断始终执行

因此，不要用 assert 替代输入校验、资源检查或业务规则判断。

使用 assert 的注意事项

• 不要在 assert 中写有副作用的表达式（如 assert i++ > 0），因为禁用断言后该代码不会执行，行为不一致
• 避免在 public 方法中依赖 assert 做必要校验，调用方无法感知断言失败
• IDE 和构建工具（如 Maven）可能默认不启用断言，需确认测试运行配置
• 单元测试中建议启用断言（如 JUnit 运行参数加 -ea），以便捕获隐藏假设问题

它不复杂但容易忽略——用对地方能显著提升代码可维护性，滥用则会降低健壮性。