Java Assert 断言如何使用

在Java中，assert关键字用于实现断言。断言是一种调试辅助工具，用于检查程序中的假设是否成立。如果断言失败（即假设不成立），程序将抛出AssertionError异常。

要使用断言，请遵循以下步骤：

确保在运行Java程序时启用了断言。可以通过在命令行中使用-ea（或--enableassertions）选项来启用断言。例如：

java -ea MyProgram

在代码中使用assert关键字编写断言语句。断言语句的语法如下：

assert condition;

或者，如果您想在断言失败时提供一个错误消息：

assert condition : "Error message";

其中condition是一个布尔表达式，如果为false，则断言失败。

下面是一个简单的Java程序，演示了如何使用断言：

public class AssertExample {
    public static void main(String[] args) {
        int age = -5;

        // 使用断言检查年龄是否为负数
        assert age >= 0 : "Age cannot be negative";

        System.out.println("Age is: " + age);
    }
}

在这个例子中，我们使用断言来检查age变量是否为负数。如果age为负数，断言将失败并抛出AssertionError异常，同时显示错误消息"Age cannot be negative"。

要运行此程序，请确保使用-ea选项启用断言：

java -ea AssertExample

如果断言通过（即age不是负数），程序将正常运行并输出年龄。如果断言失败（即age是负数），程序将抛出AssertionError异常并显示错误消息。