零缺陷编程读书笔记(八)自己设计并使用断言(6)

2024-06-16 07:58

本文主要是介绍零缺陷编程读书笔记(八)自己设计并使用断言(6),希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

10 不可能的事用也能发生

1

函数的形参并不一定总是给出函数的所有输入数据,有时它给出的只是一个指向函数输入数据的指针。例如,请看下面这个简单的压缩还原程序:

byte* pbExpand(byte* pbFrom, byte* pbTo, size_t sizeFrom)

{

 byte b, *pbEnd;

size_t size;

 pbEnd = pbFrom + sizeFrom;   /* 正好指向缓冲区尾的下一个位置  */

 while(pbFrom < pbEnd)

{

b = *pbFrom++;

  if(b == bRepeatCode)

{

/* pbTo开始的位置存储 size b */

b = *pbFrom++;

size = (size_t)*pbFrom++;

while(size-- > 0)

*pbTo++ = b;

}

消除所做的隐式假定或者利用断言检查其正确性

else

*pbTo++ = b;

}

return(pbTo);

}

这个程序将一个数据缓冲区中的内容拷贝到另一个数据缓冲区。中但在拷贝过程中,它要找出所有的压缩字符序列。如果在输入数据中找到了特殊的字节 bRepeatCode,它就认为其后的下两个字节分别是要重复的还原字符以及该字符的重复次数。尽管这一程序显得有些过于简单,但我们还是可以把它们用在某些类似于程序编辑的场合下。那里,正文中常常包括有许多表示缩进的连续水平制表符和空格符。

 

2

总之对于每个字符压缩序列其重复次数至少是 4或者是 1。在后一种情况下,相应的重复字符一定是 bRepeatCode本身。我们可以使用断言对这一点进行验证:

byte* pbExpand(byte* pbFrom, byte* pbTo, size_t sizeFrom)

{

 byte b, *pbEnd;

size_t size;

 ASSERT(pbFrom != NULL && pbTo != NULL && sizeFrom != 0);

 pbEnd = pbFrom + sizeFrom;   /* 正好指向缓冲区尾的下一个位置  */

 while(pbFrom < pbEnd)

{

b = *pbFrom++;

  if(b == bRepeatCode)

{

/* pbTo开始的位置存储 size b */

b = *pbFrom++;

size = (size_t)*pbFrom++;

ASSERT( size>=4 || (size==1 && b==bRepeatCode) );

while(size-- > 0)

*pbTo++ = b;

}

else

*pbTo++ = b;

}

return(pbTo);

}

如果这一断言失败说明 pbFrom指向的内容不对或者字符压缩程序中有错误。无论哪

种情况都是错误,而且是不用断言就很难发现的错误。

 

利用断言来检查不可能发生的情况

 

11 安静地处理

1

令人惊奇的是,程序员,尤其是有经验的程序员编的程序通常都是这样:当某些意料不到的事情发生时,程序只进行无声无息的安静处理,甚至有些程序员会有意识地使程序这样做。也许你自己用的是另一种方法。

当然,我现在谈的是所谓的防错性程序设计。

 

2

在上一节中,我们介绍 pbExpand程序。该函数使用的就是防错程序设计。但从其循环条件可以看出,下面的修改版本并没有使用防错性程序设计。

byte* pbExpand(byte* pbFrom, byte* pbTo, size_t sizeFrom)

{

 byte b, *pbEnd;

size_t size;

 pbEnd = pbFrom + sizeFrom;   /* 正好指向缓冲区尾的下一个位置  */

利用断言来检查不可能发生的情况

 while(pbFrom != pbEnd)

{

b = *pbFrom++;

  if(b == bRepeatCode)

{

/* pbTo开始的位置存储 size b */

b = *pbFrom++;

size = (size_t)*pbFrom++;

do

*pbTo++ = b;

while(size-- != 0)

}

else

*pbTo++ = b;

}

return(pbTo);

}

    虽然这一程序更精确地反应了相应的算法,但有经验的程序员很少会这样编码。否则好机会就来了,我们可以把他们塞进一辆既没有安全带又没有车门的双人 Cessna车中。上

面的程序使人感到太危险了。

有经验的程序员会这样想:“我知道在外循环中 pbFrom绝不应该大于 pbEnd ,但如果确实出现了这种情况怎样办呢?还是在这种不可能的情况出现时让外循环退出为好。”

同样,对于内循环,即使 size总应该大于或等于 1 ,但使用 while循环代替 do 循环,

可以保证进入内循环时一旦 size 0 不至于使整个程序瘫痪。

 

在进行防错性程序设计时不要隐瞒错误。

 

转载请注明原创连接:http://blog.csdn.net/wujunokay/article/details/17886911

 

