C语言函数参数列表复用变量作为变长数组长度的合法性及用途咨询

你看到的写法是C99标准新增的*变长数组（VLA, Variable Length Array）*参数特性，符合标准语法。
C语言中，函数参数里声明的数组类型默认会被隐式调整为指向数组首元素的指针，而用前置声明的变量指定数组长度的写法，满足两个C99的要求：

• 用来定义数组长度的变量，必须在数组参数声明之前就完成声明，你给出的示例里n在arr之前声明，完全符合顺序要求
• 编译环境支持C99及更高版本标准，目前绝大多数主流C编译器（GCC、Clang、VS2015及以上版本的MSVC）都默认支持该特性

这种写法的核心价值是把数组长度和数组本身绑定在参数列表里，既提升可读性也减少出错概率，常见适用场景包括：

• 处理任意长度的一维数组场景：不需要额外约定数组长度，参数列表就能直观体现长度和数组的对应关系，避免调用方传错长度参数
• 多维动态数组处理场景：优势尤其明显，比如处理二维矩阵时可以直接声明为void processMatrix(int row, int col, int matrix[row][col])，不需要手动做行指针偏移计算，直接用matrix[i][j]即可访问元素，代码可读性大幅提升
• 需要静态检查的场景：静态代码分析工具可以直接根据参数声明推断数组长度，更容易提前发现数组越界访问的潜在问题
• 需要兼容不同长度输入的业务逻辑：不需要像固定长度数组参数那样硬编码数组大小，适配性更强

如果需要兼容只支持C89标准的老旧编译环境，不能使用该特性，还是需要写成int doSomething(int n, int* arr)的传统形式。

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