首页 > 代码库 > 编程精粹--编写高质量C语言代码(3):自己设计并使用断言(二)

编程精粹--编写高质量C语言代码(3):自己设计并使用断言(二)

接着上一遍文章<<编程精粹--编写高质量C语言代码(2):自己设计并使用断言(一)>>,继续学习如何自己设计并使用断言,来更加容易,更加不费力地自动寻找出程序中的错误。

首先看一个简单的压缩还原程序:

byte* pbExpand(byte *pbFrom,byte *pbTo,size_t sizeFrom)
{
   byte b, *bpEnd;
   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; 
   }
   /** 原文中没有这行代码 */
   return pbTo;	
}

以上这个程序不是原书中的程序,个人感觉原书中的程序有问题,所以进行了一些小修改。这个程序的一个关键点就是如果在输入数据中找到了bReapeatCode,它就认为其后的两个字节分别代表重复的还原字符以及该字符的重复次数。按照上一篇文章<<编程精粹--编写高质量C语言代码(2):自己设计并使用断言(一)>>讲过的,为了提高程序的健壮性,可以利用断言对函数参数的有效性进行检查。除此之外,其实还有许多其他事情可以做,例如对缓冲区的数据进行确认。

仔细思考一下,上面一个程序进行一次译码,总共需要三个字节。所以压缩程序不应该对两个连续的字符进行压缩,当然对连续三个字符进行压缩也没有什么好处。所以压缩程序应该只对连续三个以上的字符进行压缩。还有一个情况,就是如果原始数据中含有bReatCode,就必须对其进行特殊处理,否则解压程序会误以为它是一个压缩字符序列的开始。所以当原始数据中出现了bReatCode时,就把它再重复一次,以便和真正的压缩字符序列区别。

所以我们可以使用断言来对这两个特性进行检验:

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

如果断言失败说明pbFrom所指向的数据有问题或者压缩程序有问题。所以利用断言,我们不仅可以检查语法上不可能发生的情况,而且可以利用断言来检验程序逻辑上不可能发生的错误。

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

让我们接下来看字符解压程序的另一个版本:

byte* pbExpand(byte *pbFrom,byte *pbTo,size_t sizeFrom)
{
   byte b, *bpEnd;
   size_t size;
   pbEnd=pbFrom+sizeFrom;
   while(pbFrom!=pbEnd)
   {
   	  b=*pbFrom++
   	  if(b==bRepeatCode)
   	  {
  	     /**在pbTo开始的位置存储"size"个b */
		 b=*pbFrom++;
		 size=(size_t)*pbFrom++;
		 /** 检查原始数据的有效性 */ 
		 ASSERT(size>3||(size==1&&b==bReaptCode));
		 do
		    *pbTo++=b;
         /** 原文是 while(size--!=0),
		     个人感觉有问题,因为会多循环一次 
			  于是改成如下语句
	     */ 
		 while(--size!=0);	
      }
      else
  	  {
          *pbTo++=b;	
      }
      /** 原文中以下代码没有被注释,个人感觉有问题 */
	  // return pbTo; 
   }
   /** 原文中没有这行代码 */
   return pbTo;	
}

仔细观察这两个程序,虽然功能是一样的,但是第一个版本利用了防错性程序设计。我们可以分析一下,外层循环尽管不太可能出现pbEnd会大于pbFrom,但是一旦出现,程序的第一个版本会跳出外层循环,继续运行,而第二个版本程序则可能崩溃。同样对于内层循环,一旦出现size为0的情况,第一个版本的程序可以很好的退出循环,而第二个版本则无法做到。

似乎第一个版本更加合理,也更加聪明,但是如果出于某种原因pbFrom被加过了pbEnd,第一个版本的程序可以在程序造成过多的损害之前,它就会退出,而第二个版本的程序则会企图对整个内存中的内容进行解压,从而引起程序崩溃,用户肯定会发现这个错误。所以实际情况就是这样:防错性程序设计虽然常常被誉为有较好的编码风格,但是它却隐瞒了错误。但是这并不意味者我们应该放弃防错性程序设计。我们希望在进行防错性程序设计时,错误不要被隐瞒。所以对于上面的程序,我们可以一方面一如既往地使用防错性程序设计,另一方面在事情变槽的情况下利用断言进行报警。

byte* pbExpand(byte *pbFrom,byte *pbTo,size_t sizeFrom)
{
   byte b, *bpEnd;
   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; 
   }
   ASSERT(pbFrom==pbEnd);
   /** 原文中没有这行代码 */
   return pbTo;	
}

ASSERT(bpFrom==pbEnd)用来验证函数的正常终止。由于采用了相应的防错性程序设计,程序的交付版本可以保证出了毛病时用户不受损失,而在程序的调试版本中,错误仍然可以被报告出来。所以在编码之前都要问自己:“在进行防错性程序设计时,程序中隐瞒了错误吗?”如果答案是肯定的,就要在程序中加上断言,以对这些错误进行报警。

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

同时,在编写代码时,要抓住一切机会对程序的结果进行验证。要尽可能地使用不同的算法,而且要使其不仅仅是同一算法的又一实现。如果不同算法产生的结果不同,就会触发断言。通过使用不同的算法不仅可以发现算法实现中的错误,而且增加了发现算法本身错误的可能性。当然这并不意味着每个函数都得有两个版本,正确的做法是只对程序的关键部分这样做。

          要利用不同的算法对程序的结果进行确认。

尽管利用不同算法的执行结果来对程序进行确认,可以帮助我们发现程序中的错误。但这毕竟要等到算法执行结束之后才能发现错误。有时候程序员应该在程序中进行初始检查,这样可以尽快发现错误,否则错误会隐藏一段时间。

         不要等待错误发生,要使用初始检查程序。

总结: 

1,防错性程序设计会隐瞒错误。当进行防错性编码时如果“不可能发生”的情况确实发生了,要使用断言报警。
2,利用不同的算法对程序结果进行确认,当同一问题的不同算法出现不同结果时,触发断言。
3,使用初始检查程序,尽早发现程序中的错误。

最后以作者的一句话结束这篇文章:
 
         测试者的工作并不只是针对你的程序进行测试,查出自己程序中的错误毕竟是你自己的工作。