补充知识：断言

断言：也就是所谓的assertion，是jdk1.4后加入的新功能。

它主要使用在代码开发和测试时期，用于对某些关键数据的判断，如果这个关键数据不是你程序所预期的数据，程序就提出警告或退出。

当软件正式发布后，可以取消断言部分的代码。java中使用assert作为断言的一个关键字，这就可以看出java对断言还是很重视的，因为如果不是很重要的话，直接开发个类就可以了，没必要新定义一个关键字。

语法1：assert expression; //expression代表一个布尔类型的表达式，如果为真，就继续正常运行，如果为假，程序退出

语法2：assert expression1 : expression2; //expression1是一个布尔表达式，expression2是一个基本类型或者Object类型，如果expression1为真，则程序忽略expression2继续运行；如果expression1为假，则运行expression2，然后退出程序。

应用举例：

public class AssertionDemo {  
    //这个成员变量的值可以变，但最终必须还是回到原值5  
    static int i = 5;  
    public static void main(String[] args) {  
        assert i==6;  
        System.out.println("如果断言正常，我就被打印");  
    }  
}