java断言

// Java断言示例代码

public class AssertionExample {

    // 一个简单的函数，用于检查传入的参数是否为正数
    public static void checkPositive(int number) {
        // 使用断言来确保传入的参数是正数
        assert number > 0 : "The number should be positive, but was: " + number;

        System.out.println("The number is positive: " + number);
    }

    public static void main(String[] args) {
        // 启用断言后，以下调用会触发断言失败，并输出错误信息
        checkPositive(-1);

        // 以下调用不会触发断言失败
        checkPositive(5);
    }
}

解释说明：

• 断言（Assertion） 是一种编程工具，用于在开发和调试阶段验证程序的状态是否符合预期。它通常用于捕获不应该发生的错误条件。
• 在上述代码中，assert 关键字用于确保传入的参数 number 是正数。如果 number 不是正数，则会抛出一个 AssertionError，并附带指定的错误消息。
• 启用断言：默认情况下，Java 程序中的断言是禁用的。要启用断言，可以在运行程序时使用 -ea（或 --enableassertions）选项。例如：

  java -ea AssertionExample

• 如果传入的参数不符合预期（如传入负数），程序将终止并输出错误信息。这有助于开发者快速定位问题。

注意：

• 断言不应用于处理程序逻辑中的正常错误情况，而应仅用于捕获不应该发生的情况。