C编译器如何解析`arr[]`？函数参数数组声明的处理机制

首先明确：void foo(int arr[])和void foo(int* arr)的等价性，不是像#define那样通过预处理器文本替换实现的，而是C语言标准规定的编译器语义处理规则。

具体处理过程如下：

• 预处理器阶段完全不参与这个转换：#define这类宏替换是预处理器的工作，它只负责文本层面的替换，函数参数里的arr[]属于语法语义范畴，预处理器根本不会识别或修改它。
• 编译器语义分析阶段完成类型调整：当编译器解析到函数参数中的数组声明（比如int arr[]）时，会直接按照C标准的规则，将其语义上的类型调整为指向数组元素类型的指针（也就是int*）。这个过程是编译器对参数类型的理解转换，不是修改源代码文本后再编译。

另外要注意：这种特殊处理只针对函数参数列表中的数组声明，普通代码块里的数组变量（比如int arr[10];）并不是指针，只是在某些表达式语境下会隐式转换为指向首元素的指针，这和函数参数的类型调整是两种不同的机制。

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