零缺陷编程读书笔记（八）自己设计并使用断言（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