断言绝对不是鸡肋

简介:

在防御式编程中经常会用断言(Assertion)对参数和环境做出判断,避免程序因不当的输入或错误的环境而产生逻辑异常,断言在很多语言中都存在,C、C++、Python都有不同的断言表示形式。在Java中的断言使用的是assert关键字,其基本的用法如下:

assert <布尔表达式> 
assert <布尔表达式> : <错误信息> 

在布尔表达式为假时,抛出AssertionError错误,并附带了错误信息。assert的语法较简单,有以下两个特性:

(1)assert默认是不启用的

我们知道断言是为调试程序服务的,目的是为了能够快速、方便地检查到程序异常,但Java在默认条件下是不启用的,要启用就需要在编译、运行时加上相关的关键字,这就不多说,有需要的话可以参考一下Java规范。

(2)assert抛出的异常AssertionError是继承自Error的

断言失败后,JVM会抛出一个AssertionError错误,它继承自Error,注意,这是一个错误,是不可恢复的,也就表示这是一个严重问题,开发者必须予以关注并解决之。

assert虽然是做断言的,但不能将其等价于if…else…这样的条件判断,它在以下两种情况不可使用:

(1)在对外公开的方法中

我们知道防御式编程最核心的一点就是:所有的外部因素(输入参数、环境变量、上下文)都是“邪恶”的,都存在着企图摧毁程序的罪恶本源,为了抵制它,我们要在程序中处处检验,满地设卡,不满足条件就不再执行后续程序,以保护主程序的正确性,处处设卡没问题,但就是不能用断言做输入校验,特别是公开方法。我们来看一个例子:

复制代码
 1 public class Client {  
 2     public static void main(String[] args) {  
 3          StringUtils.encode(null);  
 4     }  
 5 }  
 6 //字符串处理工具类  
 7 class StringUtils{  
 8      public static String encode(String str){  
 9           assert str!=null:"加密的字符串为null";  
10           /*加密处理*/  
11     }  
12 } 
复制代码

encode方法对输入参数做了不为空的假设,如果为空,则抛出AssertionError错误,但这段程序存在一个严重的问题,encode是一个public方法,这标志着是它对外公开的,任何一个类只要能够传递一个String类型的参数(遵守契约)就可以调用,但是Client类按照规范和契约调用enocde方法,却获得了一个AssertionError错误信息,是谁破坏了契约协定?—是encode方法自己。

(2)在执行逻辑代码的情况下

assert的支持是可选的,在开发时可以让它运行,但在生产系统中则不需要其运行了(以便提高性能),因此在assert的布尔表达式中不能执行逻辑代码,否则会因为环境不同而产生不同的逻辑,例如:

1 public void doSomething(List list,Object element){  
2      assert list.remove(element):"删除元素 " + element + " 失败";  
3      /*业务处理*/  
4 } 

这段代码在assert启用的环境下,没有任何问题,但是一旦投入到生产环境,就不会启用断言了,而这个方法也就彻底完蛋了,list的删除动作永远都不会执行,所以也就永远不会报错或异常,因为根本就没有执行嘛!

以上两种情况下不能使用assert,那在什么情况下能够使用assert呢?一句话:按照正常执行逻辑不可能到达的代码区域可以放置assert。具体分为三种情况:

(1)在私有方法中放置assert作为输入参数的校验

在私有方法中可以放置assert校验输入参数,因为私有方法的使用者是作者自己,私有方法的调用者和被调用者之间是一种弱契约关系,或者说没有契约关系,其间的约束是依靠作者自己控制的,因此加上assert可以更好地预防自己犯错,或者无意的程序犯错。

(2)流程控制中不可能达到的区域

这类似于JUnit的fail方法,其标志性的意义就是:程序执行到这里就是错误的,例如:

复制代码
1 public void doSomething(){  
2      int i = 7;  
3      while(i >7){  
4         /*业务处理*/  
5      }  
6      assert false:"到达这里就表示错误";  
7 } 
复制代码

(3)建立程序探针

我们可能会在一段程序中定义两个变量,分别代表两个不同的业务含义,但是两者有固定的关系,例如var1=var2*2,那我们就可以在程序中到处设“桩”,断言这两者的关系,如果不满足即表明程序已经出现了异常,业务也就没有必要运行下去了。

//===========================================================================

Eclipse中默认是关闭断言assert的.怎么样在eclipse中开启断言...

最简单的方式:

博客园对上传的图片有压缩,显示不清楚,点击看高清大图:http://images2015.cnblogs.com/blog/610238/201604/610238-20160421154632101-286208268.png

 


本文转自SummerChill博客园博客,原文链接:http://www.cnblogs.com/DreamDrive/p/5417283.html,如需转载请自行联系原作者

相关文章
|
6月前
|
程序员 编译器 C++
【实用编程技巧】不想改bug?初学者必须学会使用的报错函数assert!(断言函数详解)
【实用编程技巧】不想改bug?初学者必须学会使用的报错函数assert!(断言函数详解)
62 2
|
6月前
|
存储 JSON 测试技术
阿萨学工具: 你会用Apifox写断言吗?
阿萨学工具: 你会用Apifox写断言吗?
208 0
|
4月前
|
存储 前端开发 JavaScript
条件判断的模式问题之如果混淆了断言和卫述如何解决
条件判断的模式问题之如果混淆了断言和卫述如何解决
|
6月前
cypress如何写断言?
cypress如何写断言?
|
Java 测试技术 API
开发小技巧系列 - 如何避免NPE,去掉if...else(四)
利用optional来处理各种IF-ELSE的判断
107 0
|
前端开发
前端学习案例13-断言&匹配模式2
前端学习案例13-断言&匹配模式2
51 0
前端学习案例13-断言&匹配模式2
|
前端开发
前端学习案例12-断言&匹配模式1
前端学习案例12-断言&匹配模式1
57 0
前端学习案例12-断言&匹配模式1
|
测试技术
测试中进行断言是什么意思?底层原理是什么?
测试中进行断言是什么意思?底层原理是什么?
1370 0
|
测试技术
自动化测试教程(15)数据断言
(4)通过比对页面元素的属性信息,检查测试用例执行结果的正确性,编写代码如下:FindElement().get_attribute(“value”)断言以后用的非常多,他可以判断我们程序是否正确,也可以判断数据驱动后结果是否正确,也可以判断内容是否正确,用处很多,需要熟练掌握。(1)通过比对页面元素的文本信息,检查测试用例执行结果的正确性,编写代码如下:Find_element().text。(3)通过对比网址信息,检查测试用例执行结果的正确性,编写代码如下:Driver.current_url。
自动化测试教程(15)数据断言
Cypress如何写断言?
大家好,我是阿萨。之前写post的断言时写过一篇文章。[用Postman 如何设置断言?]文章提到过Postman 用chai 写断言。cypresss 其实也是用chai写断言的。
315 0