C语言函数参数中数组尺寸无意义，为何可指定数字？

你观察得没错：在函数参数里写int arr[5]时，方括号里的常量5确实没有实际语义——编译器会把它等价处理成int *arr或int arr[]，数组参数会退化为指向首元素的指针。但语法允许这种写法，主要有这几个原因：

• 提升代码可读性与语义提示
  这个常量维度可以充当一种“自文档”，明确告诉函数的调用者或维护者：该函数设计时预期接收的数组至少包含多少个元素。比如arr[5]能直观传递“这个函数是为长度为5的数组设计的”这个信息，比光秃秃的指针写法更有表达力。

• 历史语法兼容
  C语言早期的语法设计中，曾尝试让函数参数里的数组保留维度信息，但后来发现从实现层面无法维持数组的“长度属性”（因为函数调用时数组会自动转换为指针）。为了兼容那些已经使用这种写法的旧代码，标准保留了该语法。

• 与变长数组语法统一
  在C99及后续标准中，支持**变长数组(VLA)**参数，比如int func(int n, int arr[n])，这里的n是有实际意义的——它限定了数组的长度，编译器可以基于这个信息做一些边界检查或优化。允许常量维度的写法，是为了和变长数组的语法体系保持一致，让整个参数声明的逻辑更连贯。

举个例子，你提到的三种写法在编译器看来完全等价：

// 写法1：带常量维度
int func(int arr[5]) {
    printf("Test");
}

// 写法2：指针形式
int func(int *arr) {
    printf("Test");
}

// 写法3：空维度数组
int func(int arr[]) {
    printf("Test");
}

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