Java断言绝对不是鸡肋

2024-01-17 19:38
文章标签 java 不是 绝对 断言 鸡肋

本文主要是介绍Java断言绝对不是鸡肋,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

在防御式编程中经常会用断言(Assertion)对参数和环境做出判断,避免程序因不当的输入或错误的环境而产生逻辑异常,断言在很多语言中都存在,C、C++、Python 都有不同的断言表示形式。在Java 中的断言使用的是assert 关键字,其基本的用法如下:
    assert < 布尔表达式>
    assert < 布尔表达式> : < 错误信息>
在布尔表达式为假时,抛出AssertionError 错误,并附带了错误信息。assert 的语法较简单,有以下两个特性:
  • assert 默认是不启用的
    我们知道断言是为调试程序服务的,目的是为了能够快速、方便地检查到程序异常,但Java 在默认条件下是不启用的,要启用就需要在编译、运行时加上相关的关键字,这就不多说,有需要的话可以参考一下Java 规范。
  • assert 抛出的异常AssertionError 是继承自Error 的
    断言失败后,JVM 会抛出一个AssertionError 错误,它继承自Error,注意,这是一个错误,是不可恢复的,也就表示这是一个严重问题,开发者必须予以关注并解决之。

assert 虽然是做断言的,但不能将其等价于if…else…这样的条件判断,它在以下两种情况不可使用:
(1)在对外公开的方法中
我们知道防御式编程最核心的一点就是:所有的外部因素(输入参数、环境变量、上下文)都是“邪恶”的,都存在着企图摧毁程序的罪恶本源,为了抵制它,我们要在程序中处处检验,满地设卡,不满足条件就不再执行后续程序,以保护主程序的正确性,处处设卡没问题,但就是不能用断言做输入校验,特别是公开方法。我们来看一个例子:
public class Client {
    public static void main(String[] args) {
        StringUtils.encode(null);
    }
}
// 字符串处理工具类
class StringUtils{
    public static String encode(String str){
        assert str!=null:" 加密的字符串为null";
        /* 加密处理*/
    }
}
encode 方法对输入参数做了不为空的假设,如果为空,则抛出AssertionError 错误,但这段程序存在一个严重的问题,encode 是一个public 方法,这标志着是它对外公开的,任何一个类只要能够传递一个String 类型的参数(遵守契约)就可以调用,但是Client 类按照规范和契约调用enocde 方法,却获得了一个AssertionError 错误信息,是谁破坏了契约协定?—是encode 方法自己。

(2)在执行逻辑代码的情况下
assert 的支持是可选的,在开发时可以让它运行,但在生产系统中则不需要其运行了(以便提高性能),因此在assert 的布尔表达式中不能执行逻辑代码,否则会因为环境不同而产生不同的逻辑,例如:
public void doSomething(List list,Object element){
    assert list.remove(element):" 删除元素 " + element + " 失败";
    /* 业务处理*/
}
这段代码在assert 启用的环境下,没有任何问题,但是一旦投入到生产环境,就不会启用断言了,而这个方法也就彻底完蛋了,list 的删除动作永远都不会执行,所以也就永远不会报错或异常,因为根本就没有执行嘛!

以上两种情况下不能使用assert,那在什么情况下能够使用assert 呢?一句话:按照正常执行逻辑不可能到达的代码区域可以放置assert。具体分为三种情况:
  • 在私有方法中放置assert 作为输入参数的校验
    在私有方法中可以放置assert 校验输入参数,因为私有方法的使用者是作者自己,私有方法的调用者和被调用者之间是一种弱契约关系,或者说没有契约关系,其间的约束是依靠作者自己控制的,因此加上assert 可以更好地预防自己犯错,或者无意的程序犯错。
  • 流程控制中不可能达到的区域
    这类似于JUnit 的fail 方法,其标志性的意义就是:程序执行到这里就是错误的,例如:
    public void doSomething(){
        int i = 7;
        while(i >7){
            /* 业务处理*/
        }
        assert false:" 到达这里就表示错误";
    }
  • 建立程序探针
    我们可能会在一段程序中定义两个变量,分别代表两个不同的业务含义,但是两者有固定的关系,例如var1=var2*2,那我们就可以在程序中到处设“桩”,断言这两者的关系,如果不满足即表明程序已经出现了异常,业务也就没有必要运行下去了。

