理解和正确使用Java中的断言(assert)

原创 2004年08月28日 15:08:00
理解和正确使用Java中的断言(assert)
一、语法形式:
    Java2在1.4中新增了一个关键字:assert。在程序开发过程中使用它创建一个断言(assertion),它的
语法形式有如下所示的两种形式:
1、assert condition;
    这里condition是一个必须为真(true)的表达式。如果表达式的结果为true,那么断言为真,并且无任何行动
如果表达式为false,则断言失败,则会抛出一个AssertionError对象。这个AssertionError继承于Error对象,
而Error继承于Throwable,Error是和Exception并列的一个错误对象,通常用于表达系统级运行错误。
2、asser condition:expr;
    这里condition是和上面一样的,这个冒号后跟的是一个表达式,通常用于断言失败后的提示信息,说白了,它是一个传到AssertionError构造函数的值,如果断言失败,该值被转化为它对应的字符串,并显示出来。

二、使用示例:
    下面是一个使用assert的例子:

public class TestAssert{
     public static void main(String[] args){
         String name = "abner chai";
         //String name = null;
         assert (name!=null):"变量name为空null";
         System.out.println(name);
     }
}

    上面程序中,当变量name为null时,将会抛出一个AssertionError,并输出错误信息。
要想让上面的程序中的断言有效并且正确编译,在编译程序时,必须使用-source 1.4选项。如:

javac -source 1.4 TestAssert.java

在Eclipse(3.0M9)开发环境中,必须在window->preferences 中,左边选中"Java->Compiler",右边选择
“Compliance and ClassFiles”页面下的将"Compiler Compliance Level"选择为1.4;同时,将
"Use Default Compiler Settings"前的勾去掉。并将下面的
"Generated .class file compatibility"和"Source compatibility"均选择为1.4,才能正确编译。

同时,要想让断言起效用,即让断言语句在运行时确实检查,在运行含有assert的程序时,必须指定-ea选项
如:为了能够让上面的程序运行,我们执行下面代码:

java -ea TestAssert

在在Eclipse(3.0M9)开发环境中,运行时,我们必须配置运行时的选项"Run",在Arguments页面中的
"VM Arguments" 中填入-ea选项。才能让断言在运行时起作用。

三、注意事项:
    理解断言最重要的一点是必须不依赖它们完成任何程序实际所需的行为。理由是正常发布的代码都是断言无效的,即正常发布的代码中断言语句都不不执行的(或不起作用的),如果一不小心,我们可以错误地使用断言,如:

public class TestPerson{
    private String name = null;
    public TestPerson(String name){
        this.name = name;
    }
    public void setName(String nameStr){
        this.name = nameStr;
    }
    public String getName(){
         return this.name;
    }
    public static void main(String[] args){
        TestPerson personObj = new TestPerson("Abner Chai");
        String personName = null;
        assert (personName=personObj.getName())!=null;
        System.out.println(personName.length());
    }
}

这个程序中,对personName的赋值被转移到assert6语句中,尽管断言有效时它可以很好地运行(即使用-ea运行
时可以有效地运行)但如果断言失效,则它会运行时报空指针错误。因为断言无效时,
personName=personObj.getName()一句永远不会执行!
    断言对Java来说是一个好的条件,因为它们使开发过程中错误类型检查流线化,例如,在没有assert之前,
上面的程序要想确认personName 不空,则必须:

if(personName!=null){
    System.out.println(personName.length());
}
才行。有了assert后,使用assert,只需一行代码,并且不必从发布的代码中删除assert语句。
于是,上面的那个程序,经改正后,我们可以这么样来正确的使用assert,如下:

public class TestPerson{
    private String name = null;
    public TestPerson(String name){
        this.name = name;
    }
    public void setName(String nameStr){
        this.name = nameStr;
    }
    public String getName(){
         return this.name;
    }
    public static void main(String[] args){
        TestPerson personObj = new TestPerson("Abner Chai");
        String personName = null;
        personName=personObj.getName();
        assert personName!=null;
        System.out.println(personName.length());
    }
}

