关于JDK1.4增加的assert语句

关于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

运行结果如下：