数组与指针的演进：变长数组的兴衰、数组静态下标

数组和指针，这两个C语言里的老伙计，几十年来一直在变。说实话，我刚开始学C的时候，用的还是C89标准，那时候数组长度必须是编译期常量，想动态分配？老老实实用malloc吧。后来C99引入了变长数组（VLA），当时我觉得这玩意儿真方便。再后来C11把它降级为可选特性，到了C23又进一步限制……嗯，这中间的故事还挺有意思的。

一、变长数组（VLA）的兴衰史

变长数组，说白了就是允许你在运行时才确定数组的大小。比如：

void process(int n) {
    int arr[n];  // n在运行时才确定
    for (int i = 0; i < n; i++) {
        arr[i] = i * i;
    }
}

这在C89里是绝对不允许的。C99刚推出VLA时，我还在读大学，记得当时老师特别兴奋地说：“以后不用再为小数组写malloc了！”确实，对于栈上分配的临时数组，VLA比malloc方便太多——不用手动free，作用域结束自动释放。

但是，VLA有个致命问题——栈溢出。我在项目中遇到过一位同事，写了个递归函数里面用了VLA，结果递归深度一上来，栈直接爆了。调试了半天才发现是VLA惹的祸。你想想看，如果用户输入一个很大的n，比如1000000，那int arr[1000000]就是4MB的栈空间，大多数系统的栈默认也就8MB左右，很容易就崩了。

到了C11标准，委员会把VLA降级为可选特性。这意味着编译器可以不支持VLA。为什么？因为很多嵌入式编译器压根不实现它，而且C++也不支持VLA（C++有std::vector）。到了C23，VLA更是被进一步限制——数组长度必须是正整数，不能是0或负数。

二、数组静态下标（static）

这个特性可能很多C程序员都没用过。C99引入了一个很有意思的语法：在函数参数声明中，可以在数组的方括号里加上static关键字。比如：

void sum(int arr[static 10], int n) {
    // 编译器可以假设arr至少指向10个元素
    for (int i = 0; i < n && i < 10; i++) {
        // ...
    }
}

这里的static 10是什么意思？它告诉编译器：传入的指针arr必须至少能访问10个元素。这不是运行时检查，而是给编译器的优化提示。说白了，就是程序员向编译器承诺：“你放心，我传进来的数组至少有10个元素，你尽管优化。”

我个人习惯在写接口函数时用这个特性。比如写一个矩阵运算库，我可以明确告诉调用者：这个参数至少需要多少空间。虽然编译器不一定真的用它做优化，但至少文档意图更清晰了。

三、数组参数的本质：指针的伪装

这里我要强调一个很多新手容易搞混的点：数组作为函数参数时，其实传递的是指针。C语言里没有真正的“数组传参”，你写的int arr[]在编译器眼里就是int *arr。

看这个例子：

void func(int arr[10]) {
    printf("sizeof(arr) = %zu\n", sizeof(arr));  // 输出8（64位系统），不是40
}

int main() {
    int data[10];
    printf("sizeof(data) = %zu\n", sizeof(data));  // 输出40
    func(data);
    return 0;
}

为什么会这样？因为函数参数里的int arr[10]被编译器“调整”成了int *arr。那个10其实被忽略了。这也是为什么C99要引入static关键字——至少能给编译器一点额外的信息。

四、VLA与多维数组

VLA在多维数组场景下特别有用。以前写二维数组传参，你得把列数写成固定值：

// C89风格：列数必须是常量
void print_matrix(int mat[][5], int rows) {
    for (int i = 0; i < rows; i++) {
        for (int j = 0; j < 5; j++) {
            printf("%d ", mat[i][j]);
        }
        printf("\n");
    }
}

有了VLA，你可以这样写：

// C99风格：列数也是参数
void print_matrix(int rows, int cols, int mat[rows][cols]) {
    for (int i = 0; i < rows; i++) {
        for (int j = 0; j < cols; j++) {
            printf("%d ", mat[i][j]);
        }
        printf("\n");
    }
}

注意参数的顺序——rows和cols必须在mat之前声明，因为数组声明里用到了它们。这个顺序要求我一开始也老记错，后来养成习惯：维度参数永远放在数组参数前面。

五、知识体系总览

下面这张图总结了数组与指针在C语言标准演进中的关键变化：

六、实际项目中的选择

说了这么多，那在实际项目中到底该怎么选？我个人的经验是这样的：

场景	推荐做法	理由
小数组（几十个元素以内）	VLA或固定大小数组	栈开销小，代码简洁
中等数组（几百到几千）	malloc动态分配	避免栈溢出风险
嵌入式/实时系统	固定大小数组或静态分配	确定性内存使用
需要跨编译器移植	避免VLA，用malloc	有些编译器不支持VLA

嗯，最后说一句：static下标是个被低估的特性。我在写库函数时经常用它，至少能让接口的语义更清晰。至于VLA，我的态度是：小范围用用可以，但别依赖它写核心逻辑。毕竟，谁也不想某天换了个编译器，代码就编译不过了，对吧？

---

公众号:蓝海资料掘金营，微信deep3321