快速上手：断言（Assertion）

原创已于 2025-10-24 14:25:14 修改 · 373 阅读

4 ·

CC 4.0 BY-SA版权

文章标签：

#1024程序员节

于 2025-10-24 14:23:18 首次发布

java后端开发专栏收录该内容

5 篇文章

订阅专栏

在 Java 中，断言（Assertion） 是一种用于验证程序内部逻辑正确性的调试机制，主要用于开发和测试阶段，帮助开发者确认 “某个条件必须为真” 的假设是否成立。如果假设不成立，断言会触发错误，从而快速定位问题。

一、断言的语法

Java 通过assert关键字实现断言，有两种语法形式：

简单形式检查布尔表达式是否为true，若为false则抛出AssertionError：
```
assert 布尔表达式;
```
带错误信息的形式当布尔表达式为false时，会将错误信息（可以是任意表达式，最终会转为字符串）包含在AssertionError中，方便调试：
```
assert 布尔表达式 : 错误信息;
```

二、断言的作用

断言的核心作用是验证程序中的 “不变式”（即 “无论如何都应该成立的条件”），常见场景包括：

检查方法参数的合法性（仅用于内部调用的参数，不适合用户输入）；
验证程序执行到某行时的状态（如变量值、集合大小等）；
作为代码文档，明确标注 “此处必须满足某条件”，提高代码可读性。

三、断言的启用与禁用

默认情况下，Java 虚拟机（JVM）会禁用断言（因为断言会消耗性能，不适合生产环境）。若要启用断言，需通过 JVM 参数控制：

启用所有类的断言：-ea（或-enableassertions）示例：java -ea com.example.MyClass
启用特定类 / 包的断言：-ea:类全限定名 或 -ea:包名...示例：java -ea:com.example.User -ea:com.example.service... com.example.MyClass
禁用断言：-da（或-disableassertions），用法与启用类似，可用于排除特定类 / 包的断言。

四、断言与异常的区别

断言和异常都能处理程序中的错误，但适用场景完全不同：

特性	断言（Assertion）	异常（Exception）
用途	验证开发阶段的内部逻辑假设	处理运行时的预期错误（如输入非法）
执行时机	仅在启用断言时生效（默认禁用）	始终生效（生产环境必须处理）
处理方式	抛出`AssertionError`（不建议捕获）	需显式捕获或声明抛出
适用场景	内部调试、验证不变式	用户输入校验、资源访问错误等

五、使用断言的注意事项

不要在断言中包含业务逻辑若断言被禁用，断言中的代码不会执行，可能导致逻辑错误。例如：
```
// 错误示例：禁用断言后，list.remove(0)不会执行
assert list.remove(0) != null : "列表为空";
```
不要用断言验证用户输入或外部数据这些场景的校验必须在生产环境生效，而断言可能被禁用，导致错误未被处理。
断言失败应视为严重错误AssertionError是Error的子类，代表程序逻辑的根本性错误，应在开发阶段修复，而非运行时捕获。

六、示例

public class AssertDemo {
    public static void main(String[] args) {
        int score = -10;
        // 断言：分数必须是非负数（开发阶段检查）
        assert score >= 0 : "分数不能为负数，当前值：" + score;
        
        System.out.println("处理分数：" + score);
    }
}