前置条件断言

1、什么是断言

断言(assert),是编程术语,表示为一些布尔表达式, 程序员相信在程序中的某个特定点该表达式值为真,可以在任何时候启用和禁用断言验证,因此可以在测试时启用断言而在部署时禁用断言。

断言的使用通常在单元测试中,使用断言可以创建更稳定,品质更好且不易于出错的代码。

2、断言特性:

  • 前置条件断言:代码执行之前必须具备的特性
  • 后置条件断言:代码执行之后必须具备的特性
  • 前后不变断言:代码执行前后不能变化的特性

3、前置条件断言

程序的业务逻辑处理,一般是有必须满足的条件,才能进行对应的处理,否则就不能正确的执行。而 代码开发中,如果不在业务处理前,对其所需的条件进行判定,则在后续中,就会出现各种隐患

  • 在PRD中,对于业务逻辑,也是有一定满足条件才能执行的。
  • 在敏捷开发中,TDD是其一项核心实践。
  • 在测试用例中,对于测试场景来说,也是应有前置条件的约束的。

那么,综上所诉,是不是在写业务功能之前,进行断言判断呢?

答案是肯定的, 进行前置条件断言,不仅符合业务实际,也对代码规范进行了约束,同时,也会避免大量的不必要的隐患。

在项目中,我们通过在应用接口层进行对外交互。那么对应的,条件断言,也应在这里进行。我们假设,进行断言,如果不通过,则抛异常码,并且显示在返回结果中。

那么,首先,应定义全局异常码,在项目中,每个码都应唯一并且有确定的含义。在全局异常码,可以根据业务,进一步分为 错误码,转向提示码

错误码,很容易理解,他的信息可以由用户或上游调用方显示看到

转向提示码,则是需要根据码,可以进行一些对应业务处理,比如,用户登录信息session超时,可以使用转向提示码,通知上游,直接转向登录页面。

4、断言执行流程

接下来,我们可以简单的尝试一下做个断言工具类 AssertUtils。

public class AssertUtils {

  /**
   * check if source is equals target.
   * if source == null && target == null,will not throws Exception
   * @param code
   * @param source
   * @param target
   */
  public static void eq(int code,Object source,Object target)  {
    
    boolean eq = false;
    
    eq = source == null ? target == null ? true : false : target == null ? false :           source.equals(target) ;
    
    if(!eq)
      ExceptionUtils.throwSimpleEx(code);
  } }

ExceptionUtils是自定义异常Utils,里面对异常进行了封装,并且对code进行了配置注册。

在使用上,我们可以这样来使用:

int a1 = 12;
Integer a2 = 123;
AssertUtils.eq(1401,a1,a2);

就对a1和a2进行了相等的断言,不符合,则抛出1401的异常码。

本文转载自公众号宜信技术学院(ID:CE_TECH)。

原文链接

前置条件断言

  • 发表于:
  • 本文为 InfoQ 中文站特供稿件
  • 首发地址https://www.infoq.cn/article/AujC3IAPDvKIa0o3pUhQ
  • 如有侵权,请联系 yunjia_community@tencent.com 删除。

扫码关注云+社区

领取腾讯云代金券