右左法則是一個既著名又常用的方法。不過，右左法則其實并不是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類型的函數。
int (*(*func)(int *p))[5];
func是一個函數指針，這類函數具有int*類型的形參，返回值是指向數組的指針，所指向的數組的元素是具有5個int元素的數組。
要注意有些復雜指針聲明是非法的，例如：
int func(void) [5];
func是一個返回值為具有5個int元素的數組的函數。但C語言的函數返回值不能為數組，這是因為如果允許函數返回值為數組，那么接收這個數組的內容的東西，也必須是一個數組，但C語言的數組名是一個右值，它不能作為左值來接收另一個數組，因此函數返回值不能為數組。
int func[5](void);
func是一個具有5個元素的數組，這個數組的元素都是函數。這也是非法的，因為數組的元素除了類型必須一樣外，每個元素所占用的內存空間也必須相同，顯然函數是無法達到這個要求的，即使函數的類型一樣，但函數所占用的空間通常是不相同的。
作為練習，下面列幾個復雜指針聲明給讀者自己來解析，答案放在第十章里。
int (*(*func)[5][6])[7][8];
int (*(*(*func)(int *))[5])(int *);
int (*(*func[7][8][9])(int*))[5];
實際當中，需要聲明一個復雜指針時，如果把整個聲明寫成上面所示的形式，對程序可讀性是一大損害。應該用typedef來對聲明逐層分解，增強可讀性，例如對于聲明：
int (*(*func)(int *p))[5];
可以這樣分解：
typedef int (*PARA)[5];
typedef PARA (*func)(int *);
這樣就容易看得多了。
const一詞是英文constant的縮寫，設立這個關鍵字的本意，是希望讓它所修飾的對象成為一個常量。記得在國家間的外交中，有一個經常用到的術語：“從事與身份不符的活動”，這個const恰恰也正從事著這樣的活動，呵呵。C語言可以有三種方法定義一個常量：#define、const和枚舉，但只有枚舉才是真正的常量，什么是真正的常量？真正的常量是沒有存儲空間的，是一個右值，這意味著通過任何合法的手段也不會被修改，但被const修飾的對象依然是一個左值，盡管這個對象被const限定，筆者仍然至少可以找到三種合法的手段去修改它，而#define所做的只不過是編譯期替換而已，只有枚舉常量才能真正做到這一點。const實在不應該被命名為const，這會讓人們產生誤解，它應該命名為readonly或類似的字眼，意即不能通過被const修飾的對象修改它所指向的對象或者它所代表的對象。但在C的世界里把const稱為常量早已是普遍的現象，那我們就只好隨大流咯，也稱之為常量吧，只要知道它實際上不是真正的常量就行了。
第七章曾經討論過const int *p;與int * const p的區別，這兩個聲明的中文名稱常常搞得混亂不堪。第一個聲明的const是聲明說明符，它修飾p所指向的對象，但p仍然是可變的，這意味著p是一個指向常量的指針，簡稱常量指針。第二個聲明的const是聲明符的一部分，它修飾的對象是p，這意味著p是一個常量，而且是一個指針類型的常量，簡稱指針常量。指針常量又常常被人稱為“常指針”或“常指針變量”，常指針變量這個名稱有點蹩腳，又常又變的，容易讓人摸不著頭腦，最好還是不要這樣稱呼。這里還得再強調一次指針常量與地址常量是不同的，不能把數組名稱為指針常量，也不能把指針常量稱為地址常量，因為指針常量依然是一個左值，而數組名是一個右值，這里肯定有人會問：“什么？指針常量是一個左值？我沒聽錯吧？”你的確沒有聽錯，C89對于左值是這樣定義的：
對象是一個命名的存儲區域，左值（lvalue）是引用某個對象的表達式。
換言之，如果一個表達式引用的是一個具有具體存儲空間的對象，它就是一個左值！那么既然指針常量是一個左值，為什么卻不能給它賦值呢？是因為它受限于賦值表達式的一條規則：賦值表達式的左值不能含有限定詞！
為了防止指針指向的常量被修改，C標準對于指針間賦值有一個規定，就是左值必須包含右值的所有限定詞。 這就限定了一個指向const對象的指針不能賦值給指向非const對象的指針，但反過來就允許。這個規定初看上去非常合理，但其效用其實只限于一級指針，二級指針間的賦值即使滿足規定也不再安全，下面舉個例子：
const int i=10;
const int **p1;
int *p2;
p1 = &p2;
*p1 = &i;
*p2 = 20;
現在你會發現，作為常量的i的值被修改了。i的值被修改的關鍵原因在*p1=&i;這一句，&i是一個指向常量的一級地址，如果沒有二級指針p1，受限于上述規定，作為左值接受這個一級地址的指針就必須也是一個指向常量的一級指針，于是就不能進行下一步賦值20的操作。因此，正由于指向const對象的二級指針p1的出現，使得*p1也是一個指向const的指針，于是*p1=&i能夠合法地運行，常量i的值被修改也就成了一個預想中的結果了。有鑒于此，某些編譯器也會限定非const二級指針之間的賦值，規定上面的p1=&p2也是非法的。
第七章介紹聲明符的指針部分有一種形式：
* 類型限定符表opt 指針
這種形式產生了一種比較復雜的帶const的指針，例如：
const int * const *** const ** const p;
這是一個會讓人頭暈目眩的表達式，聲明符部分嵌套了九次，如何辨認誰是const，誰不是const呢？一旦明白了其中的原則，其實是非常簡單的。第一和最后一個const大家都已經很熟悉的了。對于藏在一堆*號中的const，有一個非常簡單的原則：const與左邊最后一個聲明說明符之間有多少個*號，那么就是多少級指針是const的。例如從右數起第二個const，它與int之間有4個*號，那么p的四級部分就是const的，下面的賦值表達式是非法的：
**p = (int *const***)10;
但下面的賦值是允許的：
***p=(int*const**)10;
從左邊數起第二個const，它與int之間有1個*，那么p的一級部分是const的，也就是*****p = (int*const***const*)10;是非法的。
對于一個函數：
void func(void);
我們通常可以定義一個這樣的函數指針指向它：
void (*p)(void) = func;
通過p調用func時，通常有兩種寫法：
p();或者(*p)();
圍繞這兩種寫法，當初C89制定的時候曾經有過爭論。(*p)();是一種舊式的規定，舊式規定圓括號左邊必須具有“函數”類型，如果是指向函數的指針，那么必須加上*聲明符。但C89不再把圓括號的左邊限定為“函數”類型，而是一個后綴表達式。那么問題就來了，如果p的值是函數地址，那么*號就是聲明符，但如果p指向的內容是函數地址，*號就得被看作運算符了。同一種形式會有兩種解釋，這是一個矛盾。不僅函數調用如此，指向數組的指針也存在這種矛盾。編譯器為了處理這種情況得增加代碼，效率自然就降低了。爭論的最后結果是誰也不能把對方完全說服，于是就干脆兩種都支持了。筆者認為應該拋棄舊式的規定，p();這種形式簡潔明了，又符合函數的一般形式，何樂而不為？
第八章練習的答案，同時給出用typedef的分解方法：
int (*(*func)[5][6])[7][8];
func是一個指向數組的指針，這類數組的元素是一個具有5X6個int元素的二維數組，而這個二維數組的元素又是一個二維數組。
typedef int (*PARA)[7][8];
typedef PARA (*func)[5][6];
int (*(*(*func)(int *))[5])(int *);
func是一個函數指針，這類函數的返回值是一個指向數組的指針，所指向數組的元素也是函數指針，指向的函數具有int*形參，返回值為int。
typedef int (*PARA1)(int*);
typedef PARA1 (*PARA2)[5];
typedef PARA2 (*func)(int*);
int (*(*func[7][8][9])(int*))[5];
func是一個數組，這個數組的元素是函數指針，這類函數具有int*的形參，返回值是指向數組的指針，所指向的數組的元素是具有5個int元素的數組。
typedef int (*PARA1)[5];
typedef PARA1 (*PARA2)(int*);
typedef PARA2 func[7][8][9];