深度解析 C 語言聲明：從語法模型到 const、指針、結構體與 typedef 完全指南

編輯：關於C語言

前言：為什麼 C 聲明如此難讀？

C 語言的聲明語法基於「聲明即使用」的設計哲學：聲明的形式應盡可能與使用形式相似。但這導致聲明無法簡單地從左向右閱讀，成為程序員的攔路虎。本章將系統拆解聲明規則，攻克 const、指針、結構體、聯合、枚舉、typedef 等核心難點。

3.1 聲明的優先級規則：破解閱讀密碼

核心三步法

從變量名開始。
按優先級順序向外擴展：
- 級別 1：括號 ()（函數）和 []（數組）—— 後綴運算符，結合性從左到右。
- 級別 2：*（指針）—— 前綴運算符，結合性從右到左。
最後處理類型說明符（int, char 等）及 const/volatile。

實戰演練

int *p[3];      // p 是數組 -> [3] 優先 -> * -> int：int 類型指針數組
int (*p)[3];    // p 是指針 -> * 優先 -> [3] -> int：指向 int[3] 的指針
int *foo(int);  // foo 是函數 -> () 優先 -> * -> int：返回 int* 的函數
int (*foo)(int); // foo 是指釖 -> * 優先 -> (int) -> int：指向函數(int->int) 的指針

const 陷阱完全解析

黃金法則：const 修飾它右邊緊鄰的實體（若右邊無實體，則修飾左邊）。

聲明	讀法	含義
`const int p;` / `int const p;`	const 修飾 *p 右邊的 int	指向常量整數的指針（指針可變，指向的值不可變）
`int *const p;`	const 修飾 p	常量指針（指針不可變，指向的值可變）
`const int *const p;`	兩個 const	指向常量整數的常量指針（雙重不可變）

代碼驗證：

const int *p1; p1++; *p1 = 10; // 錯誤：不能修改 *p1
int *const p2 = &a; p2++; *p2 = 20; // 錯誤：不能修改 p2

3.2 結構體、聯合、枚舉：組合類型深度解析

結構體 struct

記憶體佈局：成員按聲明順序依次存放，編插器插入填充位元組對齊。
標簽 vs 類型名：struct Tag { ... }; 中 Tag 是標簽，非類型名。C 語言中需用 struct Tag 宣告變量；C++ 可直接用 Tag。
最佳實踐：分離類型定義與變量宣告，使用 typedef 簡化：
typedef struct Student { int id; char name[20]; } Student;
自引用結構：成員包含指向自身類型的指針，構建鏈表、樹等數據結構。

聯合 union

共享記憶體：所有成員從偏移量 0 開始存放，同一時刻只有一個成員有效值。
核心用途：
1. 節省空間（互斥字段）
2. 類型雙關——同一數據的不同解讀（如 float 與其 IEEE 754 位模式互轉）
統計規律：實際項目中結構體使用頻率約為聯合的 100 倍。

枚舉 enum

將名字與整型值綁定，默認從 0 開始遞增。
優於 #define：調試器中可見符號名、作用域限制、類型檢查更強。
C 語言中枚舉本質是整型，可隱式轉換，非強類型（C++11 enum class 修正此問題）。

3.3 typedef 與 #define：本質區別

特性	typedef	#define
本質	類型別名（編譯器處理）	文本替換（預處理器處理）
指針聲明	`typedef char* PCHAR; PCHAR p1, p2;` 兩個均為 `char*`	`#define PCHAR char* PCHAR p1, p2;` 展開為 `char* p1, p2;` p2 是 `char`
類型擴展	不可擴展（`unsigned PCHAR` 錯誤）	可擴展（`unsigned PCHAR` → `unsigned char*`）
作用域	遵循塊作用域規則	無作用域，全局替換
調試可見性	符號表中保留	預處理後消失