断言用于验证程序假设，帮助发现逻辑错误。1. 简单形式：assert 布尔表达式；若false则抛出AssertionError。2. 带消息形式：assert 布尔表达式 : 错误信息；失败时显示具体提示。断言默认关闭，需用-ea开启，仅适用于开发调试，不应用于生产环境处理输入或流程控制。
Java中断言用于在开发和调试阶段验证程序中的假设条件是否成立，帮助开发者尽早发现逻辑错误。Java提供了两种使用断言的形式，它们都依赖于 assert 关键字。
1. 简单形式的断言
这种形式只包含一个布尔表达式。如果表达式结果为 false，则抛出 AssertionError 异常，程序中断执行。 语法格式如下：assert 布尔表达式;
示例：
assert age >= 0;
当 age 小于 0 时，该断言失败，JVM 会抛出 AssertionError。2. 带有错误消息的断言
这种形式在布尔表达式后添加一个冒号和一条消息，当断言失败时，该消息会被包含在 AssertionError 中，便于定位问题。 语法格式如下：assert 布尔表达式 : 错误信息;
错误信息可以是字符串、数值、对象或表达式，其结果会被自动转换为字符串输出。 示例：assert age >= 0 : "年龄不能为负数: " + age;
如果 age 为 -5，断言失败时会显示具体提示信息，有助于调试。需要注意的是，断言默认在 JVM 中是关闭的，必须通过启动参数 -ea（即 -enableassertions）开启才能生效。不建议在生产环境中使用断言来处理用户输入或控制程序流程，它仅适用于内部逻辑校验。
基本上就这些。
