C语言右左法则——复杂声明的解读

C语言右左法则

最近在《高质量嵌入式Linux C编程》一书中了解到了右左法则，这篇法则意在于让你准确理解所有的声明，先说下法则内容，这里先引用下英文原话：

Start reading the declaration from the innermost parentheses,go right,and the 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 * (* (*fp1) (int) ) [10];

解读步骤如下：

• 从变量名开始——fp1。
• 往右看，什么也没有，碰到了)，因此往左看，碰到一个*—— 一个指针。
• 跳出括号，碰到了(int)—— 一个带一个int参数的函数。
• 向左看，发现一个*——（函数）返回一个指针。
• 跳出括号，向右看，碰到[10]，一个10元素的数组。
• 向左看，发现一个*——一个指针
• 向左看，发现int——int类型

总结：fp1被声明成为一个函数的指针，该函数返回指向指针数组的指针。

---

再看一个例子：

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

解读步骤如下：

• 从变量名开始——arr。
• 往右看，发现是一个数组[5]——一个5元素的数组。
• 继续向右看，碰到括号)，掉头向左看，发现一个*——指针。
• 跳出括号，向右看，发现()——不带参数的函数
• 向左看，碰到*——（函数）返回一个指针
• 跳出括号，向右发现()——不带参数的函数
• 向左看，发现*，（函数）返回一个指针。
• 继续向左，发现int——int类型

总结：arr被声明成为一个函数的数组指针，该函数返回指向函数指针的指针。