Java Assert断言使用场景

在 Java 中，断言（Assertion）是通过 assert 关键字实现的，主要用于在开发和测试阶段辅助发现程序错误。它并不是用来处理正常的业务逻辑或用户输入校验的。

下面从 使用方式、适用场景、不适用场景、注意事项 等方面系统说明。

一、assert 基本语法

assert condition;
assert condition : message;

示例：

int divide(int a, int b) {
    assert b != 0 : "除数不能为 0";
    return a / b;
}

⚠️ 默认情况下断言是关闭的，需要启用 JVM 参数：

java -ea MyApp
# 或
java -enableassertions MyApp

二、典型使用场景（✅ 适合用 assert）

1️⃣ 内部逻辑正确性检查（最常见）

用于验证**“永远不应该发生”的情况**。

void process(int status) {
    if (status == 1) {
        // ...
    } else if (status == 2) {
        // ...
    } else {
        assert false : "未知状态: " + status;
    }
}

✅ 适合：

• 程序逻辑分支完整性检查
• 不可能进入的代码路径

2️⃣ 方法的前置条件（仅限私有方法）

private void internalProcess(int value) {
    assert value >= 0 : "value 必须 >= 0";
    // ...
}

✅ 适合：

• 私有方法
• 调用方是“自己可控的代码”

❌ 不适合：

• public 方法（外部参数不可信）

3️⃣ 方法的后置条件（结果校验）

int sqrt(int x) {
    int result = (int) Math.sqrt(x);
    assert result * result <= x : "结果校验失败";
    return result;
}

✅ 适合：

• 验证计算结果是否符合预期
• 调试阶段发现隐藏 bug

4️⃣ 不变式（Class Invariant）检查

class Stack {
    private int size;

    private void checkInvariant() {
        assert size >= 0 : "size 不能为负";
    }
}

✅ 适合：

• 对象状态一致性检查
• 复杂数据结构的调试

5️⃣ 开发和测试阶段调试

assert list != null;
assert list.size() > 0;

✅ 适合：

• 单元测试
• 本地调试
• 快速定位问题

三、不适合使用 assert 的场景（❌）

❌ 1. 用户输入校验

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

原因：

• 断言可能被关闭
• 用户输入不可信

✅ 应使用异常：

if (age <= 0) {
    throw new IllegalArgumentException("年龄必须大于 0");
}

❌ 2. 生产环境业务逻辑判断

// 错误
assert config != null;

原因：

• 生产环境通常关闭断言
• 会导致逻辑失效

✅ 使用正常判断或异常

❌ 3. 替代单元测试

断言 ≠ 测试框架
✅ 测试应使用 JUnit / TestNG

四、assert vs 异常（重点对比）

五、最佳实践总结 ✅

✅ 用 assert 的场景

• 私有方法参数校验
• 不可能发生的逻辑分支
• 调试阶段辅助验证
• 方法内部结果校验

❌ 不要用 assert 的场景

• public API 参数校验
• 用户输入
• 生产环境关键逻辑
• 替代异常

六、一句话总结

断言用于“证明程序是对的”，而不是“防止程序出错”。

如果你愿意，我也可以：

• 对比 assert 和 JUnit assertThat
• 讲 Spring / 生产环境为什么几乎不用 assert
• 给你一份“断言使用规范 checklist”