Java 断言

在 Java 中，断言（Assertion）是一种用于调试代码的工具，它允许开发者在代码中插入一些条件判断，当这些条件不满足时，程序会抛出 AssertionError 异常，从而帮助开发者快速定位问题。断言通常用于测试代码的假设和不变性，确保代码在开发和测试阶段的行为符合预期。

断言的基本用法

断言使用 assert 关键字，后面跟一个布尔表达式和一个可选的错误消息。语法如下：

assert condition;
assert condition : message;

• condition 是一个布尔表达式，如果为 false，则会抛出 AssertionError。
• message 是一个可选的字符串，当断言失败时，会作为 AssertionError 的详细信息输出。

启用和禁用断言

默认情况下，断言是禁用的。要启用断言，需要在运行 Java 程序时使用 -ea（或 -enableassertions）选项。例如：

java -ea MyClass

要禁用断言，可以使用 -da（或 -disableassertions）选项。例如：

java -da MyClass

示例

以下是一些使用断言的示例：

示例 1：基本断言

public class AssertionExample {