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

先看一段代码:

#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 sz1sz3 is in sz1

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

[root@mylinux ~]# ./a.outsz2 is in sz1sz3 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.outsz2 is in sz1 and sz4 == sz1sz3 is in sz1[root@mylinux ~]#

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

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

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

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