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

今天说一个之前工作上遇到过的一个问题，也是之前没注意过的一个点。

先看一段代码：

1#include <stdio.h>
2#include <string.h>
3
4int main()
5{
6	char sz1[16] = {0};
7	char sz2[10] = {0};
8	char sz3[3] = {0};
9	strncpy(sz1, "bbAAcc", sizeof(sz1)-1);
10	strcpy(sz3, "AA");
11	if ( strstr(sz1, sz2) != NULL )
12	{
13		printf("sz2 is in sz1\n");
14	}
15    else
16    {
17        printf("sz2 is not in sz1\n");
18    }
19	if ( strstr(sz1, sz3) != NULL )
20	{
21		printf("sz3 is in sz1\n");
22	}
23    else
24    {
25        printf("sz3 is not in sz1\n");
26    }
27	
28	return 0;
29}

大家猜一猜这段代码会输出什么呢？第二个strstr答案很明确，但是对于第一个strstr的调用，可能会有一点疑惑。

实际上在遇到这个问题之前，我一直很固执的认为，这段代码应该输出如下答案：

1sz2 is not in sz1
2sz3 is in sz1

那让我们编译以后执行一下看看：

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

输出了与我猜测相反的结果，这时我进一步猜测是否按照sz2的'\0'进行了比较，但感觉也不太对劲。

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

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

它的作用是查找haystack中是否包含needle字符串，如果包含，就返回指向第一个匹配needle字符串的位置的指针，否则返回空指针，并且说明了结束符'\0'是不参与比较的。

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

1#include <stdio.h>
2#include <string.h>
3
4int main()
5{
6	char sz1[16] = {0};
7	char sz2[10] = {0};
8	char sz3[3] = {0};
9	strncpy(sz1, "bbAAcc", sizeof(sz1)-1);
10	strcpy(sz3, "AA");
11	char *sz4 = strstr(sz1, sz2);
12	if ( sz4 != NULL && (sz4 == sz1))
13	{
14		printf("sz2 is in sz1 and sz4 == sz1\n");
15	}
16    else
17    {
18        printf("sz2 is not in sz1\n");
19    }
20	if ( strstr(sz1, sz3) != NULL )
21	{
22		printf("sz3 is in sz1\n");
23	}
24    else
25    {
26        printf("sz3 is not in sz1\n");
27    }
28	
29	return 0;
30}

输出了如下结果：

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

从结果可以看出来，实际上在needle参数为空字符串的时候，直接就返回了指向sz1字符串的指针。

最后我通过man strstr查看strstr函数的说明，它也说的很清楚了，对于动态库libc的版本，它在4.6.27之前的版本

是不允许对空字符串进行比较的，是在4.6.27以后才支持的，并且如果needle字符串为空字符串，那么直接返回haystack。

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