C语言中可变大小多维数组的参数顺序求值问题

嘿，这个问题问得挺到位的，我当初学C99可变长度数组（VLA）的时候也纠结过这个点！

首先直接给你个明确答案：你引用的那句话是完全正确的——这种写法合法，正是因为非固定维度的数组可以用函数声明中更早出现的参数来指定大小。

咱们一步步拆解：

• 参数声明的处理顺序
  C标准规定，函数的参数列表是从左到右依次解析的。当编译器处理到array[ROW][COLUMN]的时候，ROW和COLUMN这两个int参数已经被声明过了，编译器知道它们是合法的变量名，用来表示数组的维度。反过来，如果你把数组参数放到最前面，比如type function_name(type array[ROW][COLUMN], int ROW, int COLUMN)，这就会直接报错，因为解析array的时候ROW和COLUMN还没定义。

• 关于栈的参数推送顺序
  你提到调用函数时参数是逆序压栈（array→COLUMN→ROW），这个是特定调用约定（比如cdecl）的行为，但这和函数内部能不能用ROW、COLUMN来计算数组偏移完全不冲突。因为当函数开始执行的时候，所有参数都已经被放到栈上（或者寄存器里，取决于调用约定）了，函数内部可以直接读取ROW和COLUMN的值，不管它们是怎么被传进来的。

  举个例子，当你在函数里写array[i][j]的时候，编译器会生成代码计算这个元素的内存地址：

  基地址 + i * COLUMN * sizeof(type) + j * sizeof(type)
  

  这时候COLUMN的值已经是确定的了，函数能直接拿到它，根本不需要在意参数压栈的顺序。

• 可变长度数组（VLA）的本质
  这种写法是C99引入的特性，C11把它设为可选（不过主流编译器像GCC、Clang一直都支持）。VLA的大小是在运行时确定的，而不是编译时，所以它可以用函数参数这种运行时才能确定的值来指定维度，这也是它和传统固定大小数组的核心区别。

总结一下：关键在于函数参数的声明顺序是左到右，后面的参数可以引用前面已声明的参数，而函数执行时所有参数都已就绪，栈的推送顺序不影响内部对参数的使用。

备注：内容来源于stack exchange，提问作者sunflower