你的位置:首页 > Java教程

[Java教程]java 关键字 assert的学习


之前在学习java源码时,发现了assert这个不常用的关键字。下面直接来介绍下这个关键字的使用。

assert是什么?

它是jdk1.4之后新增加的关键字,没了。

 

assert的作用是什么?

assert在很多编程语言中的用途都是断言。

但是什么是断言呢?

只是简单的判断一下布尔表达式是否为真么?

好,带着这些问题,我们直入正题吧。

assert vt vt. 维护,坚持;断言;主张;声称。

通过查看assert的翻译,我们可以看到assert有主张、维护和坚持的意思。

也就是说,assert后边所跟的条件(防盗连接:本文首发自http://www.cnblogs.com/jilodream/ )必须满足,必须维护,否则就会出现错误。

 

assert的使用

assert的使用包含两块内容

(1)关键字在代码中的使用:

assert 有两种使用方法:

  1)assert BooleanCondition;

asssert后边跟一个布尔表达式。

如果表达式的值为true,那么就认为当前条件符合要求,继续执行业务代码。

如果表达式的值为false,那么久认为当前条件不符合要求,立即抛出AssertionError的错误。

AssertionError extends Error extends Throwable.Throw这个类,平常使用的相对较少,它还有一个子类叫做Exception。Error和Exception一样,均属于系统不应该试图捕获的严重问题。

  2)assert BooleanCondition:Excepiton

assert后边跟一个布尔表达式,同时再跟一个返回值为基本类型的表达式。

当表达式为true时,则继续运(防盗连接:本文首发自http://www.cnblogs.com/jilodream/ )行剩余业务代码,不会执行‘:’后边的表达式。

当表达式为false时,则会执行‘:’后边的表达式,并将结果放置在AssertionError异常中,并抛出。

下面给一个代码示例:

 1 public class assertStudy 2 { 3   public static void main(String args[])  4   { 5     assert 1 == 1; 6     System.out.println("A Go!"); 7     System.out.println("\n-----------------------------------------------\n"); 8     assert 1 != 1 : "Wrong"; 9     System.out.println("B Go!");10   }11 }

(2)关键字的有效性

在上述的assert处加入断点,Debug调试时,发现断点处根本没有停顿,而是直接跳过了。

为什么会这样呢?这是因为assert关键字是受java启动项配置的。

 

在启动时 需要通过-ea将开关开启

java -ea assertStudy

这样我们就会看到assert行的断点生效了(默认是不开启的)。

java -da assertStudy,这样assert就失效了

eclipse中开启关键字有效性的方法如下:

 选择菜单:Run--->Run...--->选择Arguments选项卡

在VM arguments文本框中输入:-ea 注意中间没有空格,如果输入 -da 表示禁止断言

(如果找不到以上的路径,请依次开(防盗连接:本文首发自http://www.cnblogs.com/jilodream/ )启断言: windows -> Preferences -> Java ->Installed JREs -> 点击正在使用的JDK -> Edit -> Default VM Arguments 文本框中输入:-ea)

 

论assert的必要性

通过assert的叙述,我们发现他和java中的if非常相似。那么为什么java还要添加这样的一个关键字呢?并且还是在jdk1.4这样一个后续版本中添加呢?

注意看assert的描述和抛出的异常是个Error。

即assert本意是对环境中,在正常使用的情况下,不会出现问题的条件判断。这些代码常常出现在基类、框架类、工具类等核心代码中。而在这些代码的正常运行中,是不会出现参数异常(防盗连接:本文首发自http://www.cnblogs.com/jilodream/ )的场景的。可是一旦通过反射,动态代理等方式使某些关键值发生了改变,就会导致出现大量的异常场景。而如果我们为了保护这些场景而加入大量的基本不会生效的if判断中,那么这些基本不会起作用的if判断,不但会严重的影响代码的可读性和简洁,还使读者觉得这些异常场景是会经常发生的,同时对系统的性能也有一定的影响。

而assert可以有效的通过配置项,控制这段代码是否生效,这其实上是一个非常优雅的行为。

ps 写完本段后,感觉非常有电视购物的感觉....

其它的一些情况

1、-ea和-da可以有效的指向到类和包路径的某一级中,使得可以更加灵活的控制assert的有效性。具体的使用如下:

-ea java -ea 打开所有用户类的assertion

-da java -da 关闭所有用户类的assertion

-ea: java -ea:MyClass1 打开MyClass1的assertion

-da: java -da: MyClass1 关闭MyClass1的assertion

-ea: java -ea:pkg1 打开pkg1包的assertion -da: java

-da:pkg1 关闭pkg1包的assertion

-ea:... java -ea:... 打开缺省包(无名包)的assertion

-da:... java -da:... 关闭缺省包(无名包)的assertion

-ea:... java -ea:pkg1... 打开pkg1包和其子包的assertion

-da:... java -da:pkg1... 关闭pkg1包和其子包的assertion

-esa java -esa 打开系统类的assertion

-dsa java -dsa 关闭系统类的assertion

2、assert的使用,是你知道这个事情在正常的情况下是绝对不会发生的,但是你也知道,OS、jvm中的事情是会偶然出现莫名其妙错误的,同时保不准某个调用你代码的人,和你想的不一样,错误的调用了你的代码。所以:

1)assert常被放置在用户的核心处理代码中,翻看java源代码,你就会发现源码中有大量的使用assert关键字。

2)assert处理的是那种正常情况下绝对不会出现的情况,所以在平常的业务流程中使用assert。

3)assert是不具有继承性的

如果开启父类的assert,则运行到子类的assert方法时,子类是默认不开启的。

反之如果开启子类的assert,运行到父类的assert方法时,父类的assert也是不开启的。

 

参考文档

http://blog.sina.com.cn/s/blog_95feae0d0101hhcg.html

http://lavasoft.blog.51cto.com/62575/43735

http://www.zhihu.com/question/24461924