C语言char数组是否保证以\0（null）终止？

核心结论 #

你的认知存在偏差，这一现象既不是C标准的预期设计，也不存在编译器主动为\0预留空间的逻辑：

• 初始化char b[2] = "hi"这步本身是明确定义的合法操作，但b不会自动获得\0终止符
• 你观察到的局部变量内存布局只是当前编译器的偶然实现，不具备普适性
• 如果你后续将b作为C字符串（要求以\0结尾）使用，会触发未定义行为

具体规则解释 #

• 按照C标准要求：字符串字面量本身确实会自动附带\0终止符，但用它初始化定长字符数组时，仅当数组长度足够容纳所有可见字符+\0时，才会将\0拷贝到数组中。如果数组长度刚好等于可见字符数量，只会拷贝可见字符，不会向数组边界外写入\0。你的代码中b长度为2，刚好容纳h和i两个字符，所以初始化阶段不会有额外的\0写入，不存在需要预留空间的需求。
• C标准从未对栈上局部变量的存储顺序、对齐间隔做强制要求，编译器可以根据优化策略、平台特性任意排列局部变量的位置。你看到的a、c存储在b前方只是当前编译环境下的偶然结果，更换编译器、调整优化等级、甚至新增一个无关变量都可能改变这一布局。

注意事项 #

b本质是一个普通字符数组，不是合法的C字符串。如果你将它传入strlen、strcpy、printf("%s")等要求输入为合法C字符串的标准库函数，这些函数会持续向后遍历内存寻找\0，触发数组越界访问，属于标准明确规定的未定义行为，可能出现乱码、程序崩溃、内存被意外修改等任意异常结果。

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