这篇关于零缺陷编程读书笔记(八)自己设计并使用断言(6)的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



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

相关文章

不懂推荐算法也能设计推荐系统

本文以商业化应用推荐为例,告诉我们不懂推荐算法的产品,也能从产品侧出发, 设计出一款不错的推荐系统。 相信很多新手产品,看到算法二字,多是懵圈的。 什么排序算法、最短路径等都是相对传统的算法(注:传统是指科班出身的产品都会接触过)。但对于推荐算法,多数产品对着网上搜到的资源,都会无从下手。特别当某些推荐算法 和 “AI”扯上关系后,更是加大了理解的难度。 但,不了解推荐算法,就无法做推荐系

中文分词jieba库的使用与实景应用(一)

知识星球:https://articles.zsxq.com/id_fxvgc803qmr2.html 目录 一.定义: 精确模式(默认模式): 全模式: 搜索引擎模式: paddle 模式(基于深度学习的分词模式): 二 自定义词典 三.文本解析   调整词出现的频率 四. 关键词提取 A. 基于TF-IDF算法的关键词提取 B. 基于TextRank算法的关键词提取

使用SecondaryNameNode恢复NameNode的数据

1)需求: NameNode进程挂了并且存储的数据也丢失了,如何恢复NameNode 此种方式恢复的数据可能存在小部分数据的丢失。 2)故障模拟 (1)kill -9 NameNode进程 [lytfly@hadoop102 current]$ kill -9 19886 (2)删除NameNode存储的数据(/opt/module/hadoop-3.1.4/data/tmp/dfs/na

Hadoop数据压缩使用介绍

一、压缩原则 (1)运算密集型的Job,少用压缩 (2)IO密集型的Job,多用压缩 二、压缩算法比较 三、压缩位置选择 四、压缩参数配置 1)为了支持多种压缩/解压缩算法,Hadoop引入了编码/解码器 2)要在Hadoop中启用压缩,可以配置如下参数

Makefile简明使用教程

文章目录 规则makefile文件的基本语法:加在命令前的特殊符号:.PHONY伪目标: Makefilev1 直观写法v2 加上中间过程v3 伪目标v4 变量 make 选项-f-n-C Make 是一种流行的构建工具,常用于将源代码转换成可执行文件或者其他形式的输出文件(如库文件、文档等)。Make 可以自动化地执行编译、链接等一系列操作。 规则 makefile文件

使用opencv优化图片(画面变清晰)

文章目录 需求影响照片清晰度的因素 实现降噪测试代码 锐化空间锐化Unsharp Masking频率域锐化对比测试 对比度增强常用算法对比测试 需求 对图像进行优化,使其看起来更清晰,同时保持尺寸不变,通常涉及到图像处理技术如锐化、降噪、对比度增强等 影响照片清晰度的因素 影响照片清晰度的因素有很多,主要可以从以下几个方面来分析 1. 拍摄设备 相机传感器:相机传

Linux 网络编程 --- 应用层

一、自定义协议和序列化反序列化 代码: 序列化反序列化实现网络版本计算器 二、HTTP协议 1、谈两个简单的预备知识 https://www.baidu.com/ --- 域名 --- 域名解析 --- IP地址 http的端口号为80端口,https的端口号为443 url为统一资源定位符。CSDNhttps://mp.csdn.net/mp_blog/creation/editor

【Python编程】Linux创建虚拟环境并配置与notebook相连接

1.创建 使用 venv 创建虚拟环境。例如,在当前目录下创建一个名为 myenv 的虚拟环境: python3 -m venv myenv 2.激活 激活虚拟环境使其成为当前终端会话的活动环境。运行: source myenv/bin/activate 3.与notebook连接 在虚拟环境中,使用 pip 安装 Jupyter 和 ipykernel: pip instal

pdfmake生成pdf的使用

实际项目中有时会有根据填写的表单数据或者其他格式的数据,将数据自动填充到pdf文件中根据固定模板生成pdf文件的需求 文章目录 利用pdfmake生成pdf文件1.下载安装pdfmake第三方包2.封装生成pdf文件的共用配置3.生成pdf文件的文件模板内容4.调用方法生成pdf 利用pdfmake生成pdf文件 1.下载安装pdfmake第三方包 npm i pdfma

零基础学习Redis(10) -- zset类型命令使用

zset是有序集合,内部除了存储元素外,还会存储一个score,存储在zset中的元素会按照score的大小升序排列,不同元素的score可以重复,score相同的元素会按照元素的字典序排列。 1. zset常用命令 1.1 zadd  zadd key [NX | XX] [GT | LT]   [CH] [INCR] score member [score member ...]