java Assert断言有何用

在 Java 中，断言（assert） 是一种用于调试和开发阶段检查程序内部假设是否正确的机制。它的核心作用是：在“不该发生的情况”发生时，尽早暴露问题。

一、Assert 的基本作用

目的：

在开发和测试阶段，验证程序运行时的某些“前提条件”或“不变条件”是否成立。

如果断言失败，会抛出 AssertionError，程序通常会直接终止（或交由上层处理）。

二、基本语法

assert 布尔表达式;

// 或者带提示信息
assert 布尔表达式 : "错误信息";

示例

int age = -1;
assert age >= 0 : "年龄不能为负数";

如果 age < 0，会抛出：

java.lang.AssertionError: 年龄不能为负数

三、Assert 的典型用途

1️⃣ 检查“不可能发生”的情况

switch (type) {
    case A: ...
    case B: ...
    default:
        assert false : "未知类型: " + type;
}

2️⃣ 验证方法的前置条件（内部约束）

public void setScore(int score) {
    assert score >= 0 && score <= 100;
    this.score = score;
}

3️⃣ 验证后置条件（方法结束后状态）

result = compute();
assert result != null;

4️⃣ 检查程序不变量（Invariant）

assert list.size() >= 0;

四、Assert 的重要特点（非常关键）

✅ 1. 默认是「关闭」的

Java 的断言默认不生效，必须显式开启：

java -ea MyApp
# 或
java -enableassertions MyApp

否则：

assert false; // 不会抛异常

✅ 2. 不应该用于正常业务逻辑

❌ 错误用法：

assert user != null; // 如果断言关闭，这里不会校验

✅ 正确做法：

if (user == null) {
    throw new IllegalArgumentException("user 不能为空");
}

✅ 3. 不能代替异常处理

五、Assert 的优缺点

优点

• 提高代码可读性和可维护性
• 快速发现逻辑错误
• 不影响生产性能（可关闭）

缺点

• 默认关闭，容易“以为生效其实没生效”
• 不适合做参数校验
• 不能用于安全校验

六、什么时候该用 Assert？

✅ 适合：

• 开发 / 测试阶段
• 检查“理论上不可能发生”的错误
• 调试复杂算法

❌ 不适合：

• 参数校验
• 用户输入检查
• 生产环境关键逻辑

七、一句话总结

Java 的 assert 是用于“调试时验证程序假设”的工具，不是业务校验手段，也不是异常处理机制。

如果你愿意，我也可以对比 assert 和 JUnit Assert、Objects.requireNonNull 的区别。