Java Assert断言有哪些用法

Java 中的 断言（assert） 是一种用于调试和开发阶段的辅助机制，主要用来检查程序中的不变量或假设是否成立。它不适合用于生产环境的业务逻辑校验。

下面从 语法、启用方式、常见用法、注意事项 等方面系统说明。

一、assert 的基本语法

Java 断言有两种形式：

✅ 形式一：仅判断条件

assert condition;

等价于：

if (!condition) {
    throw new AssertionError();
}

✅ 形式二：带错误信息

assert condition : message;

等价于：

if (!condition) {
    throw new AssertionError(message);
}

二、如何启用断言（非常重要）

⚠️ 默认情况下，断言是关闭的

启用方式

1️⃣ 命令行运行

java -ea MyApp

或：

java -enableassertions MyApp

2️⃣ 对指定类或包启用

java -ea:com.example... MyApp

3️⃣ 禁用断言

java -da MyApp

✅ IDE（如 IDEA）中运行程序时，默认通常未开启断言

三、常见用法示例

1️⃣ 检查前置条件（Precondition）

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

✅ 用于表达“这里一定不会发生的情况”

2️⃣ 检查中间状态（内部不变量）

public void process(int value) {
    int result = value * 2;
    assert result % 2 == 0 : "结果必须是偶数";
}

3️⃣ 检查后置条件（Postcondition）

public int abs(int x) {
    int result = x < 0 ? -x : x;
    assert result >= 0 : "绝对值不能为负数";
    return result;
}

4️⃣ 用于测试或调试（不推荐替代单元测试）

assert list.size() == 3 : "list 大小应为 3";

四、assert 与异常的区别

✅ 不应用 assert 做参数校验或业务判断

五、assert 的典型误用 ❌

❌ 用 assert 校验用户输入

assert age > 0; // 错误示例

✅ 正确做法：

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

❌ 在 assert 中执行逻辑

assert obj.init(); // 危险

如果断言关闭，init() 不会执行！

六、什么时候该用 assert？

✅ 适合使用 assert 的场景

• 调试阶段
• 检查“永远不应该发生”的情况
• 内部逻辑不变量
• 私有方法的前置/后置条件

❌ 不适合使用 assert 的场景

• 用户输入校验
• 业务规则判断
• 生产环境关键逻辑

七、总结一句话

assert 是用于“程序员对程序正确性的假设检查”，不是用于“程序对外部世界的校验”。

如果你愿意，我也可以帮你对比 assert vs JUnit Assertions vs Guava Preconditions vs if-throw 的使用场景。