JDK1.4特性assert详解

JDK1.4中引入的一个新特性之一就是断言（assert），为程序的调试提供了强有力的支持，以下的文档根据SUNTEC内容及相关内容组成。

源代码：

 
 
 

  
  
  
/**  
  
  
  
* Simple examples of the use of the new assertion feature in JDK1.4  
  
  
  
*  
  
  
  
* @author S.Ritter 16/7/2001  
  
  
  
**/ 
  
  
  
public class AssertExample {  
  
  
  
public static void main(String[] args) {  
  
  
  
int x = 10;  
  
  
  
if (args.length > 0) {  
  
  
  
try {  
  
  
  
x = Integer.parseInt(args[0]);  
  
  
  
} catch (NumberFormatException nfe) {  
  
  
  
/* Ignore */ 
  
  
  
}  
  
  
  
}  
  
  
  
System.out.println("Testing assertion that x == 10");  
  
  
  
assert x == 10:"Our assertion failed";  
  
  
  
System.out.println("Test passed");  
  
  
  
}  
  
  
  
} 
 
 
 

由于引入了一个新的关键字，所以在编译的时候就需要增加额外的参数，要编译成功，必须使用JDK1.4的javac并加上参数´-source 1.4´,例如可以使用以下的命令编译上面的代码：

javac -source 1.4 AssertExample.java

以上程序运行使用断言功能也需要使用额外的参数（并且需要一个数字的命令行参数），例如：

java -ea AssertExample 1

程序的输出为：

 
 
 

  
  
  
Testing assertion that x == 10 
  
  
  
Exception in thread "main" java.lang.AssertionError: Our assertion failed  
  
  
  
at AssertExample.main(AssertExample.java:20) 
 
 
 

由于输入的参数不等于10，因此断言功能使得程序运行时抛出断言错误，注意是错误，这意味着程序发生严重错误并且将强制退出。断言使用boolean值，如果其值不为true则抛出AssertionError并终止程序的运行。

由于程序员的问题，断言的使用可能会带来副作用，例如：

 
 
 

  
  
  
boolean isEnable=false;  
  
  
  
//...  
  
  
  
assert isEnable=true; 
 
 
 

这个断言的副作用是因为它修改程序变量的值并且没有抛出错误，这样的错误如果不细心检查很难发现。但是同时我们可以根据以上的副作用得到一个有用的特性，根据它测试是否将断言打开了。

 
 
 

  
  
  
/**  
  
  
  
* Simple examples test enable assertion feature in JDK1.4  
  
  
  
*  
  
  
  
* @author Cherami 25/4/2002  
  
  
  
**/ 
  
  
  
public class AssertExample2 {  
  
  
  
public static void main(String[] args) {  
  
  
  
boolean assertEnable=false;  
  
  
  
assert assertEnable=true;  
  
  
  
if (assertEnable==false)  
  
  
  
{  
  
  
  
throw new RuntimeException("Assertions should be enable");  
  
  
  
}  
  
  
  
}  
  
  
  
} 
 
 
 

如果我们不使用-ea参数运行上面的程序，则控制台将输出：

 
 
 

  
  
  
Exception in thread "main"   
  
  
  
java.lang.RuntimeException: Assertions should be enable at AssertExample.main(AssertExample.java:14) 
 
 
 

JDK1.4特性assert详解就介绍到这里，通过这个介绍希望你对JDK1.4特性assert有所了解。

【编辑推荐】

1. JDK1.4在Windows下的环境配置
2. JDK1.6在LINUX下的安装配置
3. JDK1.5中新的语言特征浅析
4. JDK、SDK、JRE、JVM概念详解
5. JDK1.6的十大技术浅谈

网站栏目：JDK1.4特性assert详解
文章起源：http://www.csdahua.cn/qtweb/news5/323755.html

网站建设、网络推广公司-快上网，是专注品牌与效果的网站制作，网络营销seo公司；服务项目有等

广告

声明：本网站发布的内容（图片、视频和文字）以用户投稿、用户转载内容为主，如果涉及侵权请尽快告知，我们将会在第一时间删除。文章观点不代表本网站立场，如需处理请联系客服。电话：028-86922220；邮箱：631063699@qq.com。内容未经允许不得转载，或转载时需注明来源： 快上网