介绍Java中的断言用法

    首先，我们有必要从一个例子说起assert

public 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.java
java -ea AssertTest
看看结果的输出是：

true condition
Exception in thread "main" java.lang.AssertionError
        at 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 condition
Exception in thread "main" java.lang.AssertionError: hello world
        at AssertTest.assertMe(AssertTest.java:14)
        at AssertTest.main(AssertTest.java:7)
Assert最好不要滥用，原因是assert并不一定都是enable的，下面两种情况就不应该用assert

1. 不要再public的方法里面检查参数是不是为null之类的操作
   例如public int get(String s)
      {
          assert s != null;
      }
   假如需要检查也最好通过if s = null 抛出NullPointerException来检查
2. 不要用assert来检查方法操作的返回值来判定方法操作的结果   
   例如 assert list.removeAll();这样看起来似乎没有问题 但是想想假如assert 被disable呢，那样他就不会被执行了 所以removeAll()操作就没有被执行  可以这样代替
   boolean boo = list.removeAl();
   assert boo;