断言适用于检测内部程序错误，如私有方法参数非法、控制流异常等，默认关闭，仅开发测试启用。1. 用于私有方法参数校验、控制流断言、算法状态验证；2. 语法为assert condition或assert condition : expression；3. 运行时需加-ea参数开启；4. 不同于异常，断言属Error类型，不捕获，不可替代公共方法的输入校验。
在Java中，断言（assert）机制可用于验证程序内部的假设条件，尤其适合用来替代部分用于调试的异常检查。它不能完全代替异常处理，但在特定场景下能更简洁地处理内部错误。
何时使用断言代替异常
断言适用于检测那些“绝不应该发生”的内部程序错误，比如私有方法的参数非法、控制流错误等。这些情况通常表明代码存在bug，而不是用户输入或外部环境问题。
与异常不同，断言默认是关闭的，只应在开发和测试阶段启用，生产环境中通常不启用。因此，它不适合处理可恢复的错误或用户输入校验。
- 私有方法中的参数校验：如果方法只被本类调用，可用断言确保传入参数合法
- 控制流断言：例如 switch-case 中 default 分支不可能执行，可用 assert false
- 算法中间状态验证：如递归或循环中某些变量应始终满足特定条件
如何正确使用 assert 语法
Java中使用 assert 关键字，有两种形式：
立即学习“Java免费学习笔记（深入）”；
assert condition;assert condition : expression;
第一种：如果 condition 为 false，抛出 AssertionError。
第二种：额外提供一个表达式作为错误信息，可以是字符串或其他值。
示例：
assert value >= 0 : "value 必须非负，实际为 " + value;
// 正常逻辑处理
}
public void processState(int state) {
switch (state) {
case 1: ...; break;
case 2: ...; break;
default:
assert false : "未知状态: " + state;
}
}
启用断言运行选项
默认情况下JVM不启用断言。要在运行时开启，需添加参数：
java -ea YourClass或
java -enableassertions YourClass
也可针对特定包或类启用：
java -ea:com.example... YourClass断言 vs 异常：关键区别
异常用于处理可预期的错误情况，必须被处理或声明。而断言是开发期辅助工具，用于捕捉逻辑错误。
- 异常必须被启用即生效；断言可被关闭，生产环境常禁用
- 不应依赖断言来阻止非法输入，公共方法仍需 throw IllegalArgumentException 等
- 断言失败抛出 AssertionError，属于 Error 类型，一般不捕获
基本上就这些。合理使用断言能让代码更清晰，把内部假设显式表达出来，同时减少冗余的异常检查代码，但切记不要用它替代必要的运行时异常校验。
