GCC判定含static的数组参数为VLA是否合理？

这个问题和《Are conformant array parameters VLAs?》类似，核心区别是使用了C99引入的数组声明语法：在[]内添加static关键字，该关键字的含义是形参指向的数组至少应有len个元素的存储空间。

示例代码如下：

#include <stddef.h>
#include <stdio.h>

void print_array(size_t len, const int arr[static len]) {
    for (size_t i = 0; i < len; i++) {
        printf("%d\n", arr[i]);
    }
}

int main(void) {
    const int arr[] = {1, 2, 3, 4};
    print_array(sizeof arr / sizeof *arr, arr);
    return 0;
}

问题现象 #

使用GCC或Clang的-Wvla标志编译时，会触发警告：

ISO C90 forbids variable length array ‘arr’ [-Wvla]

核心疑问 #

为何给数组形参添加static后，它仍被编译器判定为VLA？这是否会导致static关键字失去原有作用？

解答 #

1. 为何被判定为VLA？
   C标准（C99及后续）中，这类带static的数组形参属于可变修改类型（variably modified type）——它的大小依赖于运行时确定的len参数，而VLA（变长数组）是可变修改类型的典型子类。编译器的-Wvla警告本质是检测所有可变修改类型的使用，并非仅针对栈上定义的VLA变量，因此会触发该警告。另外，若你使用的是默认兼容C90的编译模式，由于C90完全不支持可变修改类型，警告会明确指出这一限制。

2. static关键字并未失效
   static在这里的作用完全独立于VLA判定：

• 给编译器提供优化依据：编译器可以假定arr指向的空间至少有len个元素，从而进行循环展开、指针边界检查消除等优化；
• 对调用者施加约束：如果传入的数组实际长度小于len，程序行为属于未定义行为。

如果想避免这个警告同时保留C99特性，只需指定C99及以上的编译标准，比如使用-std=c99或-std=gnu99编译即可。

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