前置条件断言

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

1、什么是断言

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

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

2、断言特性:

前置条件断言:代码执行之前必须具备的特性

后置条件断言:代码执行之后必须具备的特性

前后不变断言:代码执行前后不能变化的特性

3、前置条件断言

程序的业务逻辑处理,一般是有必须满足的条件,才能进行对应的处理,否则就不能正确的执行。

而代码开发中,如果不在业务处理前,对其所需的条件进行判定,则在后续中,就会出现各种隐患。

在PRD中,对于业务逻辑,也是有一定满足条件才能执行的。

在敏捷开发中,TDD是其一项核心实践。

在测试用例中,对于测试场景来说,也是应有前置条件的约束的。

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

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

在项目中,我们通过在应用接口层进行对外交互。那么对应的,条件断言,也应在这里进行。

我们假设,进行断言,如果不通过,则抛异常码,并且显示在返回结果中。
那么,首先,应定义全局异常码,在项目中,每个码都应唯一并且有确定的含义。

在全局异常码,可以根据业务,进一步分为错误码,转向提示码。

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

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

4、断言执行流程

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

public class AssertUtils {
​
  /**
   * check if source is equals target.<p>
   * 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的异常码。

作者:宜信技术学院 weiwei

相关文章
面向服务架构(SOA)吐血整理
面向服务架构(SOA)吐血整理
面向服务架构(SOA)吐血整理
|
人工智能 算法 关系型数据库
1月9日云栖精选夜读 | Mars 算法实践——人脸识别
Mars 是一个基于矩阵的统一分布式计算框架,在之前的文章中已经介绍了 Mars 是什么, 以及 Mars 分布式执行 ,而且 Mars 已经在 GitHub 中开源。当你看完 Mars 的介绍可能会问它能做什么,这几乎取决于你想做什么,因为 Mars 作为底层运算库,实现了 numpy 70% 的常用接口。
4777 0
|
4天前
|
人工智能 自然语言处理 安全
阿里云AI数智鉴密:AI 生成内容如何拿到一张"防篡改的身份证"
隐形水印 + C2PA签名:让AI生成内容“持证上岗”。
1125 0
|
13天前
|
人工智能 自然语言处理 安全
阿里云千问办公、Qoder Teams、Qoder CN区别与选择指南:模型能力、适用场景与最新活动参考
本文聚焦阿里云2026年推出的三款自研AI办公产品,清晰拆解千问办公、Qoder Teams、Qoder CN的差异化定位与能力边界:千问办公主打职场全场景提效,支持自然语言指令一键完成PPT生成、数据分析等高频办公任务;Qoder Teams面向程序员团队,深度整合AI代码生成、团队协同与企业知识库能力;Qoder CN则专为金融、政务等强合规场景打造,实现数据不出境与VPC私有化部署。文章同步给出分场景选型指南与最新活动定价,帮助不同类型的企业按需组合产品,实现业务岗、研发岗与强合规场景的AI能力全覆盖。
3749 4
阿里云千问办公、Qoder Teams、Qoder CN区别与选择指南:模型能力、适用场景与最新活动参考
|
5天前
|
人工智能 运维 BI
阿里云千问办公QwenWork深度解析:基于Qwen3.8,六大核心能力重构企业全自动化工作流与计费选型指南
传统AI办公工具大多停留在对话问答、文档摘要、简单文案生成层面,只能完成单点碎片化任务,无法自主拆解复杂业务流程,很难串联多工具、多文档、外部业务系统完成端到端完整工作交付。很多企业在落地AI办公的时候,需要组合多款不同工具,来回切换界面,手动复制粘贴中间结果,智能化改造落地门槛居高不下。千问办公QwenWork是整合多款智能体产品能力打造的一体化企业办公智能体平台,底层基座依托Qwen3.8大模型,打通桌面端Agent、云端Agent、企业协同Agent三种运行形态,不再局限简单问答,接收业务目标之后自主拆解任务步骤,调用各类工具,处理文档、表格、浏览器自动化、数据查询,直接输出可交付的办公
1420 0
|
4天前
|
人工智能 安全 前端开发
刚刚 GPT-6 Astra 发布,全球最强,AGI 时代到来!
OpenAI 正式推出 GPT-6 Astra 模型,带大家看看这次 GPT 有哪些提升,跟 Claude Fable 5.1 有什么差距?AI 编程能力如何?AGI 真的来了么?
619 0