最近看了几天的 K&R 的< C程序设计语言 >第二版,当读到的第5.12章的复杂函数声明时,我感觉脑袋不够用了。之前虽然匆匆使用过几次函数指针,。就像快排的一样。虽说有点难度,但是当时还是能看懂的。
快速排序
/* 具体实现参见: < C程序设计语言 > P103 */
void qsort(void *v[], int left, int right, int (*comp)(void *, void *)) {
// ...
}
int cmp(char* s1, char* s2) {
// ...
}
void swap(void *v[], int i, int j) {
// ...
}
这段代码里面,comp
为一个函数指针,在使用之前需要使其指向一个函数,就像cmp
函数。
int (*comp)(void *, void *); //定义
comp = cmp; //指向cmp函数
由于在C语言里面把void*
当做通用指针,所以在参数传递上使用了void*
。以方便在以后需要排序其他类型对象时,只需要给出比较方法,既cmp
函数,就可比较。 但是在进行比较的时候得把他转换成原本的类型。书中介绍,在第一版时,也用char*
做为通用指针。
复杂声明
刚刚看的comp指针可能很容易明白,下面再看几个例子
int *day[13];
void *comp();
void (*comp)();
char (*(*x())[])();
char (*(*x[3])())[5];
是不是只能认识前三个。不要紧,下面重点来了。
右左法则
右左法则其实并不是C标准里面的内容,它是从C标准的声明规定中归纳出来的方法。C标准的声明规则,是用来解决如何创建声明的,而右左法则是用来解决如何辩识一个声明的,两者可以说是相反的。
The right-left rule
: Start reading the declaration from the innermost parentheses, go right, and then go left. When you encounter parentheses, the direction should be reversed. Once everything in the parentheses has been parsed, jump out of it. Continue till the whole declaration has been parsed.
右左法则
:首先从最里面的圆括号看起,然后往右看,再往左看。每当遇到圆括号时,就应该掉转阅读方向。一旦解析完圆括号里面所有的东西,就跳出圆括号。重复这个过程直到整个声明解析完毕。
网上有人说应该是未定义的标识符开始阅读,而不是从括号读起阅读。我试了一下,的确未定义的标识符容易理解一些。首先前三个就不说了,咱们直奔第四个。最后一个当做一会阅读完,之后的一个练习,感兴趣的朋友可以试试。
首先:一定得知道() / [] 的优先级都大于*。
char (*(*x())[])();
step1: x() 右看
x是一个函数
step2: *x() 左看
x是一个函数,该函数返回一个指针
step3: (*x())[] 右看
x是一个函数,该函数返回一个指针,这个指针指向一个数组
step4: *(*x())[] 左看
x是一个函数,该函数返回一个指针,这个指针指向一个数组,该数组为指针数组
step5:(*(*x())[])() 右看
x是一个函数,该函数返回一个指针,这个指针指向一个数组,该数组为指针数组,每个指针为
函数指针
step6:char (*(*x())[])() 左看
x是一个函数,该函数返回一个指针,这个指针指向一个数组,该数组为指针数组,每个指针为
函数指针,函数返回char类型。
其实实际中很少使用到过于复杂的声明,如果实在是用到复杂的声明,都会使用typedef进行合成。
char (*(*x())[])();
typedef *x() per1;
typedef *(per1)[] per2Arr;
char (per2Arr)();