关于JDK1.4增加的assert语句

类别:Java 点击:0 评论:0 推荐:

关于JDK1.4增加的assert语句

1.         assert语句的语法

JDK1.4增加了assert语句,它的语法如下:

assert  assumption 或者

assert  assumption : error message or error code

assumption 应该是一个布尔值。(或者是条件表达式,反正最终的结果为true或false 。)

 

       如果assumption为true,那么一切如常,这个语句就像没有出现一样,如果assumption为false,那么程序将扔出一个java.lang.AssertionError 。如果在代码里采用了第二种带error message或者error code的写法的话,该error message或者error code将跟随java.lang.AssertionError一起显示出来。

 

2.         带assert语句的代码的编译

如果你在代码中使用了assert语句,那么你使用javac编译时应该像这样:

javac –source 1.4 **.java

否则的话,assert关键字将不被视为关键字。(这是因为assert语句是从JDK1.4

才有的。)

当然,如果你使用JDK1.4及以上编译时,不用-source 1.4参数的话会出现warning 。

3.         运行时启动assert 。

缺省情况下assert是不被启用的。

运行时应该这样启用assert:

java –ea:类名  类名

或者

java –ea:包名… 类名

相应的用-da关闭assert 。

(详细可以参考java命令的帮组)。

4.         assert的好处及使用。

我以为assert主要用来debug 。使用它能很容易定位错误。另外,在代码的适当地方用上assert语句,能够在代码中某些值的取值范围发生变化时迅速的定位代码错误,发现代码的bug 。请看下面这个例子。

 

假设i现在的取值就是0 和 1 。

那么我们可以这么写代码:

if  (0 == i) {

….
} else { //i == 1

}

当i的值的范围发生了变化(这是完全有可能的,因为这个i的值可能是其它模块给本模块传的参数。),这个代码就很有可能有潜在的bug,而且这个bug未必能立即表现出来。即使表现出来了,要定位到这个错也不容易。因为你很可能仍然坚信i的值就是0或者1。

 

但是如果将以上代码改写成这样:

if  (0 == i) {

….
} else { //i == 1

              assert  i==1:”The i value isn’t 0 or 1 .”

              ….

}

那么一旦i的取值范围超过了0,1 ,那么立即会扔出一个带有错误信息的java.lang.AssertionError 。这样对错误的定位就一目了然了。

5.         最后写一个运行的例子:

public class TestAssert {

       public static void main(String[] args) throws Exception {

              int i=100;

             

              String errorMsg = "This is a error";

              int errorCode = 10000;

             

              assert i>200:errorCode;

             

              assert i>200:errorMsg;

       }

}

 

然后编译:

javac –source 1.4   TestAssert.java

然后运行:

java –ea:TestAssert  TestAssert

 

运行结果如下:

  

本文地址:http://com.8s8s.com/it/it16012.htm