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

int link(char str1[40],char str2[40],char str3[80])
{
    int i,n=0,k;
    for (i=0;i<strlen(str1);i++)
    {
        str3[i]=str1[i];
        n++;
    }
    k=i;
    for (i=0;i<strlen(str2);i++)
    {
        str3[k+i]=str2[i];
        n++;
    }
    str3[i]='\0';//这段代码我知道是可有可无，但是有了的话好处是什么。谢谢
    return n;
}
void main(void)
{
    char str1[40],str2[40],str3[80];
    int n;
    printf("请输入字符串1\n");
    gets(str1);
    printf("请输入字符串2\n");
    gets(str2);
    n=link(str1,str2,str3);
    printf("字符个数为%d\n",n);

}

是 str3 = str1 + str2 的话，
str3[i]='\0'; 就改为 str3[k+i]='\0';
这句代码是不可无，'\0'是str3的结束标志。

你的这个代码里面，那是真的可有可无。（你用str[i]='\0'也是不对的，应该改成str[k+i]='\0'）
如果是输出str[3]那就看情况了。
‘\0’作为判断字符串结束的标记，以字符串输出时如果编译器找不到结束的标记，就会产生乱码。
如果知道字符串有几个字符组成，以单个字符输出到是可以不用加‘\0’。
就像你写的代码，因为知道有n个，所以只要输出n个字符，此时加不加‘\0’对输出没有影响。

#include <stdio.h>

int link( const char* str1, const char* str2, char str3[] )
{
    char* p = str3;
    for( ; *str1; *p++=*str1++ );
    for( ; *p++=*str2++; );
    return p-str3-1;
}

'\0'是字符串结束的标志，你输入的字符不够多，所以感觉可有可无，你str1[]里面有40个字符str1[0]-str1[39]，那么你要在字符串最后有一个位置给'\0'作为字符串结束的标志，如果输入39个字符，那么str[39]这个位置就会用来存放'\0'，如果40个都是字符甚至更多，会有越界的报错。

谢谢！