Java Assert 是什么

Java Assert 是一个用于在代码中插入检查点的功能，它允许开发者在开发和测试阶段验证程序的假设和不变式。如果断言的条件为 false，程序将抛出 AssertionError 异常。这有助于开发者在运行时捕获潜在的问题，从而提高代码的质量和可靠性。

在 Java 中，可以使用 assert 关键字来创建断言。以下是一个简单的示例：

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

        // 断言 x 和 y 的和等于 30
        assert x + y == 30 : "x + y should be equal to 30";

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

在这个示例中，我们创建了一个断言，检查 x 和 y 的和是否等于 30。如果条件为 false，程序将抛出 AssertionError 异常，并显示提供的错误消息。

需要注意的是，断言通常仅在开发和测试阶段使用，而在生产环境中禁用。这是因为断言可能会对性能产生影响，而且在生产环境中，错误的假设可能导致程序出现意外的行为。要禁用断言，可以在运行 Java 程序时添加 -da（大小写敏感）选项，例如：

java -da AssertionExample