java断言assert

### Java 中断言 (assert) 的用法

在 Java 编程语言中，`assert` 关键字用于声明布尔表达式，在程序执行期间这些表达式的值应该始终为 `true`。如果该条件不成立，则会抛出一个 `AssertionError` 异常[^1]。

#### 断言语句的形式

存在两种形式的断言语句：

- **简单形式**: `assert BooleanExpression;`

这种情况下，当 `BooleanExpression` 计算结果为假时触发错误。

- **带消息的形式**: `assert BooleanExpression : DetailMessage;`

如果断言失败，除了抛出异常外还会附带一条自定义的消息字符串作为参数传递给构造器。

下面是一个简单的例子来展示如何使用带有额外信息输出功能的断言语句：

// 假设这是某个方法内部的一部分逻辑验证代码片段
String log = "some unexpected value";
boolean condition = false;
assert condition : "Unexpected output: " + log;

这段代码会在运行期检查变量 `condition` 是否为真；如果不是的话就会终止应用程序并打印指定的信息 `"Unexpected output: some unexpected value"` 到标准错误流上。

需要注意的是，默认情况下 JVM 是关闭断言机制的，因此为了启用它需要通过命令行选项 `-ea` 或者说是 `enable assertions` 来启动虚拟机实例。