java中的断言问题

java中的断言：断言就是用于捕捉编写代码时做出的假设，可以将断言看作是异常处理的一种高级形式，断言表示为一些布尔表达式，程序员相信在程序中的某个特定点该表达式值为真。可以在任何时候启用和禁用断言验证，因此可以在测试时启用断言而在部署时禁用断言。同样，程序投入运行后，最终用户在遇到问题时可以重新起用断言。

常见的断言特性：

前置条件断言：代码执行之前必须具备的特性；

后置条件断言：代码执行之后必须具备的特性；

前后不变断言：代码执行前后不能变化的特性。

断言应用于以下情况：

可在预计正常情况下程序不会到达的地方放置断言；

断言可用于检查传递给私有方法的参数；

使用断言测试方法执行的前置条件和后置条件；

使用断言检查类的不变状态，确保任何情况下，某个变量的状态必须满足。