断言是Java 1。4中新添加的功能,是Java中的一种新的错误检查机制,它提供了一种在代码中进行正确性检查的机制,但是这项功能可以根据需要关闭。断言包括:assert关键字,AssertionError类,以及在java。lang。ClassLoader中增加了几个新的有关assert方法。
assert最重要的特点是assert语句可以在运行时任意的开启或关闭,默认情况下是关闭的。断言语句有两种合法的形式:a.assert expression1; b.assert expression1 : expression2; expression1是一条被判断的布尔表达式,必须保证在程序执行过程中它的值一定是真;expression2是可选的,用于在expression1为假时,传递给抛出的异常AssertionError的构造器,因此expression2的类型必须是合法的AssertionError构造器的参数类型。
AssertionError除了一个不带参数的缺省构造器外,还有7个带单个参数的构造器,分别为:object(eg。String) boolean char int long float double。第一种形式如果抛出异常,则调用AssertionError的缺省构造器,对于第二种形式,则根据expression2值的类型,分别调用7种单参数构造器中的一种。
A.assert程序的编译:javac -source 1。4 TestAssert。java(提示java按1。4版本编译)B.assert程序的运行:java –ea TestAssert 或者 java –ea:TestAssert TestAssert 其它的运行参数:java -ea:pkg