assert是Java中用于调试阶段检查程序假设的关键字，启用需加-ea参数，适用于验证内部状态而非运行时异常处理，禁用时无性能开销且不可替代输入校验。
assert 是 Java 中用于调试阶段检查程序假设是否成立的关键字，它不是用来处理运行时异常的，而是帮助开发者在开发和测试过程中快速发现逻辑错误。
assert 的基本语法和启用方式
Java 中 assert 有两种写法：
-
assert condition;—— 如果 condition 为 false，抛出AssertionError -
assert condition : detailMessage;—— 当 condition 为 false 时，抛出带提示信息的AssertionError，detailMessage 可以是字符串、数字或任意表达式
注意：默认情况下 JVM 是禁用断言的。要启用它，必须在运行时加上 -ea（enable assertions）参数，例如：
java -ea MyProgram
立即学习“Java免费学习笔记（深入）”；
也可以对特定包或类启用/禁用，比如 -ea:com.example... 或 -da:com.example.Test（disable assertions）。
assert 的典型使用场景
断言适合验证那些「本不该发生」的内部状态，比如：
- 私有方法的参数合法性（公有方法应抛出明确异常，如
IllegalArgumentException） - 循环不变量或算法中间状态（如二分查找中 mid 索引始终在有效范围内）
- switch 语句中 default 分支的兜底判断（当所有 case 都已覆盖，default 中加 assert false）
- 私有工具方法的返回值约束（如某个计算结果理论上必须 ≥ 0）
例如：
private int computeDays(int year) {
assert year > 0 : "year must be positive";
return isLeapYear(year) ? 366 : 365;
}
assert 和普通 if + throw 的区别
关键差异在于语义和生命周期：
- assert 表达的是「开发期检查」，上线后通常关闭，不参与生产逻辑；而 if 检查是程序正常流程的一部分
- assert 抛出的是
AssertionError（继承自Error），表示严重编程错误，不应被捕获；if 通常抛出RuntimeException或受检异常，可被合理处理 - assert 在禁用状态下完全不执行，无性能开销；if 判断始终执行
因此，不要用 assert 替代输入校验、资源检查或业务规则判断。
使用 assert 的注意事项
- 不要在 assert 中写有副作用的表达式（如
assert i++ > 0），因为禁用断言后该代码不会执行，行为不一致 - 避免在 public 方法中依赖 assert 做必要校验，调用方无法感知断言失败
- IDE 和构建工具（如 Maven）可能默认不启用断言，需确认测试运行配置
- 单元测试中建议启用断言（如 JUnit 运行参数加
-ea），以便捕获隐藏假设问题
它不复杂但容易忽略——用对地方能显著提升代码可维护性，滥用则会降低健壮性。
