strcmp函数的分析及实现

函数原型： int strcmp(const char *string1,const char *string2)

所在库文件： #include<string.h>

参数： 以null结尾的字符串 const修饰防止字符串被修改，进行保护。

返回值：

上图在MSDN文档中截取，返回值表明了字符串1和字符串2的字典序关系。
什么是字典序关系呢？

度娘的回答是

在数学中，字典或词典顺序（也称为词汇顺序，字典顺序，字母顺序或词典顺序）是基于字母顺序排列的单词按字母顺序排列的方法。 这种泛化主要在于定义有序完全有序集合（通常称为字母表）的元素的序列（通常称为计算机科学中的单词）的总顺序。

其实讲了这么多，我们只需要明白，这里的字典序是一种按顺序排列的法则，但它排列的根据是什么呢？其根据是ascii码表。

这时就应该联想到在计算机科学中ASCII码表，strcmp函数的返回值是两个字符串的字典序关系，其实也就是在ascii表中的先后排列关系。
所以strcmp函数真正比较的是字符串中每个字符的ascii码值大小。

在上图中，请一定注意。返回值的三种情况分别为 0 >0 <0。并没说其返回值为 0 -1 1，所以我们在使用的时候千万不能将返回值与-1或1进行比较的。如果进行了比较，很有可能给程序带来许多潜藏的bug，难以发现。

ASCII表

函数功能描述
当s1 < s2时，返回负值。
当s1 > s2时，返回正值。
当s1 == s2，返回0。
两个字符串的每个字符从左到右依此按照对应的ascii码值大小进行比较，若两字符对应的ascii码值相等，继续比较直到出现不同的字符或者遇到串尾标志符'\0'为止。

下面实现strcmp函数：

#include<stdio.h>
#include<assert.h>

int my_strcmp(const char *string1,const char *string2)
{
    assert(NULL != string1);
    assert(NULL != string2);//防御性编程
    const char *p = string1;
    const char *q = string2;
    while(*p == *q)
    {
        if(*p == '\0')//此时*p == *q == '\0'即两字符串完全相同
        {
            return 0;
        }
        p++;
        q++;
    }
    //跳出while循环，即此时的*p与*q不相同
    //按照返回值       *string1 > *string2      返回值大于0
    //               *string1 < *string2      返回值小于0
    //ascii码值共有256个  无符号字符型指针进行解引用 0 - 2^8-1 共256
    return *(unsigned char*)p - *(unsigned char*)q; 
}

测试用例：
char *p1 = “ABCDE”;
char *p2 = “ABCDE”;

char *p1 = “ABCDE”;
char *p2 = “ABCD”;

char *p1 = “ABCD”;
char *p2 = “ABCDE”;

char *p = “hhha”;
char *q = “hhhh”;

char string1[] = “The quick brown dog jumps over the lazy fox”;
char string2[] = “The QUICK brown dog jumps over the lazy fox”;

更多的测试用例大家可以进行规定，观察结果与预期的结果是否相同。