Java Assert 断言有哪些类型

在Java中，断言（assert）主要用于验证程序中的假设条件是否成立。如果假设条件为真，则程序正常执行；如果假设条件为假，则抛出AssertionError异常。Java中的断言主要有以下几种类型：

1. 基本断言

这是最常见的断言类型，用于检查某个条件是否为真。

assert condition;

2. 带消息的断言

可以在断言失败时提供一个自定义的消息，以便更好地理解错误原因。

assert condition : "Custom error message";

3. 复合断言

可以使用逻辑运算符（如 && 和 ||）组合多个条件。

assert condition1 && condition2;
assert condition1 || condition2;

4. 断言方法

Java提供了一些内置的断言方法，这些方法通常用于更复杂的验证逻辑。

assertThrows

用于验证某个代码块是否抛出预期的异常。

assertThrows(ExpectedException.class, () -> {
    // 代码块
});

assertDoesNotThrow

用于验证某个代码块是否不抛出任何异常。

assertDoesNotThrow(() -> {
    // 代码块
});

assertThrowsWithMessage

用于验证某个代码块是否抛出带有特定消息的预期异常。

assertThrowsWithMessage(ExpectedException.class, "Expected message", () -> {
    // 代码块
});

5. 自定义断言

你可以创建自己的断言方法，以便在项目中重复使用。

public static void assertCustomCondition(boolean condition, String message) {
    if (!condition) {
        throw new AssertionError(message);
    }
}

使用注意事项

• 断言默认是禁用的，需要在运行Java程序时使用 -ea 或 -enableassertions 选项来启用。
• 断言主要用于开发和测试阶段，不应该用于生产环境中的错误处理。

示例

public class AssertionExample {
    public static void main(String[] args) {
        int a = 5;
        int b = 10;

        // 基本断言
        assert a < b : "a should be less than b";

        // 复合断言
        assert a > 0 && b > 0 : "Both a and b should be positive";

        // 使用自定义断言方法
        assertCustomCondition(a < b, "a should be less than b");

        // 使用断言方法验证异常
        assertThrows(ArithmeticException.class, () -> {
            int result = 10 / 0;
        });
    }

    public static void assertCustomCondition(boolean condition, String message) {
        if (!condition) {
            throw new AssertionError(message);
        }
    }
}

通过这些不同类型的断言，你可以更灵活地验证程序中的假设条件，确保代码的正确性和健壮性。