C/C++ 複雜聲明完全解讀：右左法則、const/volatile 修飾、函數指針與 typedef 實戰

聲明核心語法規則

C/C++ 聲明遵循 聲明模仿使用 原則：聲明符 的形式模仿表達式求值形式。解讀遵循 右左法則 (Clockwise/Spiral Rule)：

1. 從標識符開始。
2. 向右找運算符 (() 函數, [] 數組)。
3. 向左找修飾符 (* 指針, const, volatile)。
4. 遇到括號 () 重複 2-3 步驟。
5. 最後加上基礎類型。

右左法則實戰演練

例 1：const int *p

p                    // 標識符
*                    // 左：指針 → p 是指針
const int            // 左：基礎類型 const int
→ p 是指向 const int 的指針 (底層 const)

例 2：int * const p

p
* const              // 左：const 修飾 * → p 是常量指針
int                  // 左：基礎類型 int
→ p 是指向 int 的常量指針 (頂層 const)

例 3：int (*p)[10]

p
(*p)                 // 右：() 優先 → p 是指針
(*p)[10]             // 右：[] → 指向大小 10 的數組
int                  // 左：基礎類型
→ p 是指向含 10 個 int 的數組的指針

例 4：int *p[10]

p
p[10]                // 右：[] 結合緊密 → p 是大小 10 的數組
*p[10]               // 左：* → 數組元素是指針
int                  // 左：基礎類型
→ p 是含 10 個指向 int 指針的數組

例 5：函數指針 int (*fp)(double, char)

fp
(*fp)                // 右：() → fp 是指針
(*fp)(double, char)  // 右：() 參數列表 → 指向函數
int                  // 左：返回類型
→ fp 是指向「接受 double, char 返回 int 的函數」的指針

例 6：函數指針數組 int (*fp[5])(double)

fp
fp[5]                // 右：[] → fp 是大小 5 的數組
(*fp[5])             // 左：* → 數組元素是指針
(*fp[5])(double)     // 右：() → 指向函數
int                  // 左：返回類型
→ fp 是含 5 個「指向接受 double 返回 int 的函數指針」的數組

typedef 簡化複雜聲明

// 函數指針類型
typedef int (*FuncPtr)(double, char);
FuncPtr fp1, fp2; // 清晰易讀

// 函數指針數組
typedef int (*FuncPtrArr[5])(double);
FuncPtrArr table;

// 遞歸結構體
typedef struct Node {
    int val;
    struct Node* next;
} Node;
Node* head;

// C++11 別名模板 (更強大)
template
using FuncPtrT = int (*)(T, char);
FuncPtrT fp3;

const/volatile 修飾規則總結

判斷口訣：* 右側的 const/volatile 修飾指針本身 (頂層)，左側修飾指向對象 (底層)。

現代 C++ 替代方案

• 避免裸函數指針：用 std::function<R(Args...)>、Lambda、std::invoke。
• 避免複雜指針數組：用 std::vector<std::function<...>>、std::array。
• 類型推導：auto fp = [](double d, char c) -> int { ... }; 編譯器自動推導類型。
• 概念約束 (C++20)：template F> 替代函數指針參數。

調試技巧：讓編譯器幫你解讀

// GCC/Clang
gcc -c -fdump-lang-all test.c  // 生成 .tu 文件含類型樹
// 或使用神器 cdecl (命令行工具)
$ cdecl> explain int (*(*fp[5])())(double)
declare fp as array 5 of pointer to function returning pointer to function returning int

在線工具：cdecl.org — 輸入聲明獲取英文解釋，輸入英文獲取聲明。