编程之规范（四）

最新推荐文章于 2024-07-14 18:11:31 发布

原创最新推荐文章于 2024-07-14 18:11:31 发布 · 329 阅读

0 ·

CC 4.0 BY-SA版权

本文探讨了如何通过严谨的逻辑思考和细致的测试用例编写高质量的程序。以内存拷贝函数为例，逐步改进代码并修复潜在bug，最终达到工业级标准。

转自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);

}

如果你身边有电脑，你可以试一下，你会发现输出并不是我们期待的“hhello,world!”（在“hello

world！”前加个h），而是“hhhhhhhhhhhhhh”，这是什么原因呢？原因出在源地址区间和目的地址

区间有重叠的地方，V0.6版的程序无意之中将源地址区间的内容修改了！有些反映快的同学马上会说我

从高地址开始拷贝。粗略地看，似乎能解决这个问题，虽然区间是重叠了，但是在修改以前已经拷贝了

，所以不影响结果。但是仔细一想，这其实是犯了和上面一样的思维不严谨的错误，因为用户这样调用

还是会出错：

 MyMemMove( p, p+1, strlen(p)+1);

所以最完美的解决方案还是判断源地址和目的地址的大小，才决定到底是从高地址开始拷贝还是低地址

开始拷贝，所以V0.7顺利成章地出来了。

程序清单 9 V0.7版程序

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);

}

经过以上7个版本的修改，我们的程序终于可以算是“工业级”了。回头再来看看前面的测试用例，

就会发现那根本就算不上是测试用例，因为它只调用了最正常的一种情况，根本达不到测试的目的。

有了上面的经历，测试用例也就相应地出现了，我们不妨用字符数组来模拟内存。

程序清单 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);

}

初写代码的时候，往往考虑的是程序正常工作的情况该怎么处理。当你有了几年经验，写了几万行代码后就会发现，处理异常部分的分支代码有时比正常的主干线代码还要多，而这也正是高质量程序和一般程序拉开差距的地方。如果把软件产品当作一台机器，那么这样一个个细小的函数和类就是零部件，只有当这些零部件质量都很高时，整个软件产品的质量才会高，不然就会像前几年的国产轿车一样，今天这个零件罢工明天那个零件休息。而作为检验这些零部件的测试用例，一定要模拟各种恶劣的环境，将零部件隐藏的缺陷暴露出来，从这意义上说，编写测试用例的程序员要比软件设计的程序员思维要更严谨才行。