1 笔试中的问题

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

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 简化复杂指针的定义