关于检错、断言和容错性

  看下面一段代码

int strlen (const char *str) { int ret = 0; while (0 != str[ret]) { ++ret; } return ret; }

    首先，没有考虑 str==NULL 的情况，不能在调试的时候检测并定位错误。改为

int strlen (const char *str) { assert(NULL != str); int ret = 0; while (0 != str[ret]) { ++ret; } return ret; }

    但是，在大型的项目中，程序员A调试时一旦出现一个ASSERT，而且这个ASSERT不是程序员B写的，A一般是不会有心思去管的，通常会“忽略”该ASSERT，希望程序继续执行以便调试自己写的部分的代码。但是对于NULL进行解应用导致的错误却不能让他“得逞”。

    另外，大型程序中残留下不严重的非A类bug是必然的，当转到release版本时，上面代码的断言没有任何作用，而一旦出现错误，对于NULL指针的解应用则会导致程序崩溃。

    故，程序应该改为如下：

int strlen (const char *str) { assert(NULL != str); if (NULL == str) { return 0; } int ret = 0; while (0 != str[ret]) { ++ret; } return ret; }  

    综上,通过使用断言来检错和定位错误(这只在debug版本有效)， 另外，使用额外的代码来增加代码的容错性，这是必须的。

    此外，“检错”面向的是程序员，“容错”面向的是软件用户。所以，上面看似重复的逻辑都是不可少的！