C编译器是否总会在数组末尾添加Sentinel值？int数组相关问询

首先明确：C标准没有要求编译器必须给数组末尾添加哨兵值。哨兵值（比如字符串末尾的'\0'）是特定场景（比如字符串处理）的约定，并非数组的固有特性。

针对你给出的两个数组案例，具体说明如下：

1. 完全初始化的int数组 #

int grades[5] = {78, 76, 75, 71, 88};

这个数组明确声明了长度为5，且显式初始化了全部5个元素。编译器会为它分配刚好容纳5个int类型的内存空间，不会在数组末尾额外添加任何哨兵值。数组的内存布局就是连续的这5个整数，没有多余的空间或默认添加的特殊值。

2. 部分初始化的int数组 #

int grades[5] = {78, 76, 75, 0,};

这里数组长度仍为5，初始化列表只提供了4个元素，根据C标准，未显式初始化的第5个元素会被默认设为0。但注意：这个默认的0不是哨兵值，只是未初始化元素的默认初始化规则。编译器同样不会在数组的末尾（第5个元素之后）额外添加哨兵值，数组的内存空间依然只有5个int的大小，不存在额外的哨兵。

补充说明 #

只有在处理字符串时，比如用字符数组存储字符串字面量：

char str[] = "hello";

编译器才会自动在末尾添加'\0'作为字符串结束的哨兵——这是字符串处理的特殊约定，仅适用于字符数组的字符串场景，对普通的int数组或其他类型数组不适用。

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