C语言中复杂声明int (*(*(*p(int x))())[20])(int *y);中p的类型及解析方法

一、标识符p的类型解析 #

对于声明int (*(*(*p(int x))())[20])(int *y);，p的类型可以拆解为：

一个接收int类型参数x的函数，该函数返回一个指针；这个指针指向一个无参数的函数，后者又返回一个指针；该指针指向包含20个元素的数组，数组的每个元素是一个指针，指向接收int*类型参数y并返回int值的函数。

用更贴合C语言类型表述的方式总结：
p是「参数为int、返回指向无参函数的指针」的函数；而那个无参函数是「返回指向20元素数组的指针」的函数；数组的每个元素是「参数为int*、返回int」的函数指针。

二、复杂C语言声明的解析方法 #

最实用的是右左法则（Right-Left Rule），核心步骤如下：

• 定位要解析的标识符（比如本例的p），从它开始向外层扩展解析。
• 优先处理标识符右侧的符号：
  • 若为()，说明是函数，记录参数列表；
  • 若为[]，说明是数组，记录数组大小。
• 再处理标识符左侧的符号：
  • 若为*，说明是指向某类型的指针，记录“指向...的指针”。
• 重复上述步骤，直到解析完整个声明。

用右左法则解析本例的具体步骤 #

1. 找到p，右侧是(int x) → p是接收int x的函数。
2. 往左看是* → 该函数返回一个指针。
3. 看指针右侧的() → 这个指针指向无参数的函数。
4. 往左看是* → 这个无参函数返回一个指针。
5. 看指针右侧的[20] → 这个指针指向含20个元素的数组。
6. 往左看是* → 数组的每个元素都是指针。
7. 看指针右侧的(int *y) → 这个指针指向接收int* y的函数。
8. 往左看是int → 这个函数返回int类型。

额外注意点 #

• 函数调用()和数组下标[]的优先级高于指针*，解析时优先处理右侧的这类符号。
• 遇到嵌套括号时，先解析最内层括号的内容，再向外层扩展。

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