将char数组首元素设为'\0'后使用是否安全？是否存在UB？

你给出的代码里有个致命的语法问题：char exmapleString[32]; char exmapleString[0] = '\0'; 这行是重复定义同一个变量，编译器会直接报错，根本无法通过编译。你实际测试能运行的代码，应该是笔误写成了 exmapleString[0] = '\0';（去掉了前面的char）——我们下面就基于这个修正后的写法来分析。

如果是 char exmapleString[32]; exmapleString[0] = '\0'; 这种写法：

• 对于strcpy、strcat这类标准C字符串函数来说，是安全的，不会触发未定义行为。因为这类函数的工作逻辑是从数组起始位置开始，找到第一个'\0'作为字符串的结尾：

  • 当你把首元素设为'\0'后，这个数组就被视为一个空字符串。调用strcat(exmapleString, "test")时，函数会直接在索引0的位置后面写入"test"和末尾的'\0'，总共占用5个字节，远小于数组的32字节容量，不会出现内存越界。
  • 你测试里的第一个例子能正常工作，正是因为这个原因。

• 但要注意：数组中除了索引0的位置，剩下的31个元素仍然是未初始化的垃圾值。不过只要你后续的操作都遵循C字符串的规则（只处理到第一个'\0'为止），这些垃圾值就不会被访问到，也就不会影响程序的正常行为。

你第二个测试代码char exmapleString[32]; strcat(exmapleString, "test");会输出垃圾数据，本质是触发了未定义行为：

• 未初始化的局部数组里是随机的垃圾值，strcat会从数组开头一直寻找'\0'，可能在数组内部的某个位置找到，也可能越界访问数组外的内存（这是严重的UB）。
• 所以这个操作的结果完全不可预测：有时候会输出垃圾，有时候可能直接崩溃，甚至在不同编译器/平台下表现完全不一样。

修正后的写法（给首元素设'\0'）在使用标准C字符串函数时是安全的，但如果后续有操作不遵循C字符串规则（比如直接遍历整个数组、用memcpy复制全部32字节等），还是会读到垃圾值。

不过更严谨、更简洁的写法是直接用char exmapleString[32] = {0};——这种写法会把整个数组的所有元素都初始化为0，从根源上避免了任何潜在的垃圾值问题，可读性也更好。

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