Java Assert断言原理是什么

在 Java 里，Assert（断言） 主要用来在开发和测试阶段检查程序中的“不可能为假”的条件。它的原理可以从语言层面、JVM 实现、编译与运行几个角度来理解。

一、断言的基本形式

assert condition;
assert condition : message;

示例：

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

二、断言的核心原理

1️⃣ 断言在运行时是否生效是可控制的

这是断言最关键的一点：

断言默认是关闭的

必须在 JVM 启动参数中显式开启：

java -ea MyApp
# 或
java -enableassertions MyApp

关闭断言：

java -da MyApp

✅ 这意味着：
断言不是普通代码，而是一种“可选运行时检查机制”

2️⃣ 编译阶段：断言会被编译成普通字节码

在 .java 编译成 .class 后：

• assert 并不是关键字级别的“魔法”
• 编译器会把它转换成条件判断 +异常抛出

例如：

assert x > 0;

在开启断言的情况下，大致等价于：

if (assertionsEnabled && !(x > 0)) {
    throw new AssertionError();
}

如果是：

assert x > 0 : "x必须大于0";

大致等价于：

if (assertionsEnabled && !(x > 0)) {
    throw new AssertionError("x必须大于0");
}

3️⃣ JVM 如何控制断言是否启用？

JVM 会为每个类维护一个“断言开关”：

• -ea：开启某些类或包的断言
• -da：关闭某些类或包的断言

例如：

java -ea:com.example... MyApp

JVM 内部会维护类似：

class 是否启用断言 → boolean

运行时：

• 如果断言未启用 → 条件判断直接跳过
• 如果启用 → 执行条件判断，失败时抛 AssertionError

✅ 断言不是编译期删除，而是运行时条件跳过

4️⃣ 断言失败抛出的是 AssertionError

throw new AssertionError();

特点：

• AssertionError 继承自 Error
• 不是 Exception
• 通常不应该被捕获
• 表示程序存在严重逻辑错误

三、断言 vs 普通 if + 异常

✅ 断言不适合做参数校验等生产环境检查

四、断言的使用原则（非常重要）

✅ 适合用断言

// 内部逻辑保证不可能为假
assert list != null;
assert index >= 0 && index < size;

❌ 不适合用断言

// 用户输入、外部参数
assert age > 0; // 错误示例

应改为：

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

五、一句话总结原理

Java 的 assert 是一种由 JVM 控制的、可选的运行时检查机制，编译器将其转化为条件判断，在断言开启时若条件为假则抛出 AssertionError，默认情况下断言是关闭的。

如果你愿意，我也可以：

• 用 字节码层面 给你演示 assert 的编译结果
• 对比 JUnit 的 assertTrue / assertThat 与 assert 的区别
• 讲 为什么 Java 不把 assert 默认开启