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异常中，并抛出。

下面给一个代码示例：

 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