关于JDK1.4增加的assert语句

原创 2004年08月25日 23:47:00

关于JDK1.4增加的assert语句

1.         assert语句的语法

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

assert  assumption 或者

assert  assumption : error message or error code

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

 <?xml:namespace prefix = o ns = "urn:schemas-microsoft-com:office:office" />

       如果assumptiontrue,那么一切如常,这个语句就像没有出现一样,如果assumptionfalse,那么程序将扔出一个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

 

运行结果如下:

<?xml:namespace prefix = v ns = "urn:schemas-microsoft-com:vml" />  

Python assert断言异常语句格式及用法

http://www.iplaypython.com/jinjie/assert.html 使用assert断言是学习python一个非常好的习惯,assert断言句语格式及用法...
  • SalmonellaVaccine
  • SalmonellaVaccine
  • 2014-05-12 13:34:14
  • 2577

assert的用法以及与条件语句的比较

assert宏的原型定义在中,其作用是如果它的条件返回错误,则终止程序执行,原型定义: #include assert.h> void assert( int expression ); ...
  • o7_yue
  • o7_yue
  • 2015-04-21 23:29:12
  • 866

断言(assert)的使用

参考:http://www.cnblogs.com/tianxue/p/3925315.html 一、Assert简介 作用:是用于对程序进行调试的,对于执行结构的判断,而不是对于业务流程的判断。...
  • chen19960724
  • chen19960724
  • 2016-09-12 16:32:29
  • 4276

【python学习笔记】Python异常处理raise、try...except、断言assert

说明写代码时,我们有时希望捕捉到程序异常但程序不退出,有时候不确定程序是否会异常,有时候希望自己定义异常,中断程序运行。异常处理raise使用raise抛出异常,一旦执行了raise语句,raise后...
  • qq_29287973
  • qq_29287973
  • 2017-09-21 16:33:07
  • 1812

C++中assert语句的使用

#include #include using namespace std; const int N_PRIMES = 7; int primes[N_PRIMES] = {2,3,5,7, ...
  • jkhere
  • jkhere
  • 2013-09-23 09:17:07
  • 1051

linux assert()宏用法

assert() 宏用法 注意:assert是宏,而不是函数。在C的assert.h头文件中。 assert宏的原型定义在中,其作用是如果它的条件返回错误,则终止程序执行,原型定义: ...
  • zhangjikuan
  • zhangjikuan
  • 2014-03-13 20:54:02
  • 832

python 错误处理 assert

Python assert
  • simple1_6
  • simple1_6
  • 2017-12-19 23:01:36
  • 108

关于iphone的防错性编程 使用assert()

关于iphone的防错性编程 使用assert()assert宏的原型定义在assert.h中,其作用是如果它的条件返回错误,则终止程序执行.  原型定义: 1#include "assert.h"2...
  • diyagoanyhacker
  • diyagoanyhacker
  • 2011-06-01 14:05:00
  • 4512

assert预处理宏总结

1、除了assert预处理宏之外,现代C++程序很少再使用预处理宏了;2、功能: 测试一个条件并可能使程序终止,用法是:assert(expr),assert的作用是先计算表达式expr,如果其值为假...
  • JIEJINQUANIL
  • JIEJINQUANIL
  • 2016-03-28 20:48:26
  • 1286

assert使用场景

Assert use cases 常用的用assert场景: 先决条件(private方法中) - 方法调用者必须满足这些需求 后置条件 - 检查结果 类不变式class invari...
  • Jesseek
  • Jesseek
  • 2015-06-02 14:30:52
  • 285
收藏助手
不良信息举报
您举报文章:关于JDK1.4增加的assert语句
举报原因:
原因补充:

(最多只允许输入30个字)