今天说一个之前工作上遇到过的一个问题,也是之前没注意过的一个点。
先看一段代码:
#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实现,那这一点也是不能忽略的。