17370845950

断言适用于检测内部程序错误，如私有方法参数非法、控制流异常等，默认关闭，仅开发测试启用。1. 用于私有方法参数校验、控制流断言、算法状态验证；2. 语法为assert condition或assert condition : expression；3. 运行时需加-ea参数开启；4. 不同于异常，断言属Error类型，不捕获，不可替代公共方法的输入校验。

在Java中，断言（assert）机制可用于验证程序内部的假设条件，尤其适合用来替代部分用于调试的异常检查。它不能完全代替异常处理，但在特定场景下能更简洁地处理内部错误。

何时使用断言代替异常

断言适用于检测那些“绝不应该发生”的内部程序错误，比如私有方法的参数非法、控制流错误等。这些情况通常表明代码存在bug，而不是用户输入或外部环境问题。

与异常不同，断言默认是关闭的，只应在开发和测试阶段启用，生产环境中通常不启用。因此，它不适合处理可恢复的错误或用户输入校验。

• 私有方法中的参数校验：如果方法只被本类调用，可用断言确保传入参数合法
• 控制流断言：例如 switch-case 中 default 分支不可能执行，可用 assert false
• 算法中间状态验证：如递归或循环中某些变量应始终满足特定条件

如何正确使用 assert 语法

Java中使用 assert 关键字，有两种形式：

第一种：如果 condition 为 false，抛出 AssertionError。
第二种：额外提供一个表达式作为错误信息，可以是字符串或其他值。

示例：

private void calculate(int value) {
   assert value >= 0 : "value 必须非负，实际为 " + value;
   // 正常逻辑处理
}

public void processState(int state) {
   switch (state) {
      case 1: ...; break;
      case 2: ...; break;
      default:
         assert false : "未知状态: " + state;
   }
}

启用断言运行选项

默认情况下JVM不启用断言。要在运行时开启，需添加参数：

也可针对特定包或类启用：

断言 vs 异常：关键区别

异常用于处理可预期的错误情况，必须被处理或声明。而断言是开发期辅助工具，用于捕捉逻辑错误。

• 异常必须被启用即生效；断言可被关闭，生产环境常禁用
• 不应依赖断言来阻止非法输入，公共方法仍需 throw IllegalArgumentException 等
• 断言失败抛出 AssertionError，属于 Error 类型，一般不捕获

基本上就这些。合理使用断言能让代码更清晰，把内部假设显式表达出来，同时减少冗余的异常检查代码，但切记不要用它替代必要的运行时异常校验。