用%s方法输入超过字符数组大小的字符串

在数组a中本来最多只能存有效字符为3个的字符串。但是当我输入hello时仍然可以正常输出。

#include <stdio.h>
#include <stdlib.h>
int main()
{
    char a[4];
    scanf("%s",a);
    printf("%s\n",a);
    return 0;
}

这可能是因为scanf("%s",a)只管把敲回车或者得到空格之前的所有字符依次存到地址a中，而printf("%s\n",a)又只管把a开始’\0’结尾的字符序列以字符串形式输出。所以不会受到一开始决定的数组大小的影响。

想象中，此时计算机里等价地存着a[0]~a[5]分别是’h’ ‘e’ ‘l’ ‘l’ ‘o’ ‘\0’
因此如果设置a[4]=‘e’（注意原来字符数组中没有a[4]这个元素），输出的将会是helle

#include <stdio.h>
#include <stdlib.h>
int main()
{
    char a[4];
    scanf("%s",a);
    printf("%s\n",a);
    a[4]='e';
    printf("%s\n",a);
    return 0;
}

那如果把a[5]修改掉，字符串结束符就没有了，会发生什么呢？

#include <stdio.h>
#include <stdlib.h>
int main()
{
    char a[4];
    scanf("%s",a);
    printf("%s\n",a);
    a[5]='e';
    printf("%s\n",a);
    return 0;
}

并没有发生无穷无尽的输出，而是很淡定地在a[5]处添加了一个e（或许编译器在后面补了一个’\0’?真是令人困惑啊。）

---

在字符串库函数strcpy中有类似的发现

#include <stdio.h>
#include <stdlib.h>
int main()
{
    char a[]="hello";char b[]="boy";
    strcpy(a,b);
    printf("%s",a);
    return 0;
}

如果a有初始值，不管b是比a长还是短，都会覆盖。这是因为在把字符串b移入a的时候，把boy后面跟的’\0’也带了进来。所以是a的h、e、l、l、o、\0的前四个被b、o、y、\0替换，a变成了b、o、y、\0、o、\0
所以只要我们把a[3]换掉，就可以出现a[4]的o

#include <stdio.h>
#include <stdlib.h>
int main()
{
    char a[]="hello";char b[]="boy";
    strcpy(a,b);
    a[3]=v;
    printf("%s",a);
    return 0;
}