java assert用法

// Java assert 用法示例

public class AssertExample {

    // 简单的 assert 语句
    public void simpleAssert() {
        int value = 10;
        // 如果 value 不等于 10，程序将抛出 AssertionError
        assert value == 10 : "value should be 10";
    }

    // 带有条件和错误信息的 assert
    public void assertWithMessage() {
        int age = 17;
        // 如果 age 小于 18，程序将抛出 AssertionError，并附带指定的错误信息
        assert age >= 18 : "Age must be at least 18, but was " + age;
    }

    // 在方法中使用 assert 检查参数的有效性
    public void checkParameter(int param) {
        // 如果 param 小于 0，程序将抛出 AssertionError，并附带指定的错误信息
        assert param >= 0 : "Parameter must be non-negative, but was " + param;
        System.out.println("Parameter is valid: " + param);
    }

    public static void main(String[] args) {
        // 注意：在运行时需要启用断言，可以通过 -ea (enable assertions) 参数来启用
        // 例如：java -ea AssertExample

        AssertExample example = new AssertExample();
        example.simpleAssert();
        example.assertWithMessage();
        example.checkParameter(5); // 这个调用不会触发断言失败
        // example.checkParameter(-1); // 这个调用会触发断言失败并抛出 AssertionError
    }
}

解释说明：

1. 简单断言：assert value == 10; 是最简单的形式，如果条件为 false，则抛出 AssertionError。
2. 带消息的断言：assert condition : message; 可以在断言失败时提供自定义的错误信息。
3. 参数检查：在方法中使用断言来确保传入的参数是有效的，有助于捕获潜在的逻辑错误。

注意：

• 断言默认是禁用的，必须通过 JVM 参数 -ea（enable assertions）来启用。