C语言字符数组初始化疑问：无空终止符的字符数组打印行为探究

哈哈，我最近在琢磨C语言里字符串和字符数组的关系，碰到个挺有意思的情况：我写了这么一行代码：

char a[5]="hello";

按说这个字符数组a的大小是5，"hello"这5个字符刚好占满了索引0到4的位置，连字符串必须的空终止符'\0'都没地方存。我本来以为用printf("%s", a);打印的时候，程序会一直读取内存直到碰到'\0'，搞不好还会触发段错误，但在我自己的系统上运行时，它居然每次都稳稳输出"hello"，这可把我搞懵了。

其实这背后是C语言里的未定义行为在搞鬼，给你掰扯清楚：

• 首先，C标准里根本没规定这种“数组大小刚好等于字符串长度、没留终止符”的情况必须出问题，所以不同编译器、不同操作系统甚至不同的运行时机，结果都可能不一样。
• 你的系统里刚好在数组a后面的内存位置碰巧有个'\0'，printf读到这儿就自动停了，刚好输出完整的"hello"——但这完全是运气，换个环境说不定就会输出一堆乱码，甚至直接崩溃。
• 还有可能是编译器做了隐性优化：有些编译器在栈上分配局部变量的时候，会自动在变量后面补一些填充字节，刚好其中就有'\0'，相当于帮你“补”上了终止符，但这不是C标准要求的，绝对不能依赖这种巧合。

最后给个实打实的建议：写C语言定义字符串数组的时候，要么直接写成char a[]="hello";让编译器自动计算大小（这样数组大小会是6，刚好包含'\0'），要么手动声明成char a[6]="hello";，千万别省这一个字节的空间，不然哪天换个环境踩坑都不知道为啥。

内容的提问来源于stack exchange，提问作者keerthana