C语言使用函数参数作为数组大小的代码编译运行原理咨询

你示例中用到的「用变量作为数组大小声明的数组」是C99标准正式引入的变长数组（Variable Length Array，简称VLA），目前GCC、Clang等主流C编译器默认支持该特性，gdb online环境默认使用GCC编译，因此代码可以正常编译运行。

编译器的核心处理逻辑 #

和大小为编译期常量的普通固定长度数组不同，VLA的处理全流程包含运行时操作，编译器的处理逻辑如下：

• 运行时计算数组长度：VLA的长度不会在编译阶段确定，编译器会生成对应指令，在进入声明VLA的代码块时，先计算得到当前的长度值。你示例代码中对入参size做了自增操作，最终运行时计算得到的数组长度为11。
• 栈上动态预留空间：编译器会调整当前函数栈帧的栈指针，按照「运行时得到的长度 × 数组元素字节数」的总大小，在栈上预留连续的内存空间给VLA使用。你示例中是char类型数组，所以总共预留11字节的栈空间。
• 元信息存储：编译器会额外记录VLA的起始地址和运行时计算得到的长度，用来支持sizeof等操作。注意VLA的sizeof是运行时求值，而普通固定长度数组的sizeof在编译阶段就可以得到结果。
• 自动空间回收：VLA的生命周期和所在代码块绑定，当代码块执行结束、栈帧销毁时，栈指针会自动复位，VLA占用的栈空间会被自动回收，不需要开发者手动释放。

注意事项 #

• VLA分配在栈空间，常规程序的栈空间通常只有几MB到几十MB，不要传入过大的长度参数，否则会触发栈溢出错误。
• 该特性是C语言专属特性，C标准从未正式支持VLA，仅部分编译器做了扩展支持，不建议在C代码中使用。
• MSVC编译器默认不支持VLA，该示例代码在默认配置的MSVC环境下编译会报错，如需运行要手动开启C99兼容选项。

示例代码 #

void foo(int size) 
{
    size++;
    char arr[size];
    
    for (int i = 0; i < size; i++) {
        arr[i] = i;
        printf("arr[%d] = %d\r\n", i, arr[i]);
    }
    
}

int main()
{
    printf("Hello World\r\n");
    
    foo(10);

    return 0;
}

运行结果 #

Hello World
arr[0] = 0
arr[1] = 1
arr[2] = 2
arr[3] = 3
arr[4] = 4
arr[5] = 5
arr[6] = 6
arr[7] = 7
arr[8] = 8
arr[9] = 9
arr[10] = 10


...Program finished with exit code 0
Press ENTER to exit console.

内容的提问来源于stack exchange，提问作者Felipe Moura Oliveira