四、其它选项:
    当执行代码时,使用-ea选项使断言有效,也可以使用-da选项使断言无效(默认为无效)
同样,也可以通过在-ea或-da后面指定包名来使一个包的断言有效或无效。例如,要使一个com.test包中的断言
无效,可以使用:
-da:com.test
要使一个包中的所有子包中的断言能够有效或无效,在包名后加上三个点。例如:
-ea:com.test...
即可使com.test包及其子包中的断言无效。
Copyright by abnerchai, 2004. you can contact me at: abnertsai@sina.com

理解和正确使用Java中的断言(assert)

一、语法形式:     Java2在1.4中新增了一个关键字:assert。在程序开发过程中使用它创建一个断言(assertion),它的 语法形式有如下所示的两种形式: 1、assert co...
  • u010142437
  • u010142437
  • 2016年05月12日 22:14
  • 6041

理解和正确使用Java中的断言(assert)

理解和正确使用Java中的断言(assert) 一、语法形式: Java2在1.4中新增了一个关键字:assert。在程序开发过程中使用它创建一个断言(assertion),它的 语法形...
  • wangnanwlw
  • wangnanwlw
  • 2016年08月18日 15:15
  • 1349

Java Assert使用

Java Assert使用 主要总结一下在eclipse中如何使用断言。  (一)首先明确:     java断言Assert是jdk1.4引入的。  jvm ...
  • anhuidelinger
  • anhuidelinger
  • 2013年09月12日 09:39
  • 866

Java中的assert使用

1、assertion(断言)是jdk1.4才开始支持的新功能,主要在开发和测试时开启,为保证性能,在正式发布后通常是关闭。 2、Java中assertion与C中的assertion的区别在于:1)...
  • hyp3353
  • hyp3353
  • 2009年05月28日 16:11
  • 8240

介绍Java中的assert用法

      assert是在J2SE1.4中引入的新特性,assertion就是在代码中包括的布尔型状态,程序员认为这个状态是true。一般来说assert在开发的时候是检查程序的安全性的,在发布的时...
  • mingjava
  • mingjava
  • 2004年07月03日 10:26
  • 5719

java assert的使用

(一)首先明确:   java断言Assert是jdk1.4引入的。jvm 断言默认是关闭的。断言是可以局部开启的,如:父类禁止断言,而子类开启断言,所以一般说“断言不具有继承性”。   断言只适用于...
  • mlzhu007
  • mlzhu007
  • 2010年12月13日 15:16
  • 2586

Java Assert使用

主要总结一下在eclipse中如何使用断言。 (一)首先明确: java断言Assert是jdk1.4引入的。 jvm 断言默认是关闭的。 断言是可以局部开启的,如:父类禁止断言,而子类开启...
  • zongxiao08
  • zongxiao08
  • 2013年02月16日 19:44
  • 109

java assert

assert expression1; assert expression1:expression2; 如果expression1为true,则不抛出错误,程序正常运行,expression2也不...
  • wguoyong
  • wguoyong
  • 2011年10月27日 10:52
  • 9361

java中Assert的用法

assert是在J2SE1.4中引入的新特性,assertion就是在代码中包括的布尔型状态,程序员认为这个状态是true。一般来说assert在开发的时候是检查程序的安全性的,在发布的时候通常都不使...
  • u014470581
  • u014470581
  • 2016年09月07日 15:41
  • 3123

Java Assert 用法简介

    在JDK1.4中增加了Assert的新功能,用于开始、调试时期的错误检测,它可以通过-ea 的JVM参数关闭,关闭以后对程序的性能没有任何影响。     最好的教程 请见:http://ja...
  • yangqillohe
  • yangqillohe
  • 2010年06月05日 10:28
  • 6745
内容举报
返回顶部
收藏助手
不良信息举报
您举报文章:理解和正确使用Java中的断言(assert)
举报原因:
原因补充:

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