J2SE 1.4 中assertion 功能介绍

assertion功能提供了一种在代码中进行正确性检查的机制，这种检查通常用于开发和调试阶段，到了软件完成部署后就可以关闭。这使得程序员可以在代码中加入调试检查语句，同时又可以在软件部署后关闭该功能而避免对软件速度和内存消耗的影响。基本上，assertion功能就是JAVA中的一种新的错误检查机制，只不过这项功能可以根据需要关闭。
通常在C和C++中，断定功能语句是可以通过预处理过程而不编译进最终的执行代码，由于JAVA中没有宏功能，所以在以前的java版本中断定功能没有被广泛的使用，在JDK1.4中通过增加assert关键字改变了这种状况。
这项新功能最重要的特点是断定语句可以在运行时任意的开启或关闭，这意味着这些起错误检查功能的语句不必在开发过程结束后从源代码中删除。
assertion语法非常简单，但正确的使用能帮助我们编写出健壮（ROBAST）可靠的代码。这篇文章中，我们不仅学习如何编写assertion语句，更要讨论应该在什么情况下使用assertion语句。
一、assertion语法基本知识
我们可以用新的JAVA关键字assert来书写断定语句。一条断定语句有以下两种合法的形式：
assert expression1;
assert expression1 : expression2;
expression1是一条被判断的布尔表达式，必须保证在程序执行过程中它的值一定是真；expression2是可选的，用于在expression1为假时，传递给抛出的异常AssertionError的构造器，因此expression2的类型必须是合法的AssertionError构造器的参数类型。以下是几条断定语句的例子：
assert 0 < value;
assert ref != null;
assert count == (oldCount + 1);
assert ref.m1(parm);
assert关键字后面的表达式一定要是boolean类型，否则编译时就会出错。
以下是使用断定语句的一个完整例子（见粗体语句行）：
public class aClass {
public void aMethod( int value ) {
assert value >= 0;
System.out.println( "OK" );
}
public static void main( String[] args ){
aClass foo = new aClass();
System.out.print( "aClass.aMethod( 1 ): " );
foo.aMethod( 1 );
System.out.print( "aClass.aMethod( -1 ): " );
foo.aMethod( -1 );
}
}
这段程序通过语句 assert value >= 0; 来判断传入aMethod方法中的参数是否不小于0，如果传入一个负数，则会触发AssertionError的异常。

补充：Jsp教程,J2EE/EJB/服务器