讀
C 語(yǔ)言的聲明應(yīng)該從右向左讀，依次地役首，各符號(hào)指涉其左邊的符號(hào)丹皱。例如：
// example 1
const int *i;
其中包含 const、int宋税、*摊崭、i 這四個(gè)符號(hào)，依次從右向左：
-
i指涉*杰赛，說(shuō)明i是一個(gè)指針呢簸。 -
*指涉int，說(shuō)明該指針指向一個(gè)int類型乏屯。 -
int指涉const根时，說(shuō)明該int是一個(gè)常量。
這樣辰晕，此聲明的涵義就非常清楚了蛤迎。同樣的，
// example 2
int const *i;
可讀作：i 是一個(gè)指針含友，該指針指向一個(gè)常量替裆，該常量是一個(gè) int 類型校辩。顯然，此聲明與前者等價(jià)辆童。而
// example 3
int * const i;
可讀作：i 是一個(gè)常量宜咒，該常量是一個(gè)指針，該指針指向一個(gè) int 類型把鉴。顯然故黑，此聲明的涵義與前者不同，而所謂的指針常量和常量指針庭砍，這樣一讀也很容易區(qū)分了场晶。
對(duì)于聲明中包含函數(shù)參數(shù)列表的圓括號(hào)以及數(shù)組的方括號(hào)的情況，在從右向左讀之前怠缸，應(yīng)從右向左遞歸地將這些括號(hào)移動(dòng)到變量名的左邊诗轻。例如：
// example 4
int ar[4][2];
從右向左，首先發(fā)現(xiàn)數(shù)組的方括號(hào) [2]凯旭，將其移動(dòng)到變量名的左邊概耻，變?yōu)椋?/p>
int [2]ar[4];
再將 [4] 移動(dòng)到變量名的左邊使套，變?yōu)椋?/p>
int [2][4]ar;
可讀作：ar 是一個(gè)長(zhǎng)度為 4 的數(shù)組罐呼，該數(shù)組中的每一項(xiàng)是一個(gè)長(zhǎng)度為 2 的數(shù)組，該數(shù)組中的每一項(xiàng)是一個(gè) int 類型侦高。
// example 5
int f(char);
將函數(shù)參數(shù)列表的圓括號(hào) (char) 移動(dòng)到變量名的左邊嫉柴，變?yōu)椋?/p>
int (char)f;
可讀作：f 是一個(gè)函數(shù)，該函數(shù)輸入一個(gè) char 類型奉呛，輸出一個(gè) int 類型计螺。
移動(dòng)時(shí)應(yīng)將所有圓括號(hào)視為一個(gè)整體，對(duì)于變量名在一個(gè)圓括號(hào)中瞧壮，而被移動(dòng)的符號(hào)在該圓括號(hào)外部的情況登馒，應(yīng)移動(dòng)到該圓括號(hào)的左邊。例如：
// example 6
int (*(*funcs)[])(char);
首先發(fā)現(xiàn)函數(shù)參數(shù)列表的圓括號(hào) (char)咆槽，且位于包含變量名的圓括號(hào) (*(*funcs)[]) 外部陈轿，將其移動(dòng)到該圓括號(hào)左邊，變?yōu)椋?/p>
int (char)(*(*funcs)[]);
再將 [] 移動(dòng)到包含變量名的圓括號(hào) (*funcs) 左邊秦忿，變?yōu)椋?/p>
int (char)(*[](*funcs));
這里我們可以去掉那些無(wú)關(guān)緊要的表達(dá)優(yōu)先級(jí)的圓括號(hào)（顯然麦射，不包括函數(shù)參數(shù)列表的圓括號(hào)）來(lái)簡(jiǎn)化我們的工作。我們知道灯谣，對(duì)于從左向右結(jié)合且結(jié)合律不成立的操作潜秋，靠左邊的括號(hào)可以去掉，比如 (a - b) - c 可以簡(jiǎn)化為 a - b - c胎许，而其余括號(hào)不可峻呛，如 a - (b - c)罗售。而我們這里讀類型聲明顯然是從右向左結(jié)合且結(jié)合律不成立，所以靠右邊的括號(hào)可以去掉杀饵，而其余括號(hào)不可莽囤。這樣，上面的聲明化簡(jiǎn)為：
int (char)*[]*funcs;
讀作：funcs 是一個(gè)指針切距，該指針指向一個(gè)數(shù)組朽缎，該數(shù)組中的每一項(xiàng)是一個(gè)指針，該指針指向一個(gè)函數(shù)谜悟，該函數(shù)輸入一個(gè) char 類型话肖，輸出一個(gè) int 類型。
如果聲明中包含多個(gè)變量名葡幸，無(wú)論顯式或隱式的最筒，移動(dòng)的標(biāo)的應(yīng)為其所指涉的變量名。例如：
// example 7
int (*funcs[2])(double (*)(char));
其中蔚叨， (char) 所指涉的變量為 (*) 中的隱式變量床蜘，而 [2] 指涉 funcs，變?yōu)椋?/p>
int (double (char)*)*[2]funcs;
最后來(lái)欣賞一個(gè)變態(tài)的例子：
// example 8
int (*(*(*funcs)[2])(double (*callback)(char)))(long)
顯然蔑水，應(yīng)變?yōu)椋?/p>
int (long)(*(double (char)(*callback))(*[2](*funcs)));
然后化簡(jiǎn)為：
int (long)*(double (char)*callback)*[2]*funcs;
別慌邢锯，相信你能讀的：funcs 是一個(gè)指針，該指針指向一個(gè)數(shù)組搀别，該數(shù)組中的每一項(xiàng)是一個(gè)指針丹擎，該指針指向一個(gè)函數(shù)，該函數(shù)輸入一個(gè)名為 callback 的指針（該指針指向一個(gè)函數(shù)歇父，該函數(shù)輸入一個(gè) char 類型蒂培，輸出一個(gè) double 類型），輸出一個(gè)指針榜苫，該指針指向一個(gè)函數(shù)护戳，該函數(shù)輸入一個(gè) long 類型，輸出一個(gè) int 類型垂睬。是不是很簡(jiǎn)單媳荒？
寫(xiě)
掌握了讀，寫(xiě)就很簡(jiǎn)單了羔飞。首先從右向左寫(xiě)肺樟，再?gòu)淖笙蛴遥瑢⒑瘮?shù)參數(shù)列表的圓括號(hào)以及數(shù)組的方括號(hào)逻淌，遞歸地移動(dòng)到其所指涉的變量名的右邊么伯。如果跨越了多個(gè)符號(hào)（包括隱式的變量名）則需要給跨越的這一段加括號(hào)。例如卡儒，先寫(xiě)出上文中的：
int (double (char)*)*[2]funcs;
從左向右遞歸田柔，先處理 (char)俐巴，其所指涉的是隱式的指針變量，因此跨越了兩個(gè)符號(hào)： * 和隱式的變量硬爆，需要給這兩個(gè)符號(hào)加括號(hào)欣舵，變?yōu)椋?/p>
int (double (*)(char))*[2]funcs;
再處理外層的 (double (*)(char))，變?yōu)椋?/p>
int (*[2]funcs)(double (*)(char));
最后處理 [2]缀磕，變?yōu)椋?/p>
int (*funcs[2])(double (*)(char));
結(jié)論
作為當(dāng)代主流的類 C 語(yǔ)言的先驅(qū)缘圈，C 語(yǔ)言的設(shè)計(jì)沒(méi)有同類語(yǔ)言可以參照，難免存在一些不合理之處袜蚕，過(guò)于復(fù)雜不友好的類型聲明規(guī)則便是其一糟把。好在 C 語(yǔ)言還有 typedef 機(jī)制，類型聲明應(yīng)善用 typedef 來(lái)降低復(fù)雜度牲剃。如果非要寫(xiě)出過(guò)于復(fù)雜的類型聲明遣疯，你可能會(huì)被項(xiàng)目其他人員群毆致死！
