断言assert使用方法&例子

Java在1.4中新增了一个关键字：assert。由于采用了关键字，说明很重要。

在程序开发过程中使用它创建一个断言(assertion)，它的语法形式有如下所示的两种形式：

1、assert condition;
    这里condition是一个必须为真(true)的表达式。如果表达式的结果为true，那么断言为真，并且无任何行动。如果表达式为false，则断言失败，则会抛出一个AssertionError对象。这个AssertionError继承于Error对象，
而Error继承于Throwable，Error是和Exception并列的一个错误对象，通常用于表达系统级运行错误。
2、asser condition:expr;
    这里condition是和上面一样的，这个冒号后跟的是一个表达式，通常用于断言失败后的提示信息，说白了，它是一个传到AssertionError构造函数的值，如果断言失败，该值被转化为它对应的字符串，并显示出来。

理解断言最重要的一点是必须不依赖它们完成任何程序实际所需的行为。理由是正常发布的代码都是断言无效的，即正常发布的代码中断言语句都不执行的（或不起作用的）

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

例子二：

public class AssertionDemo {  
    public static void main(String[] args) {  
        int i = 2;  
        switch (i) {  
        case 1:  
            System.out.println("正常");  
            break;  
        case 2:  
            System.out.println("正常");  
            break;  
        default:  
            assert false:"i的值无效";       //如果i的值不是你想要的，程序就警告退出  
        }  
        System.out.println("如果断言正常，我就被打印");  
    }  
}  

正常
如果断言正常，我就被打印

在eclipse默认断言没有开启，参考另一篇eclipse断言功能开启关闭操作。