java： 断言 assert

assert：

断言

{

1、它是什么意思？

编写代码时，我们总是会做出一些假设，断言就是用于在代码中捕捉这些假设，可以将断言看作是异常处理的一种高级形式。

每个断言包含一个你确信将会为实的布尔表达式.断言执行时,如果不为实,那么这系统将抛出一个错误.通过效验此布尔表达式的确为实,这断言确认你的假定是围绕你的程序行为,这样渐渐增强你的信心,此程序是没有错误可言的.

2、怎么用？

注意：assert只在debug模式下才有效 ，release模式的时候，assert会被忽略过去的。assert的目的是发现程序编译时的逻辑错误，以便及时更正，不能用于判断程序运行的错误。因为release版本中被忽略的特点，我们就必须注意，程序中应当有相应的处理错误的代码，不能依靠ASSERT。

assert expression1;

assert expression1: expression2;

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

3、举例？

　　assert　　0 < value;

　　assert　　0 < value:"value="+value;

　　assert　　ref != null:"ref doesn''t equal null";

　　assert　　isBalanced();
4、如何在eclipse中开启assertions？

窗口-首选启动项-java-jre-当前jre-编辑-缺省参数输入：-enableassertions

还有一种方法，开启一个类的aseertions：

Eclipse-run（调试） -run configuration（调试配置） - java aplication（java 应用程序）-JVM arguments（变量）.输入：-ea 或-enableassertions

}