在 C 中打印字符串和空字符的概念

Question

在阅读有关打印字符串的信息时，我看到了一条语句 "printf 一个接一个地写入字符，直到遇到一个空字符。如果空字符丢失，printf 继续超过字符串直到最终在内存中找到一个空字符”。 所以我写了一些代码：

案例 1：

char arr[4] = { 'a', 'b', 'c' } ;

if (arr[3]== '\0')

printf ("%s",arr);

输出为abc。

这是否意味着编译器已自动将'\0' 存储在arr[3]。因为按照说法，printf只有遇到'\0'才会终止。

案例 2：

char arr[3] = { 'a', 'b', 'c' } ;

if (arr[3]== '\0')

printf ("%s",arr);

虽然不存在数组块arr[3]，但输出还是abc，那为什么不是错误呢？ printf 也打印了abc 并停止了，这意味着它一定遇到了'\0'。那么这是否意味着编译器在arr[2] 之后创建一个额外的数组块来存储'\0'。如果是这样，那么数组大小必须增加到4 个字节（每个char 类型字符1 个字节）。但是执行语句printf ("%d",sizeof (arr));给了我输出3，表明数组大小没有增加，表明没有arr[3]。那么if (arr[3]== '\0')这个条件是怎么成真的呢？

案例 3：

char arr[3] = "abc";

if (arr[3]== '\0')

printf ("%s",arr);

现在它给了我一个错误，说 “数组索引 3 超出了结尾（包含 3 个元素）”。 那么为什么这与 case 2不一样>。这是否意味着声明：

char arr[3] = "abc"; 和

char arr[3] = { 'a', 'b', 'c' } ; 不同。

Answer 1

如果数组的大小大于您显式初始化的元素数量，则其余元素将被初始化为零。

所以你可以有例如

char arr[50] = { 'a' };

第一个元素 (arr[0]) 将被初始化为包含 'a'，其余 49 个元素将全部为零。

另请注意，当您定义一个包含三个元素的数组（如问题中的后两个示例中）然后使用 arr[3]== '\0' 时，您的索引超出范围并拥有 undefined behavior。

此外，不在数组中的内存内容是不确定的。你不能指望它有任何价值。

最后，

char arr[3] = "abc";

和

char arr[3] = { 'a', 'b', 'c' };

实际上是一样的，都创建了一个包含三个元素的数组，内容为'a'、'b'和'c'。