java 断言 项目 java中断言的使用

所谓断言(assertion)是一个Java语句，布尔表达式，程序员认为在程序执行时该表达式的值应该为true。系统通过计算该布尔表达式执行断言，若该表达式为false系统会报告一个错误。

1、断言是通过assert关键字来声明的，断言功能的使用有两种格式：

    或者  

ncharObject。对于第一种断言语句没有详细信息，Java使用AssertionError类默认的构造方法。对于第二种带有一个详细信息的断言语句，将使用AssertionError类的与消息的数据类型匹配的构造方法。由于AssertionError类是Error类的子类，当断言为false时，程序将在控制台显示一条消息并终止程序的执行。

下面是一个使用断言的例子。

public class AssertionDemo{
 
    
     for(i=0;i<10;i++){  sum+=i;   
    
    
 
 }

上述程序中语句assert i==10断言i的值为10，如果i的值不为10将抛出AssertionError异常。语句assert sum>10&&sum<5*10:"sum is "+sum断言sum<5*10，如果为false，将抛出带有消息"sum is "+sum的AssertionError异常。

假如现在错误地输入了i<100而不是i<10，就会抛出下面的AssertionError异常：

Exception in thread “main” java.lang.AssertError

at AssertionDemo,main(AssertionDemo.java:7)

假如将sum+=i 错误地输入了sum+=1，就会抛出下面的AssertionError异常：

Exception in thread “main” java.lang.AssertError:sum is 10

at AssertionDemo,main(AssertionDemo.java:7)

2、启动和关闭断言功能

默认情况下，断言功能是关闭的。有两个命令行开关可以启用和关闭断言功能。为了使字节码编译器接受含有断言的代码，必须在编译命令中使用 –source 1.4选项。

缺省情况下，断言机制在运行时是关闭的，要打开断言功能，在运行程序时需要使用 –enableassertions或-ea选项，例如：java –ea AssertionDemo

断言还可以在类的级别或包的级别打开或关闭。关闭断言的选项为-disableassertions或-da。例如，下面的命令在包package1的级别打开断言，而在Class1类上关闭断言：

java –ea:package1 –da:Class1 AssertionDemo。

3、使用异常处理或断言

断言不应该代替异常处理。异常处理主要处理程序运行时的非正常环境，断言主要是保证程序的正确性。异常处理实现程序的健壮而断言实现程序正确。与异常处理一样，断言并不用来一般的测试，而是保证内部一致性和有效性检查。断言在运行时被检查，在启动时可以打开或关闭。

不要在public方法中使用断言进行参数检查。传递给public方法的合法参数被认为方法的契约的一部分。不管断言是否打开，必须该服从该契约。例如，下面代码应该用异常处理重写。

public void setRadius(double newRadius){
 
 
 }
 通常使用断言替换代码中的断言，例如下面的代码：
  …   }
 …   
 可以被替换成：
  …   
  assert !even;   …  
 下面的代码：
  …    }
  …  
 可以被替换成：
  …   
 …   

 另一个经常使用断言的地方是在switch语句中的default情况中，例如：
 switch(month){

4、通过编程启用断言

除了从命令行启用断言检查之外，您也可以通过编程启用（或禁用）检查。由于这仅影响将来装入的类，因此不能随意地关闭或打开它。

类的 ClassLoader 使用下面四种方法控制断言的启用和禁用：

s(boolean enabled) : 该方法设置由类装入器装入的包和类的缺省状态。可以通过设置特定的包和类选项来覆盖该设置。
s(String packageName, boolean enabled) ：要覆盖包和其所有的子包的状态，传入包名和启用状态。
 3）public void setClassAssertionStatus(String className, boolean enabled) ：要覆盖特定类的状态，传入全限定类名和启用状态。
 4）public void clearAssertionStatus() ：该方法将所有包和类的设置重设为 false，然后将类装入器也重设为 false。
 例如：public class ClassLoaderAssert {
             public static void main(String[] args) {         ClassLoaderAssert.class.getClassLoader().setDefaultAssertionStatus(true);// 将不会被执行
             assert false : "123123";  // (1)
             new AssertionDemo().main(new String[2]); 
 }

在上面的代码中将只执行AssertionDemo.java中的断言而不执行 (1) 所表示的断言