assert断言结构.docVIP

assert断言结构 assert是在J2SE1.4中引入的新特性，assertion就是在代码中包括的布尔型状态，程序员认为这个状态是true。一般来说assert在开发的时候是检查程序的安全性的，在发布的时候通常都不使用assert。在1.4中添加了assert关键字和java.lang.AssertError类的支持。首先，我们有必要从一个例子说起assertpublic class AssertTest{public static void main(String[] args){AssertTest at = new AssertTest();at.assertMe(true);at.assertMe(false);}private void assertMe(boolean boo){assert boo?true:false;System.out.println(true condition);}}程序中包含了assert的话，你要用javac -source 1.4 xxx.java来编译，否则编译器会报错的。要想让assert得部分运行的话，要使用java -ea xxx来运行，否则包含assert得行会被忽略。下面我们运行javac -source 1.4 AssertTest.javajava -ea AssertTest看看结果的输出是：true conditionException in thread main java.lang.AssertionErrorat AssertTest.assertMe(AssertTest.java:13)at AssertTest.main(AssertTest.java:7)当我们运行at.assertMe(true)得时候，由于assert boo?true:false相当于 assert true;因此没有任何问题，程序往下执行打印出true condition，但是执行at.assertMe(false)的时候相当于assert false，这个时候解释器就会抛出AssertionError了，程序就终止了。大家必须清楚AssertionError是继承自Error得，因此你可以不再程序中catch它的，当然你也可以在程序中catch它然后程序可以继续执行。例如：public class AssertTest{public static void main(String[] args){AssertTest at = new AssertTest();try{at.assertMe(true);at.assertMe(false);}catch(AssertionError ae){System.out.println(AsseriontError catched);}System.out.println(go on);}private void assertMe(boolean boo){assert boo?true:false;System.out.println(true condition);}}assert还有另外一种表达的方式，就是assert exp1:exp2;其中exp1是个boolean返回值得表达式，而exp2可以是原始的数据类型或者对象都可以例如：boolean boo = true;String str = null;assert boo = false：str=error;我们刚开始讲得assert exp1得形式，当exp1是false得时候，AssertionError得默认构造器会被调用，但是assert exp1:exp2这样的形式，当exp1为true的时候后面exp2被或略，如果false的话，后面的表达式的结果会被计算出来并作为AssertionError得构造器参数。看下面的例子：public class AssertTest{public static void main(String[] args){AssertTest at = new AssertTest();at.assertMe(true);at.assertMe(false);}private void assertMe(boolean boo){String s = null;assert boo?true:false:s = hello world;System.out.println(true condition);}}运行的时候会得到这样的结果true conditionException in thre