数组长度不是不能修改的吗，为什么我在末尾再加两个字符(\0已

C语言没\0也可以输出的，然后这个puts是获取一行字符串么，要是应该是先\n，还有你这个s[6]越界了，

我的是乱码string11>|������*}�U
*** stack smashing detected ***: <unknown> terminated
Aborted (core dumped)

编译器gcc

这样搞很危险吧，万一旁边没给你分配的是操作系统的内存，你一写那不完蛋。开玩笑的，操作系统内存应该是只读的，搞不好读权限都没有。你可以多搞几组使一下，那片地址的后面搞不好恰好就是-1。

根据我多次实验，每次多输出的乱码都不会太长，也就是说0值在内存中普遍存在，所以瞎猫碰上死耗子的几率还是有的。这应该是内存的自动保护机制。

刚刚好

计算机分了6个字节给你，下标0到5，正常情况下，下标5里内容是\0。但是下标6的位置也是内存，只是没有分配给你。编译器是默认你不会改6的位置的，而且并没有采取防止你改它的措施，要靠你自觉。同时，puts这个函数可没有闲工夫去管你6号位置有没有分配给你，读了5号，发现了d，就打印出来了，然后读6号，发现了e，也打印出来了。再然后读7号，很可能7号位置本来就放着一个\0，你的程序没有改它，于是就还是\0。puts发现了\0，就停止输出了。
但是数组越界是很危险的事，所以不要这么干。

像puts这样的函数，结束打印的标准是读到\0，它并不知道这个数组都经历了什么。

数组已经越界了，原因是C不进行这种检查。有些其他语言会检查，有的编译时检查，也可能是运行时检查

这样结果是不确定的，取决于具体实现。
至于lz为什么测试都正常，可能是你的程序太简单。
还有一种可能是，操作系统按照字长64位8个字节来分配存储，你定义的数组“china”只有6个字节，然而实际为了优化速度可能给你分配了8个字节，所以越界2个还没问题。
试试多写点。比如紧接着在下面定义另一个数组，再越界访问试试。

运气，c语言越界本来就是允许的，这叫相信程序员