C语言中数组大小允许使用变量吗？GCC编译下的相关疑问

首先明确：char数组和int数组都允许用变量指定大小，这是C99引入的变长数组（Variable-Length Array，VLA）特性，不存在谁允许谁不允许的情况，你遇到的差异是由字符串终止规则、编译器非标准扩展等原因导致的，下面逐个分析你的案例：

1. 固定大小char数组输出正常的原因 #

你运行的第一段代码：

char string[6];
string[0] = 'h';
printf("%s", string);

输出h只是巧合——栈上未初始化的数组内存是随机值，刚好string[1]到string[5]中第一个字节是字符串终止符'\0'，所以printf("%s")打印到h就停止了。如果栈上这个位置的随机值里没有'\0'，同样会输出乱码，这和数组是不是固定大小无关。

2. 变长char数组输出乱码的原因 #

第二段代码：

int x = 1;
char string[5 + x];
string[0] = 'h';
printf("%s", string);

输出乱码是因为字符串必须以'\0'结尾，而你只设置了第一个元素为'h'，后面的数组元素都是栈上的随机值，printf("%s")会一直读取内存直到遇到'\0'，所以会打印h后跟随乱码。这和数组是变长还是固定大小无关，只是这次栈上的随机值里没有刚好在有效数组范围内的'\0'。

3. 变长数组初始化报错的原因 #

当你尝试写char string[5 + x] = {}时，编译器报错variable-sized object may not be initialized，这是C标准的明确规定：变长数组（VLA）不允许使用初始化器（包括{}这种空初始化）。

而你提到int array[5 + x] = {};能在GCC下运行，这是GCC的非标准扩展特性，不是C标准允许的行为。GCC为了方便，允许对变长数组用{}做零初始化，但这不符合C标准，换用其他编译器（如Clang）可能同样会报错，不要依赖这个特性。

4. int数组的表现差异 #

• 未初始化的int array[5 + x];数组元素是栈上的随机值，如果你打印这些元素，会看到随机整数，只是int数组不需要像字符串那样依赖终止符来确定输出范围，所以你可能没觉得是“乱码”，但本质和未初始化的char数组一样，都是随机内存值。
• 而int array[5 + x] = {};在GCC下能运行，只是编译器帮你把所有元素置0了，这是扩展行为，不是标准C的要求。

总结 #

• 变长数组（VLA）是C99标准特性，char和int数组都支持用变量指定大小；
• 字符串必须以'\0'结尾，否则printf("%s")会越界读取内存导致乱码，这和数组类型、是否变长无关；
• 标准C禁止对变长数组使用初始化器，GCC对int数组的初始化是非标准扩展，不具备可移植性；
• 未初始化的栈数组（无论固定大小还是变长）内容都是随机值，只是表现形式不同。

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