第 章 自己设计并使用断言
利用编译程序自动查错固然好,但我敢说只要你观察一下项目中那些比较明显的错误,
就会发现编译程序所查出的只是其中的一小部分。我还敢说,如果排除掉了程序中的所有
错误那么在大部分时间内程序都会正确工作。
还记得第 章中的下面代码吗?
该语句在多数情况下都会工作得很好,除非 的调用产生失败。当 失败
时,就会给 返回一个 指针。由于 处理不了 指针,所以出
现了错误。如果你很走运,在交付之前这个错误导致程序的瘫痪,从而暴露出来。但是如
果你不走运,没有及时地发现这个错误,那某位顾客就一定会“走运”了。
编译程序查不出这种或其他类似的错误。同样,编译程序也查不出算法的错误,无法
验证程序员所作的假定。或者更一般地,编译程序也查不出所传递的参数是否有效。
寻找这种错误非常艰苦,只有技术非常高的程序员或者测试者才能将它们根除并且不
会引起其他的问题。
然而假如你知道应该怎样去做的话,自动寻找这种错误就变得很容易了。
两个版本的故事
让我们直接进入 ,看看怎样才能查出上面的错误。最初的解决办法是使
对 指针进行检查,如果指针为 ,就给出一条错误信息,并中止
的执行。下面是这种解法对应的程序。
拷贝不重叠的内存块
! "#$#
%
&!&!
&"&"
'!(("
%
'' )* +,
&
-
.#//01
&!22&"22
3!