关于c:c语言中strstr函数的一个注意点

明天说一个之前工作上遇到过的一个问题，也是之前没留神过的一个点。

先看一段代码：

#include <stdio.h>
#include <string.h>

int main()
{char sz1[16] = {0};
    char sz2[10] = {0};
    char sz3[3] = {0};
    strncpy(sz1, "bbAAcc", sizeof(sz1)-1);
    strcpy(sz3, "AA");
    if (strstr(sz1, sz2) != NULL )
    {printf("sz2 is in sz1\n");
    }
    else
    {printf("sz2 is not in sz1\n");
    }
    if (strstr(sz1, sz3) != NULL )
    {printf("sz3 is in sz1\n");
    }
    else
    {printf("sz3 is not in sz1\n");
    }
    
    return 0;
}

大家猜一猜这段代码会输入什么呢？第二个 strstr 答案很明确，然而对于第一个 strstr 的调用，可能会有一点纳闷。

实际上在遇到这个问题之前，我始终很执著的认为，这段代码应该输入如下答案：

sz2 is not in sz1
sz3 is in sz1

那让咱们编译当前执行一下看看：

[root@mylinux ~]# ./a.out
sz2 is in sz1
sz3 is in sz1
[root@mylinux ~]#

输入了与我猜想相同的后果，这时我进一步猜想是否依照 sz2 的 ’\0’ 进行了比拟，但感觉也不太对劲。

上面先看一下 strstr 的原型，如下：

char *strstr(const char *haystack, const char *needle);

它的作用是查找 haystack 中是否蕴含 needle 字符串，如果蕴含，就返回指向第一个匹配 needle 字符串的地位的指针，否则返回空指针，并且阐明了结束符 ’\0’ 是不参加比拟的。

咱们之前的猜想不成立，此时我改一下代码，如下：

#include <stdio.h>
#include <string.h>

int main()
{char sz1[16] = {0};
    char sz2[10] = {0};
    char sz3[3] = {0};
    strncpy(sz1, "bbAAcc", sizeof(sz1)-1);
    strcpy(sz3, "AA");
    char *sz4 = strstr(sz1, sz2);
    if (sz4 != NULL && (sz4 == sz1))
    {printf("sz2 is in sz1 and sz4 == sz1\n");
    }
    else
    {printf("sz2 is not in sz1\n");
    }
    if (strstr(sz1, sz3) != NULL )
    {printf("sz3 is in sz1\n");
    }
    else
    {printf("sz3 is not in sz1\n");
    }
    
    return 0;
}

输入了如下后果：

[root@mylinux ~]# ./a.out
sz2 is in sz1 and sz4 == sz1
sz3 is in sz1
[root@mylinux ~]#

从后果能够看进去，实际上在 needle 参数为空字符串的时候，间接就返回了指向 sz1 字符串的指针。

最初我通过 man strstr 查看 strstr 函数的阐明，它也说的很分明了，对于动静库 libc 的版本，它在 4.6.27 之前的版本

是不容许对空字符串进行比拟的，是在 4.6.27 当前才反对的，并且如果 needle 字符串为空字符串，那么间接返回 haystack。

对于以上问题，在工作中如果代码分支比拟多的时候就要特地留神，不然可能会导致很莫名其妙的问题，另外在面试的时候，如果要求手写 strstr 实现，那这一点也是不能疏忽的。