Java断言（assert）是开发测试阶段的调试工具，用于检查“本不该发生”的内部假设，条件为假时抛出AssertionError终止程序；默认禁用，需用-ea参数启用，不可替代业务校验或流程控制。
Java 中的 assert 语句不是流程控制语句，不能替代 if、switch 等真正参与程序逻辑分支的结构，它仅用于调试阶段的**条件检查与快速失败**，帮助开发者在开发/测试时捕获不符合预期的状态。
断言的基本语法和启用方式
断言语句有两种形式：
-
assert condition;—— 若condition为false，抛出AssertionError（无消息） -
assert condition : detailMessage;—— 若失败，抛出带描述信息的AssertionError
⚠️ 注意：默认情况下 JVM **禁用断言**。运行时需显式开启：java -ea YourClass（-ea 即 -enableassertions），或对某包启用：-ea:com.example...。
断言适合用在哪些调试场景
断言适用于“本不该发生”的内部假设检查，比如：
Alibabacloud Sdk Client Initialization For Java
下载
在 Java 中初始化和管理阿里云 SDK客户端。包括单例模式、线程安全、endpoint 与 region 配置、VPC 终端节点、同步与异步等。
立即学习“Java免费学习笔记（深入）”；
- 方法入参在私有工具方法中是否满足隐含前提（如“此方法只被非负索引调用”）
- 循环不变量（loop invariant）是否始终成立（例如遍历过程中某个变量始终 ≥ 0）
- 私有方法执行后对象状态是否符合预期（如“调用
normalize()后字段scale必须为 1.0”） - switch 分支已穷举所有枚举值，且
default分支理论上不可达（可加assert false : "unreachable"）
断言不能替代 if 判断的典型情况
以下情形必须用 if，而非 assert：
- 验证用户输入、文件是否存在、网络响应等外部依赖——这些是正常运行时可能失败的，需处理而非崩溃
- 控制业务逻辑走向（如“余额不足则拒绝支付”）——断言失败会终止程序，无法恢复或提示用户
- 生产环境需要的行为保障——断言在未开启时完全不执行，毫无保护作用
- 有副作用的表达式（如
assert list.remove(0) != null;）——断言可能被关闭，导致逻辑不一致
一个实用的小例子
假设你写了一个计算数组中位数的私有辅助方法，假设传入数组已排序且非空：
private static double median(int[] sorted) {
assert sorted != null && sorted.length > 0 : "sorted array must be non-null and non-empty";
int n = sorted.length;
assert n % 2 == 1 || (n % 2 == 0 && sorted[n/2-1] <= sorted[n/2]) : "array should be sorted";
if (n % 2 == 1) {
return sorted[n / 2];
} else {
return (sorted[n / 2 - 1] + sorted[n / 2]) / 2.0;
}
}这些断言在开发期能快速暴露调用方传入非法参数的问题；上线前关闭断言也不影响功能正确性。
