Java中的断言用于验证代码中的不变量，并在断言为false时抛出AssertionError异常。断言有两种类型：禁用断言（生产环境禁用，调试启用）和启用断言（始终启用）。使用-ea和-da命令行开关可以启用或禁用断言。
Java 中的断言
断言是什么？
断言是一种用于在代码中嵌入假设前提的机制，这些前提在程序的预期执行路径中必须为 true。
断言在 Java 中的作用
Java 中的断言用于验证代码中的不变量，即在程序执行期间始终保持为 true 的假设。如果一个断言计算为 false，则抛出
异常，表明代码中存在逻辑错误。
立即学习
“
Java免费学习笔记（深入）
”；
Java 中的断言语法
在 Java 中，断言语句使用
关键字后跟一个布尔表达式：
如果布尔表达式为 true，则断言通过且程序继续执行。如果表达式为 false，则抛出
异常。
断言的类型
Java 提供两种类型的断言：
禁用断言 (Production Assertions)：
在生产环境中禁用，只有在调试期间才会启用。
启用断言 (Development Assertions)：
无论是在开发还是生产环境中，始终启用。
启用和禁用断言
可以通过
和
命令行开关启用或禁用 Java 断言。
断言的优点
提高
代码可读性
和可维护性
检测逻辑错误并提供有用的错误消息
帮助确保程序执行的正确性
在调试和测试期间提供 valuable insights
AssertionErrorassertassert boolean_expression;AssertionError-ea-da-ea：启用断言
-da：禁用断言