Java 的 assert 是开发阶段专用的轻量级逻辑探针，需手动启用（-ea），用于检查内部不变式而非外部输入，失败抛出 AssertionError，不可捕获或替代异常处理。
Java 中的 assert 不是异常处理机制，而是专为开发阶段设计的轻量级逻辑探针——它不捕获、不恢复、不替代 try-catch，只在条件不成立时立刻中断执行，强制你直面“本不该发生却发生了”的内部矛盾。
断言必须手动启用才能生效
JVM 默认完全忽略所有 assert 语句，哪怕写得再完整，不加参数就等于没写。启用方式统一且明确：
- 命令行运行：加
-ea（enable assertions），例如java -ea MyApp - IDE 运行配置：在 Run/Debug Configurations → VM options 中填入
-ea - Gradle 测试任务：在
test块中设置jvmArgs = ['-ea'] - 禁用某包下的断言（调试时精细控制）：
-da:com.example.util...
只检查内部不变式，不碰业务边界
断言声明的是“这里必须为真，否则整个模块逻辑已崩塌”，典型适用场景包括：
- 私有方法执行前后的状态一致性，如
assert list != null && !list.isEmpty() : "cache must be initialized" - 循环中持续成立的约束，如
assert maxSoFar >= arr[i] : "max invariant broken at index " + i - 算法关键前提，如二分查找入口处
assert isSorted(data) : "data must be sorted for binarySearch" - 状态机流转合法性，如
assert state == State.READY || state == State.RUNNING
它绝不用于校验用户输入、HTTP 参数、数据库查询结果等外部不可控数据。
Alibabacloud Sdk Client Initialization For Java
下载
在 Java 中初始化和管理阿里云 SDK客户端。包括单例模式、线程安全、endpoint 与 region 配置、VPC 终端节点、同步与异步等。
立即学习“Java免费学习笔记（深入）”；
避开副作用与模糊提示
断言表达式一旦被 JVM 跳过（即未启用 -ea），其中任何副作用都会消失，造成行为不一致：
- ❌ 错误：
assert logger.info("x=" + x);—— 上线后日志不打，还可能语法报错 - ❌ 错误：
assert map.remove(key) != null;—— 关闭断言后 key 留在 map 里，逻辑悄然改变 - ✅ 正确：错误信息带上下文和变量值，如
assert count >= 0 : "count went negative: " + count + " in updateBalance()"
别和异常处理混用
断言失败抛出的是 AssertionError（继承自 Error），不是 Exception。这意味着：
- 不应被
try-catch捕获并“处理”——它代表程序已处于不可信状态，恢复无意义 - 不能替代
IllegalArgumentException、NullPointerException等业务校验异常 - 不适用于公共 API 方法的参数检查，那些必须用显式 if + 抛标准异常来保障契约
本质上，断言是你写给自己的运行时注释：它不解决错误，只确保你不会漏掉那个“理论上绝不可能、一旦出现就说明设计错了”的瞬间。
