Java 断言（assert）

assert 自 JDK 1.4 起成为 Java 语言关键字，在 JDK 21、25 等当前版本中依然存在，语法与语义未变。但它不是单元测试框架里的断言，也不适合承担业务代码对外契约校验。本文说明语法、运行时开关，以及在新版本 Java 里何时该用、何时不该用。

与现代 Java 的关系

assert 没有被废弃，也没有被新语法取代。JDK 5 之后的泛型、JDK 7 的 Objects.requireNonNull、JDK 14 的 switch 表达式等，解决的是类型安全、空值检查、控制流等问题，与 assert 的「内部不变量检查」定位不同。

现代代码里更常见的替代手段：

结论：assert 在新版本 Java 里仍可用，但已不是主流推荐写法；日常业务与库 API 更倾向显式异常，测试用测试框架断言。

与单元测试断言的区别

这是两个完全不同的概念：

单元测试几乎不会用 Java assert 关键字来写断言。Maven Surefire、Gradle 默认也不给测试进程加 -ea。测试里应使用框架提供的 assert* 方法。

业务代码里建议用吗

不建议把 assert 当作业务逻辑的一部分，原因如下。

1. 生产环境默认关闭

assert 在 JVM 启动时默认不启用。线上进程通常不带 -ea，assert 语句等于不存在。若用它校验用户输入、外部 API 响应、数据库字段，等于没有校验。

2. 失败类型是 Error，不是可控异常

assert 失败抛出 AssertionError，继承 Error 而非 Exception。按 Java 惯例，Error 表示 JVM 或程序处于不可恢复状态，业务代码不应依赖捕获它来做流程控制。

3. Effective Java 的划分

Joshua Bloch 在 Effective Java 中区分两类检查：

• 参数校验（precondition）：调用方可能传错 → 用 IllegalArgumentException、NullPointerException（Objects.requireNonNull）等，必须在关闭 assert 时也生效。
• 内部不变量（invariant）：仅开发者逻辑错误才会触发 → 才适合考虑 assert。

公共 API 的参数检查不能用 assert；私有方法里对「调用方已保证成立」的前提，历史上有人用 assert，但今天更常见的是显式 if + IllegalStateException，行为不依赖 -ea。

4. 副作用表达式

assert 的布尔表达式在关闭时不求值，开启时求值。若表达式含方法调用或状态修改，开启/关闭 assert 会导致不同行为，容易埋坑。Objects.requireNonNull 等则始终执行。

实践建议

语法

两种形式：

assert expression;
assert expression : detail;

• expression：布尔表达式。
• detail：可选；失败时传给 AssertionError 构造参数，类型为任意表达式（常用于字符串拼接说明）。

assert value > 0;
assert value > 0 : "value=" + value;
assert ref != null : "ref is null";
assert isBalanced();

语义：

• 关闭 assert：语句无操作，expression 与 detail 均不求值。
• 开启 assert：先求值 expression；为 false 时抛出 AssertionError；为 true 且带 detail 时不再计算 detail。
• 若求值过程中先抛出其他异常，则传播该异常，不会变成 AssertionError。

编译与运行

JDK 1.4 起 assert 已是关键字，现代 JDK 无需 -source 1.4 即可编译。

运行时通过 JVM 参数控制（默认全部关闭）：

常见组合：

... 表示包及其子包；单独 ... 表示默认（无名）包。

程序内也可用 ClassLoader 动态调整：setDefaultAssertionStatus、setPackageAssertionStatus、setClassAssertionStatus、clearAssertionStatus。

设计要点

• 运行时开关：与 C 语言编译期 NDEBUG 不同，Java 在运行时决定是否检查，同一份字节码可带或不带 -ea 运行。
• AssertionError 是 Error：强调「不应恢复的逻辑错误」，而非普通运行时异常。
• 无继承语义：子类开启断言不会自动开启父类中的 assert；按声明所在类的包/类名匹配 -ea / -da。

继承示例：父类 Base.baseMethod() 含 assert false，子类 Derived 的 main 调用它时：

适用场景（若仍选择使用）

仅在 -ea 开启时有意义，且表达式应短小、无副作用：

1. 不可达分支：switch 的 default: assert false;（今天更推荐 default 直接抛 IllegalStateException）。
2. 私有方法前提：调用方已保证的条件，如 assert param != null（公共方法应抛 NullPointerException）。
3. 复杂计算后的内部不变量：如 assert value >= 0 验证私有算法中间状态。
4. 类不变量：多方法共享的状态关系，在关键操作前后检查（需注意性能与是否依赖 -ea）。

反例：用 assert 检查 HTTP 请求参数、解析 JSON 字段、判断用户权限——这些必须在 assert 关闭时同样有效。

小结

• assert 在现行 JDK 中仍然合法，但属于边缘特性，不是现代 Java 的默认风格。
• 单元测试用 JUnit / AssertJ 等，不是 Java assert 关键字。
• 业务代码应对外契约用显式异常与校验框架；不要指望生产环境默认开启的 assert。
• 若团队保留 assert，限定在私有实现、开发/测试环境 -ea，并避免带副作用的表达式。

参考资料

• JSR 41: A Simple Assertion Facility
• Programming With Assertions（Oracle 文档，适用于各版本语义说明）
• Joshua Bloch, Effective Java, Item 9: Check parameters for validity

维护记录