这篇关于Java断言绝对不是鸡肋的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/616997

相关文章

SpringBoot请求参数接收控制指南分享

《SpringBoot请求参数接收控制指南分享》:本文主要介绍SpringBoot请求参数接收控制指南,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录Spring Boot 请求参数接收控制指南1. 概述2. 有注解时参数接收方式对比3. 无注解时接收参数默认位置

SpringBoot基于配置实现短信服务策略的动态切换

《SpringBoot基于配置实现短信服务策略的动态切换》这篇文章主要为大家详细介绍了SpringBoot在接入多个短信服务商(如阿里云、腾讯云、华为云)后,如何根据配置或环境切换使用不同的服务商,需... 目录目标功能示例配置(application.yml)配置类绑定短信发送策略接口示例:阿里云 & 腾

SpringBoot项目中报错The field screenShot exceeds its maximum permitted size of 1048576 bytes.的问题及解决

《SpringBoot项目中报错ThefieldscreenShotexceedsitsmaximumpermittedsizeof1048576bytes.的问题及解决》这篇文章... 目录项目场景问题描述原因分析解决方案总结项目场景javascript提示:项目相关背景:项目场景:基于Spring

Spring Boot 整合 SSE的高级实践(Server-Sent Events)

《SpringBoot整合SSE的高级实践(Server-SentEvents)》SSE(Server-SentEvents)是一种基于HTTP协议的单向通信机制,允许服务器向浏览器持续发送实... 目录1、简述2、Spring Boot 中的SSE实现2.1 添加依赖2.2 实现后端接口2.3 配置超时时

Spring Boot读取配置文件的五种方式小结

《SpringBoot读取配置文件的五种方式小结》SpringBoot提供了灵活多样的方式来读取配置文件,这篇文章为大家介绍了5种常见的读取方式,文中的示例代码简洁易懂,大家可以根据自己的需要进... 目录1. 配置文件位置与加载顺序2. 读取配置文件的方式汇总方式一:使用 @Value 注解读取配置方式二

一文详解Java异常处理你都了解哪些知识

《一文详解Java异常处理你都了解哪些知识》:本文主要介绍Java异常处理的相关资料,包括异常的分类、捕获和处理异常的语法、常见的异常类型以及自定义异常的实现,文中通过代码介绍的非常详细,需要的朋... 目录前言一、什么是异常二、异常的分类2.1 受检异常2.2 非受检异常三、异常处理的语法3.1 try-

Java中的@SneakyThrows注解用法详解

《Java中的@SneakyThrows注解用法详解》:本文主要介绍Java中的@SneakyThrows注解用法的相关资料,Lombok的@SneakyThrows注解简化了Java方法中的异常... 目录前言一、@SneakyThrows 简介1.1 什么是 Lombok?二、@SneakyThrows

Java中字符串转时间与时间转字符串的操作详解

《Java中字符串转时间与时间转字符串的操作详解》Java的java.time包提供了强大的日期和时间处理功能,通过DateTimeFormatter可以轻松地在日期时间对象和字符串之间进行转换,下面... 目录一、字符串转时间(一)使用预定义格式(二)自定义格式二、时间转字符串(一)使用预定义格式(二)自

Spring 请求之传递 JSON 数据的操作方法

《Spring请求之传递JSON数据的操作方法》JSON就是一种数据格式,有自己的格式和语法,使用文本表示一个对象或数组的信息,因此JSON本质是字符串,主要负责在不同的语言中数据传递和交换,这... 目录jsON 概念JSON 语法JSON 的语法JSON 的两种结构JSON 字符串和 Java 对象互转

JAVA保证HashMap线程安全的几种方式

《JAVA保证HashMap线程安全的几种方式》HashMap是线程不安全的,这意味着如果多个线程并发地访问和修改同一个HashMap实例,可能会导致数据不一致和其他线程安全问题,本文主要介绍了JAV... 目录1. 使用 Collections.synchronizedMap2. 使用 Concurren