Java Assert 如何用

在 Java 中，断言（Assert）是一种调试辅助工具，用于在开发和测试阶段检查程序的假设和不变式。如果断言的条件为 false，程序将抛出 AssertionError 异常。这有助于识别代码中的错误，而无需运行完整的程序。

要使用 Java 断言，请按照以下步骤操作：

1. 确保在运行 Java 程序时启用了断言检查。这可以通过在命令行中使用 -ea 或 -enableassertions 选项来实现。例如：

java -ea MyProgram

2. 在代码中使用 assert 关键字。首先，需要使用 assert 关键字声明一个布尔表达式。然后，在条件为 false 时，程序将抛出 AssertionError 异常。例如：

public class AssertionExample {
    public static void main(String[] args) {
        int x = 10;
        int y = 0;

        // 使用断言检查 x 是否大于 y
        assert x > y : "x is not greater than y";

        System.out.println("Program executed successfully.");
    }
}

在这个例子中，我们使用断言检查 x 是否大于 y。如果条件为 false（即 x 不大于 y），则程序将抛出 AssertionError 异常，并显示提供的错误消息 “x is not greater than y”。

请注意，断言通常用于开发和测试阶段，而在生产环境中禁用它们以提高性能。要禁用断言检查，可以在运行 Java 程序时使用 -da 或 -disableassertions 选项，例如：

java -da MyProgram