assert Java

### Java 中 `assert` 的用法

在 Java 编程语言中，断言（`assert`）用于验证程序中的假设条件是否成立。如果条件不满足，则抛出 AssertionError 异常并终止程序执行。

#### 断言语句语法
基本形式如下：

assert condition;
// 或者带有错误消息的形式
assert condition : errorMessage;

这里 `condition` 是布尔表达式，当其计算结果为 false 时触发异常；而可选参数 `errorMessage` 可以为调试提供更多信息[^1]。

#### 启用与禁用断言
默认情况下，在大多数 JVM 实现里断言功能是关闭状态。可以通过命令行选项 `-ea` (enable assertions) 来开启它，相反地使用 `-da` 则会再次将其关闭。

#### 使用场景举例
下面给出几个实际应用的例子来展示如何合理运用此特性:

##### 验证方法前提条件
确保传入的方法参数处于预期范围内之前先做检查可以提高代码健壮性。

public void divide(int numerator, int denominator){
    assert denominator != 0 : "Denominator cannot be zero";
    
    System.out.println(numerator / denominator);
}

##### 测试内部逻辑一致性
对于复杂算法实现过程中间态的一致性和正确性的确认也十分有用。

private boolean isValidState(){
    // Complex validation logic here...
}

void processRequest(Request req){
    ...
    assert isValidState() : "Invalid state detected during request processing.";
    ...
}