C 语言所有复杂的指针声明，都是由各种声明嵌套构成的。如何解读复杂指针声明呢？右左法则
是一个既著名又常用的方法。不过，右左法则其实并不是 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.
这段英文的翻译如下：
右左法则：首先从最里面的圆括号看起，然后往右看，再往左看。每当遇到圆括号时，就应该掉
转阅读方向。一旦解析完圆括号里面所有的东西，就跳出圆括号。重复这个过程直到整个声明解
析完毕。
笔者要对这个法则进行一个小小的修正，应该是从未定义的标识符开始阅读，而不是从
括号读起，之所以是未定义的标识符，是因为一个声明里面可能有多个标识符，但未定义的标识
符只会有一个。
现在通过一些例子来讨论右左法则的应用，先从最简单的开始，逐步加深：
int (*func)(int *p);
首先找到那个未定义的标识符，就是 func，它的外面有一对圆括号，而且左边是一个*号，这说
明 func 是一个指针，然后跳出这个圆括号，先看右 边，也是一个圆括号，这说明(*func)是一
个函数，而 func 是一个指向这类函数的指针，就是一个函数指针，这类函数具有 int*类型的形
参，返回值 类型是 int。
int (*func)(int *p, int (*f)(int*));
func 被一对括号包含，且左边有一个 *号，说明 func 是一个指针，跳出括号，右边也有个括
号，那么 func 是一个指向函数的指针，这类函数具有 int *和 int (*)(int*)这样的形参，返回
值为 int 类型。再来看一看 func 的形参 int (*f)(int*)，类似前面的解释，f 也是一个函数指针，
指向的函数具有 int*类型的形参，返回值为 int。
int (*func[5])(int *p);
func 右边是一个[]运算符，说明 func 是一个具有 5 个元素的数组，func 的左边有一个*，说
明 func 的元素是指针，要注意这里的*不是修饰 func 的， 而是修饰 func[5]的，原因是[]运
算符优先级比*高，func 先跟[]结合，因此*修饰的是 func[5]。跳出这个括号，看右边，也是
一对圆括 号，说明 func 数组的元素是函数类型的指针，它所指向的函数具有 int*类型的形参，
返回值类型为 int。
int (*(*func)[5])(int *p);
func 被一个圆括号包含，左边又有一个*，那么 func 是一个指针，跳出括号，右边是一个[]
运算符号，说明 func 是一个指向数组的指针，现在往左看，左边有 一个*号，说明这个数组的
元素是指针，再跳出括号，右边又有一个括号，说明这个数组的元素是指向函数的指针。总结一
下，就是：func 是一个指向数组的指 针，这个数组的元素是函数指针，这些指针指向具有 int*
形参，返回值为 int 类型的函数。
剩余14页未读，继续阅读
资源评论
