之前在学习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异常中,并抛出。
下面给一个代码示例:
public class assertStudy
{
public static void main(String args[])
{
assert 1 == 1;
System.out.println("A Go!");
System.out.println("\n-----------------------------------------------\n");
assert 1 != 1 : "Wrong";
System.out.println("B Go!");
}
}
(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