C语言中动态方括号数组初始化的工作原理是什么？

哈哈，我太懂这种意外的感觉了！当初我第一次接触到C语言里的变长数组（Variable-Length Arrays，VLAs）时，也跟你一样，没想到还能这么玩——毕竟之前学的都是固定大小的数组，要么就得用malloc手动分配堆内存。

咱们来拆解下这段代码为啥能正常工作：

• 它是合法的C语言语法：这段代码用的是C99标准引入的变长数组特性。在C99之前（比如C89），数组的大小必须是编译期就能确定的常量，但C99允许用运行时才能确定的变量来定义数组的大小，只要这个变量在数组定义时已经被初始化就行。现在主流的编译器（比如GCC、Clang）默认都支持C99或者兼容这个特性，所以能顺利编译通过。
• 栈空间足够，没触发溢出：变长数组是在栈（stack）上分配内存的，你的count取值范围是2到1025，每个int占4字节的话，最大的数组也就4*1025=4100字节，也就是不到4KB。而操作系统给进程分配的栈空间通常有几MB（比如Linux默认是8MB），这点大小完全在栈的承受范围内，所以不会出现栈溢出导致的段错误。要是你把count改成rand()%1000000+2，那大概率会直接崩掉。
• 和malloc的区别要搞清楚：VLAs是栈分配，不需要手动调用free释放内存，函数执行完退出时会自动回收；但栈空间有限，没法用来分配超大的数组。如果需要大内存，还是得用malloc之类的堆分配函数。

另外补充一句：不是所有编译器都支持VLAs，比如微软的MSVC对这个特性的支持就比较有限，如果你用MSVC编译这段代码，可能会报错。

你的代码示例：

#include <stdio.h>
#include <stdlib.h>
int main(void) {
    int count = rand() % 1024 + 2;
    int arr[count];
    arr[count-1] = 3;
    for(int i = 0; i < count; ++i) {
        arr[i] = i * 3;
    }
    printf("%d %d %d", count - 1, arr[0], arr[count-1]);
    return 0;
}

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