Java断言处理

编写程序时，在调试阶段往往需要判断代码执行过程中变量的值等信息（例如对象是否为空，数值是否为零等），一般可以采用下列方法：
（1)使用"System.out.println(v）；"语句在控制台上输出调试信息。优点是简单高效；缺点是需要书写额外的代码，且实际交付时，需要注释这些调试代码。
（2)使用集成开发环境的调试工具进行断点跟踪调试。优点是可获得所有调试信息；缺点是每次运行都要浪费大量时间。
（3）使用Java断言（Assertions)。优点是通用高效；缺点是需要书写额外的代码。
Java断言一般用于下列情况。
（1）前置条件断言：代码执行之前必须具备的特性。
(2）后置条件断言：代码执行之后必须具备的特性。
（3）前后不变断言：代码执行前后必须具备的特性。