转自http://blog.sina.com.cn/s/blog_5e8facd20100eorv.html
工业级程序要出现了,顶住看下去。
到目前为止,在语言层面上,我们的程序基本上没有什么问题了,那么是否真的就没有问题了呢?
这就要求程序员从逻辑上考虑了,这也是优秀程序员必须具备的素质,那就是思维的严谨性,否则
程序就会有非常隐藏的bug,就这个例子来说,如果用户用下面的代码来调用你的程序。
程序清单 8
void Test()
{
char p [256]= "hello,world!";
MyMemMove(p+1,p,strlen(p)+1);
printf("%s\n",p);
}
world!”前加个h),而是“hhhhhhhhhhhhhh”,这是什么原因呢?原因出在源地址区间和目的地址
区间有重叠的地方,V0.6版的程序无意之中将源地址区间的内容修改了!有些反映快的同学马上会说我
从高地址开始拷贝。粗略地看,似乎能解决这个问题,虽然区间是重叠了,但是在修改以前已经拷贝了
,所以不影响结果。但是仔细一想,这其实是犯了和上面一样的思维不严谨的错误,因为用户这样调用
还是会出错:
MyMemMove( p, p+1, strlen(p)+1);
开始拷贝,所以V0.7顺利成章地出来了。
程序清单 9
void * MyMemMove(void *dst,const void *src,int count)
{
void * ret = dst;
assert(dst);
assert(src);
if (dst <= src || (char *)dst >= ((char *)src + count)) {
while (count--) {
*(char *)dst = *(char *)src;
dst = (char *)dst + 1;
src = (char *)src + 1;
}
}
else {
dst = (char *)dst + count - 1;
src = (char *)src + count - 1;
while (count--) {
*(char *)dst = *(char *)src;
dst = (char *)dst - 1;
src = (char *)src - 1;
}
}
return(ret);
}
就会发现那根本就算不上是测试用例,因为它只调用了最正常的一种情况,根本达不到测试的目的。
有了上面的经历,测试用例也就相应地出现了,我们不妨用字符数组来模拟内存。
程序清单 10
void Test()
{
char p1[256] = "hello,world!";
char p2[256] = {0};
MyMemMove(p2,p1,strlen(p1)+1);
printf("%s\n",p2);
MyMemMove(NULL,p1,strlen(p1)+1);
MyMemMove(p2,NULL,strlen(p1)+1);
MyMemMove(p1+1,p1,strlen(p1)+1);
printf("%s\n",p1);
MyMemMove(p1,p1+1,strlen(p1)+1);
printf("%s\n",p1);
}