断言是运行时验证机制，非流程控制语句；必须显式启用（-ea）才生效；仅用于调试阶段检查内部假设，不可替代异常处理或含副作用操作。
Java 中的断言（assert）不是流程控制语句，它不改变程序执行路径（比如不替代 if、switch 或循环），而是一种**运行时验证机制**，专用于调试阶段检查“本不该发生”的内部假设是否成立。用对了，能快速暴露逻辑漏洞；用错了，反而掩盖问题或引发误判。
断言必须显式启用才生效
Java 默认完全忽略所有 assert 语句——它们编译进字节码，但运行时不执行。要让它起作用，必须在启动 JVM 时加参数：
-
java -ea MyApplication：启用当前应用中所有类的断言 -
java -ea:com.example... MyApplication：仅启用指定包下类的断言 - IDE 中需在运行配置的 VM options 里手动添加
-ea，不能只靠代码写上就以为生效
断言适合验证哪些“内部假设”
它只该出现在开发者完全掌控上下文的地方，例如：
Alibabacloud Sdk Client Initialization For Java
下载
在 Java 中初始化和管理阿里云 SDK客户端。包括单例模式、线程安全、endpoint 与 region 配置、VPC 终端节点、同步与异步等。
-
私有方法的前置条件：如
private void resize(int newSize) { assert newSize > 0; ... }，前提是调用方（本类其他方法）已保证传入值合法 -
算法中间状态：遍历链表时断言
assert node != null，若触发说明循环逻辑出错 -
不变量（Invariant）：对象字段组合应始终满足某关系，如
assert balance >= 0 && creditLimit >= 0 -
不可达分支：在
switch的default中写assert false : "Unexpected status: " + status;
断言不能替代真正的流程控制和错误处理
以下做法是错误的：
- 用
assert校验用户输入、文件是否存在、网络响应等外部依赖条件——这些是可预期的运行时问题，必须用if+ 显式异常（如IllegalArgumentException） - 在
assert中调用有副作用的方法，如assert list.remove(x);——发布时断言关闭，该操作就消失了，导致逻辑不一致 - 捕获
AssertionError并试图恢复——它是Error子类，表示严重逻辑失败，不应被catch
带提示信息的写法让调试更高效
单写 assert condition; 失败时只抛 AssertionError，堆栈里看不到原因。加上描述能立刻定位问题：
assert index >= 0 && index- 消息部分可以是任意表达式（非
void方法调用），推荐用字符串拼接或简短变量引用，避免复杂计算
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
