什么时候用assert。

assert是在J2SE1.4中引入的新特性，assertion就是在代码中包括的布尔型状态，程序员认为这个状态是true
。一般来说assert在开发的时候是检查程序的安全性的，在发布的时候通常都不使用assert。
在1.4中添加了assert关键字和java.lang.AssertError类的支持。

Assert最好不要滥用，原因是assert并不一定都是enable的，下面两种情况就不应该用assert
不要再public的方法里面检查参数是不是为null之类的操作
例如public int get(String s)
   {
       assert s != null;
   }
如果需要检查也最好通过if s = null 抛出NullPointerException来检查
不要用assert来检查方法操作的返回值来判断方法操作的结果   
例如 assert list.removeAll();这样看起来好像没有问题 但是想想如果assert 被disable呢，那样他就不会被执行了 所以removeAll()操作就没有被执行  可以这样代替
boolean boo = list.removeAl();
assert boo;

assert通常用来检测函数的先决条件（precondition）---------对函数执行前必须为真的条件陈述。
即用来强制满足函数的先决条件。
如果assert后的条件为真，就往下执行。为假，就会抛出java.lang.AssertionError，
如果是判断引用是否为null，有时候比被抛出NullPointException好处理很多，也更明确问题所在。
这样有助查找精确的问题所在。

而assert刚好是对程序中某个事件为真的陈述。
assert默认是不会执行的，如果在命令行下要使用assert时候需要加额外的参数。具体参数搜索引擎随便搜都有，类型很多，不一一说。

有些开发者会把assert保留在程序文档中，给需要修改或者扩展程序的人使用。

断言是一个包含布尔表达式的语句，在执行这个语句时假定该表达式为 true。如果表达式计算为 false，那么系统会报告一个 Assertionerror。它用于调试目的：assert(a > 0); // throws an Assertionerror if a <= 0 断言可以有两种形式：assert Expression1 ; assert Expression1 : Expression2 ;   Expression1 应该总是产生一个布尔值。  Expression2 可以是得出一个值的任意表达式。这个值用于生成显示更多调试信息的 String 消息。  断言在默认情况下是禁用的。要在编译时启用断言，需要使用 source 1.4 标记：  javac -source 1.4 Test.java   要在运行时启用断言，可使用 -enableassertions 或者 -ea 标记。  要在运行时选择禁用断言，可使用 -da 或者 -disableassertions 标记。  要系统类中启用断言，可使用 -esa 或者 -dsa 标记。还可以在包的基础上启用或者禁用断言。   可以在预计正常情况下不会到达的任何位置上放置断言。断言可以用于验证传递给私有方法的参数。不过，断言不应该用于验证传递给公有方法的参数，因为不管是否启用了断言，公有方法都必须检查其参数。不过，既可以在公有方法中，也可以在非公有方法中利用断言测试后置条件。另外，断言不应该以任何方式改变程序的状态。

断言是一个包含布尔表达式的语句，在执行这个语句时假定该表达式为 true。如果表达式计算为 false，那么系统会报告一个 Assertionerror。它用于调试目的：


　　assert(a > 0); // throws an Assertionerror if a <= 0

　　断言可以有两种形式：
　　assert Expression1 ;
　　assert Expression1 : Expression2 ;
　　Expression1 应该总是产生一个布尔值。
　　Expression2 可以是得出一个值的任意表达式。这个值用于生成显示更多调试信息的 String 消息。
　　断言在默认情况下是禁用的。要在编译时启用断言，需要使用 source 1.4 标记：
　　javac -source 1.4 Test.java
　　要在运行时启用断言，可使用 -enableassertions 或者 -ea 标记。
　　要在运行时选择禁用断言，可使用 -da 或者 -disableassertions 标记。
　　要系统类中启用断言，可使用 -esa 或者 -dsa 标记。还可以在包的基础上启用或者禁用断言。

可以在预计正常情况下不会到达的任何位置上放置断言。断言可以用于验证传递给私有方法的参数。不过，断言不应该用于验证传递给公有方法的参数，因为不管是否启用了断言，公有方法都必须检查其参数。不过，既可以在公有方法中，也可以在非公有方法中利用断言测试后置条件。另外，断言不应该以任何方式改变程序的状态

1.可以在预计正常情况下程序不会到达的地方放置断言 ：assert false  2.断言可以用于检查传递给私有方法的参数。（对于公有方法，因为是提供给外部的接口，所以必须在方法中有相应的参数检验才能保证代码的健壮性）  3.使用断言测试方法执行的前置条件和后置条件  4.使用断言检查类的不变状态，确保任何情况下，某个变量的状态必须满足。（如age属性应大于0小于某个合适值）

一般来说，assertion用于保证程序最基本、关键的正确性。assertion检查通常在开发和测试时开启。为了提高性能，在软件发布后，assertion检查通常是关闭的。

1、语法表示

在语法上，为了支持assertion，Java增加了一个关键字assert。它包括两种表达式，分别如下：
        assert  expression1;
        assert  expression1:expression2;

在两种表达式中，expression1表示一个boolean表达式， expression2表示一个基本类型或者是一个对象(Object)，基本类型包括boolean,char,double,float,int和 long。由于所有类都为Object的子类，因此这个参数可以用于所有对象。

2、含义

在运行时，如果关闭了assertion功能，这些语句将不起任何作用。如果打开了assertion功能，那么expression1的值将被计算，如果它的值为false，该语句强抛出一个AssertionError对象。

如果assertion语句包括expression2参数，程序将计算出 expression2的结果，然后将这个结果作为AssertionError的构造函数的参数，来创建AssertionError对象，并抛出该对 象；如果expression1值为true，expression2将不被计算。

一种特殊情况是，如果在计算表达式时，表达式本身抛出Exception，那么assert将停止运行，而抛出这个Exception。