为什么Java要用Assert断言

在 Java 里使用 assert 断言，目的并不是“验证业务条件”，而是在开发和测试阶段帮助发现程序内部逻辑错误。要理解“为什么要用它”，最好从它的设计定位和适用场景来看。

一、Assert 的本质目的

一句话总结：

断言用于表达“程序员认为永远为真”的条件，而不是用户约束或运行时校验。

它主要解决的是：

• 防止逻辑错误
• 尽早发现不合理的内部状态
• 提高代码的可读性和可验证性

二、为什么要用 Assert（核心理由）

✅ 1. 明确表达“这是不可能发生的”

int age = calculateAge();
assert age >= 0 : "age must not be negative";

这句话的语义是：

“如果 age < 0，那说明我的程序逻辑出错了。”

比写注释更有约束力。

✅ 2. 快速发现 Bug（失败即错误）

断言失败会抛出：

AssertionError

而且：

• 不是 Exception
• 不能通过 catch 正常恢复
• 说明：程序已经处于不可信状态

相比悄悄继续执行，断言失败更安全。

✅ 3. 不影响生产代码（默认关闭）

Java 的断言是运行时可关闭的：

java -ea com.example.Main   # 开启断言
java -da com.example.Main   # 关闭断言（默认）

✅ 好处：

• 开发 / 测试阶段：开启断言，帮助找 bug
• 生产环境：关闭断言，避免性能损耗

✅ 4. 比 if + throw 更“轻量”

对比一下：

使用 if（业务校验）

if (age < 0) {
    throw new IllegalArgumentException("age < 0");
}

✅ 适合：

• 用户输入
• 接口参数
• 运行期可预见的错误

使用 assert（内部假设）

assert age >= 0 : "age must >= 0";

✅ 适合：

• 方法内部状态
• 不变量（invariant）
• 后续逻辑“必须成立”的前提

三、Assert 的典型使用场景

✅ 1. 前置条件（内部方法）

void process(int value) {
    assert value > 0 : "value must be positive";
    // 后续逻辑
}

✅ 2. 后置条件（方法结果）

int result = doSomething();
assert result != -1 : "result should not be -1";

✅ 3. 保持类的不变量

class Stack {
    private int size;

    void push(int v) {
        size++;
        assert size >= 0;
    }
}

四、Assert 不适合做什么（非常重要）

❌ 不要用 assert 做参数校验

// 错误示例
public void setAge(int age) {
    assert age >= 0;
}

原因：

• 生产环境默认关闭断言
• 非法参数会被悄悄放过

✅ 应该用异常：

public void setAge(int age) {
    if (age < 0) {
        throw new IllegalArgumentException("age < 0");
    }
}

❌ 不要用于用户可感知的错误

五、为什么 Java 保留了 assert（而不是删掉）

因为：

• 它是**契约式设计（Design by Contract）**的一部分
• 很多大型系统、框架、JDK 内部都用它
• 它比注释更可靠
• 它比单元测试更“实时”

六、一句话总结

Java 使用 assert，是为了在开发和测试阶段，用最小成本表达并验证“程序内部不应该被破坏的假设”。

如果你愿意，我也可以：

• 对比 assert vs JUnit 测试
• 讲 JDK 源码中 assert 的真实例子
• 解释为什么 AssertionError 不是 Exception