C語言複雜聲明一鍵破解：優先級規則與實戰解析

聲明的核心組成

C 聲明由 類型說明符 + 聲明器 組成。聲明器是理解難點，包含：

• 前綴 *：指針修飾（可帶 const/volatile）
• 直接聲明器：標識符、`[]` 數組、`()` 函數、`()` 分組
• 初始化：`= 初值`

「右左法則」—— 三步走優先級

1. 從變量名開始，向外擴展。
2. 優先級高→低：
   1. 括號 `()` 分組
   2. 後綴 `()` 函數、`[]` 數組
   3. 前綴 `*` 指針
3. const/volatile 綁定規則：緊跟類型說明符（如 `int`）修飾類型；否則修飾左側最近的 `*`。

經典案例逐步拆解

案例 1：char * const *(*next)();

1. 變量名 next 被括號包裹 → next 是指針
2. 括號外右側有 `()` → 指向函數的指針
3. 函數返回類型前有 `*` → 返回指針
4. 最左側 char * const → 指向 char 的常量指針

結論：next 是一個指針，指向一個函數，該函數返回一個「指向 char 的常量指針」。

案例 2：int * (*p[])();

1. p 在括號內 → p 是指針
2. 括號外右側 `[]` 優先於 `*` → 指向函數指針數組的指針
3. 數組元素為 `()` → 函數指針
4. 最左 int * → 返回 int* 的函數

結論：p 指向一個數組，數組元素是「參數為空、返回 int* 的函數指針」。

案例 3：void (*signal(int sig, void(*func)(int)))(int);

1. signal 在括號內 → signal 是函數
2. 參數：int sig 和 void(*func)(int)（函數指針）
3. 函數返回類型：外層 `(* ...)(int)` → 返回函數指針
4. 返回的函數指針指向：void (int) → 參數 int、返回 void 的函數

結論：signal 是一個函數，接受信號值與處理函數指針，返回前一個處理函數指針（參數 int、返回 void）。這正是標準庫 `signal()` 的原型。

工具輔助

• cdecl 命令行工具：cdecl> explain char * const *(*next)()
• 在線解析器：cdecl.org
• 編譯器報錯信息（`-fdiagnostics-show-template-tree` 等）也能反推聲明結構。

總結

掌握「從名字起步、括號優先、後綴後前綴、const 就近綁定」四字訣，配合工具驗證，任意複雜聲明皆可秒懂。