C语言中int a[]={};数组声明的作用及局部/全局表现差异问询

声明本身的性质 #

首先明确：int a[]={};不符合C标准语法。C标准要求数组初始化时，要么显式指定大小，要么通过非空的初始化列表推导大小。不过部分编译器（如GCC）提供了扩展支持，将其视为大小为0的数组，但这属于编译器特定行为，不具备可移植性。

局部变量场景的垃圾值原因 #

当该声明作为局部变量时，数组被分配在栈内存中。栈内存的特点是未初始化时保留随机垃圾数据，而且这里数组大小为0，访问a[268]属于严重的越界访问——本质是读取了栈上超出数组范围的随机内存区域，所以得到垃圾值。

全局变量场景输出0的原因 #

全局变量（包括静态变量）被分配在全局/静态存储区。C标准明确规定，这个区域的未初始化变量会被自动初始化为0。同样，访问a[268]属于越界访问，但此时访问的是全局存储区的其他内存区域，而该区域默认被清零，所以输出0。

重要提醒 #

这种写法属于非标准用法，且数组越界访问是C语言中的未定义行为——不同编译器、不同运行环境下可能产生完全不同的结果，实际开发中绝对不要使用此类代码。

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