C语言—关于字符数组的小认识

作为新手，最近一直在练题。近几天对于一个练习题进行编程的时候遇到了一个问题，困扰了我一个下午。
1.题目是将两个字符串连接。于是我发现了下面这一个程序

#include<studio.h>
int main()
{char a[20]="I am ",b[10]="Chinese";
int i,j;
for(i=0,j=0;b[j]!='\0';i++)
if(a[i]=='\0')
{a[i]=b[j];
j++;}
b[j]='\0';
printf("%s\n",a);
return 0;}

运行结果为

2.你读程序后，有的小伙伴可能会产生困惑。就是只有a[i]==’\0’才会执行if的语句，在此之前和后面都应该不会执行，也就是说if语句只会执行一次，应该只连接一个C才对，条件不满足为什么会执行？为什么全都连接上了呢？

3.其实\0后面的空余空间也全都是\0。我们来举一个例子：我们定义一个字符数组并赋初值c[6]=“China”;这个数组后面会自动加一个\0，刚好长度为6。但现在我们只将这个数组初值赋为c[6]=“Ch”;这样一来，c[1]=‘C’,c[2]=‘h’,c[3]=’\0’，那么剩下的是什么符号呢？是随机的吗？
其实c[3]后面的也就是从c[3]到c[5]全都是\0，就好比这样：定义一个整型数组并赋初值d[6]={0};那么整个数组的所有元素都为0。于是这样就解释了为什么会一直执行if语句，其实它的条件一直都是满足的。

4.因为遇见了这个问题，所以发出来分享一下，给和我一样遇见这样问题的小伙伴提供一个思路🤥🤥让我们共同进步！🤔🤔