C语言中\0字符是否为0x00字节？为何含0的int数组不会被提前截断？

据我了解，C语言中数组的末尾在内存中是通过\0字符标记的。但它究竟是什么？如果我有一个字符串“ABC”，它的char数组对应的内存区域是不是如下所示：0x41 0x42 0x43 0x00？如果确实如此，那是不是意味着int[]数组不能包含0，否则会被标记为提前结束？例如[1, 2, 0, 3, 4]以字节形式存储为0x01 0x02 0x00 0x03 0x04，那程序遇到0x00时会不会认为“哦，这是个长度为2字节的数组，到这里就结束了”？

核心澄清 #

只有C风格的char类型字符串有\0结尾的约定，这不是C语言数组的通用规则。

• 首先你对字符串存储的理解是正确的：C语言中双引号包裹的字符串字面量，默认会自动在末尾追加一个ASCII码为0x00的空字符（也就是\0），所以字符串"ABC"对应的char数组内存排布确实是0x41 0x42 0x43 0x00。这个约定只是为了方便strlen、strcpy、printf("%s")这类专门处理字符串的标准库函数判断内容结束，和普通数组的长度逻辑没有任何关系。
• 关于int数组的担心完全多余：
  1. 普通数组的长度是程序/编译器明确知晓的：如果你定义了int arr[5]，数组长度就是固定的5，也可以通过sizeof(arr) / sizeof(arr[0])在编译期计算得到准确长度，完全不需要依赖某个特殊值来标记结束。
  2. 你对int数组的存储理解有误：主流环境下int类型占4个字节，你举的例子[1, 2, 0, 3, 4]存储后不会是单字节依次排列的0x01 0x02 0x00 0x03 0x04，而是每个int独立占4字节，哪怕其中某个int的取值是0，也只是这个元素本身的值，和数组长度没有任何关系。
• 补充边界情况帮你理解：哪怕是char数组，\0也只有在你调用专门的字符串处理函数时才会被当成结束标记。比如你定义char buf[5] = {'a', 'b', '\0', 'c', 'd'};，调用strlen(buf)得到的结果是2（因为strlen按\0判断字符串结束），但数组本身的长度还是5，你手动遍历数组下标0到4，完全可以正常读取到后面的'c'和'd'，不存在数组被提前截断的情况。

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