C语言可变长数组声明顺序引发运行异常的原因咨询

你遇到的问题核心是C语言变长数组（VLA）的长度计算时机导致的未定义行为，具体分析如下：

1. 变长数组的基本特性 #

C99及更高版本C标准支持的变长数组（Variable Length Array），其数组长度是在代码运行到数组声明语句的那一刻就完成计算并固定的，后续修改长度相关的变量不会反过来改变已经声明的变长数组的长度。

2. 原代码的错误逻辑 #

你给出的初始代码中：

int size_of_arr;
int int_arr[size_of_arr];//Line 1
fscanf(stdin, "%d", &size_of_arr);// Line 2

• 局部变量size_of_arr声明后没有初始化，存储的是栈内存上的随机垃圾值
• Line 1执行时，会直接用这个随机垃圾值作为长度声明变长数组int_arr，此时数组长度已经固定，不会后续变化
• 这个随机垃圾值大概率是非常大的正数、或者负数：
  • 如果是负数：不符合数组长度要求，直接触发未定义行为，程序提前终止
  • 如果是极大的正数：栈上分配超大长度的数组会直接触发栈溢出，程序在执行到Line 2的输入语句之前就已经崩溃退出，自然不会等待输入

3. 交换代码后正常运行的原因 #

交换Line1和Line2之后，执行逻辑变为：

int size_of_arr;
fscanf(stdin, "%d", &size_of_arr);// 先读入合法的长度值
int int_arr[size_of_arr];// 再用合法值声明变长数组

此时声明变长数组时，size_of_arr已经是你输入的合法正整数，数组长度合理，后续读写操作都在合法范围内，程序可以正常运行。

额外建议 #

• 变长数组是C99引入、C11及以后变为可选支持的特性，C++标准完全不支持，跨平台/跨语言场景下兼容性较差
• 变长数组在栈上分配内存，大小受限于栈空间上限（通常只有几MB），如果数组长度较大容易触发栈溢出
• 更推荐使用malloc/free在堆上申请动态长度的内存，兼容性更好、错误更容易排查，也不受栈空间大小限制。

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