zoukankan      html  css  js  c++  java
  • 断言

    主要总结一下在eclipse中如何使用断言。


    (一)首先明确:
    java断言Assert是jdk1.4引入的。
    jvm 断言默认是关闭的。
    断言只适用于复杂的调试过程。
    断言一般用于程序执行结果的判断,千万不要让断言处理业务流程。
    (二)判断eclipse是否开启了断言,代码如下:
    public class AssertTest {

    public static void main(String[] args) {
    boolean isOpen = false; 
    assert isOpen=true; //如果开启了断言,会将isOpen的值改为true
    System.out.println(isOpen);//打印是否开启了断言 
    }
    }
    执行上面代码,如果打印 true说明已经启用了断言,如果为 false 则没有启用断言。
    如果没有启用断言,则按按照下面方法开启断言。
    (三)eclipse中开启断言
    选择菜单:Run ---> Run Configurations...---> 选择 Arguments 选项卡
    在 VM arguments 文本框中输入: -ea 注意:中间没有空格,如果输入 -da 表示禁止断言。

    然后关闭该窗口,然后保存就开启了断言。

    (四)断言使用

    assert关键字语法很简单,有两种用法:

    1、assert <boolean表达式>
    如果<boolean表达式>为true,则程序继续执行。
    如果为false,则程序抛出AssertionError,并终止执行。

    2、assert <boolean表达式> : <错误信息表达式>
    如果<boolean表达式>为true,则程序继续执行。
    如果为false,则程序抛出java.lang.AssertionError,并输入<错误信息表达式>。

    以下转自:Java陷阱之assert关键字

    四、陷阱

    assert关键字用法简单,但是使用assert往往会让你陷入越来越深的陷阱中。应避免使用。笔者经过研究,总结了以下原因:

    1、assert关键字需要在运行时候显式开启才能生效,否则你的断言就没有任何意义。

    而现在主流的Java IDE工具默认都没有开启-ea断言检查功能。这就意味着你如果使用IDE工具编码,调试运行时候会有一定的麻烦。

    并且,对于Java Web应用,程序代码都是部署在容器里面,你没法直接去控制程序的运行,如果一定要开启-ea的开关,

    则需要更改Web容器的运行配置参数。这对程序的移植和部署都带来很大的不便。

    2、用assert代替if是陷阱之二。assert的判断和if语句差不多,但两者的作用有着本质的区别:

    assert关键字本意上是为测试调试程序时使用的,但如果不小心用assert来控制了程序的业务流程,

    那在测试调试结束后去掉assert关键字就意味着修改了程序的正常的逻辑。

    3、assert断言失败将面临程序的退出。这在一个生产环境下的应用是绝不能容忍的。

    一般都是通过异常处理来解决程序中潜在的错误。但是使用断言就很危险,一旦失败系统就挂了。



    五、对assert的思考

    assert既然是为了调试测试程序用,不在正式生产环境下用,那应该考虑更好的测试JUint来代替其做用,

    JUint相对assert关键的所提供的功能是有过之而无不及。当然完全可以通过IDE debug来进行调试测试。

    在此看来,assert的前途一片昏暗。

    因此,应当避免在Java中使用assert关键字,除非哪一天Java默认支持开启-ea的开关,这时候可以考虑。

    对比一下,assert能给你带来多少好处,多少麻烦,这是我们选择是否使用的的原则。

     假如不写assert,调试的时候问题未必会暴露出来。此时就如问题所描述的,在调试的时候没事,可是到执行的时候出问题了你又没解决机制…… 比如说 FILE*fp;fp=fopen("错误的文件名?!","w+");不管文件存不存在,代码都会继续往下运行,问题一时半会不会暴露,有的时候说不定这次调试就没看出问题…… 如果写成 FILE*fp;fp=fopen("错误的文件名?!","w+");assert(fp!=NULL);在打开文件失败的时候就会立刻发现断言失败,调试中断,要求立刻修改代码,解决问题,这样才能在实际中不会出问题……

    断言的副作用

      由于程序员的问题,断言的使用可能会带来副作用 ,例如:
      boolean isEnable=false;
      //...
      assert isEnable=true;
      这个断言的副作用是因为它修改了程序中变量的值并且未抛出错误,这样的错误如果不细心的检查是很难发现的。但是同时我们可以根据以上的副作用得到一个有用的特性,根据它来测试断言是否打开。

     public class AssertExampleTwo{

       public static void main(String args[]){
         boolean isEnable=false;
         //...
         assert isEnable=true;
         if(isEnable==false){
           throw new RuntimeException("Assertion shoule be enable!");
         }
       }
    }

    何时需要使用断言

      1.可以在预计正常情况下程序不会到达的地方放置断言 :assert false
      2.断言可以用于检查传递给私有方法的参数。(对于公有方法,因为是提供给外部的接口,所以必须在方法中有相应的参数检验才能保证代码的健壮性)
      3.使用断言测试方法执行的前置条件和后置条件
      4.使用断言检查类的不变状态,确保任何情况下,某个变量的状态必须满足。(如age属性应大于0小于某个合适值)

    什么地方不要使用断言

      断言语句不是永远会执行,可以屏蔽也可以启用
    因此:
      1.不要使用断言作为公共方法的参数检查,公共方法的参数永远都要执行
      2.断言语句不可以有任何边界效应,不要使用断言语句去修改变量和改变方法的返回值
    下边是介绍断言的用法:
      assert是在J2SE1.4中引入的新特性,assertion就是在代码中包括的布尔型状态,程序员认为这个状态是true。一般来说assert在开发的时候是检查程序的安全性的,在发布的时候通常都不使用assert。在1.4中添加了assert关键字和java.lang.AssertError类的支持。 

  • 相关阅读:
    STL————vector的用法
    DFS,DP————N皇后问题
    DP经典问题—————(LCIS)最长公共上升子序列
    DP————LIS(最长上升子序列)和LCS(最长公共子序列)问题
    CentOS7使用firewalld打开关闭防火墙与端口
    CentOS7下安装MySQL5.7安装与配置(YUM)
    nginx + tomcat +redis 负载均衡遇到问题集锦
    centos 7 安装 tomcat
    centos 7 设置防火墙 开放指定端口
    centos 7 通过yum 安装 nginx
  • 原文地址:https://www.cnblogs.com/KingIceMou/p/7169104.html
Copyright © 2011-2022 走看看