【C语言进阶剖析】37、指针阅读技巧分析

1 笔试中的问题

2 右左法则

• 从最里层的圆括号中未定义的标示符看起，先向右看，再向左看
• 遇到圆括号或者方括号时可以确定部分类型，并调转方向
• 重复2，3步骤，直到阅读结束

3 复杂指针阅读

直接分析实例。

#include <stdio.h>
int main()
{ 
    int (*p1)(int*, int (*f)(int*));  
    int (*p2[5])(int*);
    int (*(*p3)[5])(int*);
    int*(*(*p4)(int*))(int*);
    int (*(*p5)(int*))[5];
    return 0;
}

我们按照右左法则一个个分析。

int (*p1)(int*, int (*f)(int*));
(*p1)							--> p1是个指针
(*p1)(							--> 指向一个函数
(*p1)(int*, int (*f)(int*))		--> 函数有两个参数，第一个参数为int*，第二个参数为一个指针f，
									f指向一个函数，函数的参数为 int*，返回值为 int
int (*p1)(int*, int (*f)(int*)); --> 函数返回值为 int

合起来：p1 是一个指针；指向一个函数，函数第一个参数为 int*，第二个参数为一个指针，指向一个函数，函数的参数为 int*，返回值为 int；函数返回值为 int

int (*p2[5])(int*);
p2[5] 					-->p2是一个有5个元素的数组
(*p2[5])				-->数组中每个元素是指针
(*p2[5])(				-->指针指向一个函数
(*p2[5])(int*); 		-->函数的参数为 int*
int (*p2[5])(int*);		-->函数的返回值为 int

合起来：p2是一个数组，数组中有5个元素，每个元素都是指针，指向一个函数，函数类型为 int(int*)

int (*(*p3)[5])(int*);
(*p3)					-->p3是一个指针
(*p3)[5]				-->指向一个5元素的数组
(*(*p3)[5])				-->数组中的元素是指针
(*(*p3)[5])(			-->指向一个函数
int (*(*p3)[5])(int*);	-->函数参数类型为 int*，返回值类型为 int

合起来：p3 是一个指针，数组指针，指向一个5元素的数组，数组中每个元素是指针，指向函数，函数类型为 int(int*)

int*(*(*p4)(int*))(int*);
(*p4)						-->p4是一个指针
(*p4)(						-->指向一个函数
(*p4)(int*)					-->函数参数为int*
*(*p4)(int*)				-->函数返回值为指针
(*(*p4)(int*))(				-->指向一个函数
int*(*(*p4)(int*))(int*);	-->函数参数类型为int*，返回值类型为int*

合起来：p4是一个指针，指向一个函数，函数参数类型为int*，返回值类型为指针，指向的函数类型为 int*(int*)

int (*(*p5)(int*))[5];
(*p5)					-->p5是一个指针
(*p5)(					-->指向一个函数
*(*p5)(int*)			-->函数参数类型为int*，返回值类型为指针
(*(*p5)(int*))[5]		-->指向一个5元素的数组
int (*(*p5)(int*))[5];	-->数组中每个元素围为int

合起来：p5是指针，函数指针，指向一个函数，函数的参数类型为int*，返回值为指针，指向一个数组，数组类型为 int[5]

使用右左法则使得分析复杂指针比较简单，这种写法阅读起来比较麻烦，可以使用 typedef 简化表达，下面看一个例子：

int (*(*p5)(int*))[5];

可以写为：
typedef int (ArrayType)[5];				首先定义数组类型别名
typedef ArrayType* (FuncType)(int*);	定义函数别名，参数为int*,返回值为ArrayType*
FuncType* p5;							定义指针

4 小结

1、右左法则总结于编译器对指针变量的解析过程
2、指针阅读练习的意义在于理解指针的组合定义
3、可通过 typedef 简化复杂指针的定义