C语言中如何不指定行大小声明数组？为何a[][3]声明合法而a[3][]声明非法？

咱们来逐个拆解这两个关于C语言数组声明的问题：

1. 如何不指定行大小来声明数组？ #

在C语言里，有几种合法的场景可以省略数组的第一维（行）大小，具体如下：

• 一维数组带初始化列表时省略大小：如果声明数组的同时给出了完整的初始化元素，编译器会自动统计元素个数来确定数组的实际大小。比如：

  // 编译器自动将arr的大小设为5，和int arr[5] = {1,2,3,4,5};完全等价
  int arr[] = {1,2,3,4,5};
  

• 二维数组指定列大小后省略行大小：对于二维数组，只要你明确了第二维（列）的大小，就可以省略第一维的大小——编译器会根据初始化列表里的“行”数量自动推导。比如：

  // 编译器会识别出这里有3行，等价于int arr[3][4] = {...};
  int arr[][4] = {
      {1,2,3},
      {4,5},
      {6}
  };
  

• 函数参数中的二维数组：当二维数组作为函数参数传递时，第一维的大小完全可以省略（因为数组会退化为指向一维数组的指针），但第二维的大小必须指定，这样函数才能正确计算元素的内存地址。比如：

  // 这里第一维的大小可以随便写或者省略，实际接收的是指向int[4]的指针
  void print_arr(int arr[][4], int row_count) {
      for(int i=0; i<row_count; i++){
          for(int j=0; j<4; j++){
              printf("%d ", arr[i][j]);
          }
          printf("\n");
      }
  }
  

2. 为什么a[][3]合法，而a[3][]非法？ #

这个问题的本质是C语言多维数组的内存存储规则和编译器的地址计算逻辑：

• C语言里的多维数组是按行优先顺序连续存储的，比如a[m][n]在内存中会被拆成m个长度为n的一维数组，一个接一个放在内存里。要计算任意元素a[i][j]的地址，编译器必须知道第二维的大小n——因为偏移量是i * n + j，只有知道n才能算出这个值。
• 对于a[][3]：不管是初始化场景（编译器能从初始化列表数出行数），还是作为函数参数（数组退化为指针，只需要知道每行的元素个数是3），编译器都能获取到足够的信息来处理数组的内存布局，所以是合法的。
• 对于a[3][]：编译器不知道第二维的大小，就没办法确定每行占多少字节，也就没法计算a[0][1]、a[1][0]这些元素的内存位置，根本没法完成数组的内存规划，所以这种声明直接违反了C语言的规则，是非法的。

总结一下：编译器必须明确除第一维之外的所有维度的大小，第一维的大小可以通过初始化、运行时参数（比如变长数组）来补充，但后面的维度绝对不能省略。

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