C 語言關鍵字深度解析：register、volatile、sizeof、const、static 等完全指南

前言

C 語言關鍵字看似簡單，實則暗藏玄機。本文深度解析 `register`、`volatile`、`sizeof`、`const`、`typedef`、`union`、`static`、`unsigned` 等核心關鍵字的語義、陷阱與最佳實踐。

1. register：寄存器變量建議

register int fast_counter;  // 建議編譯器放入寄存器

• 語義：提示編譯器「盡可能」將變量存入 CPU 寄存器，加速訪問
• 限制：
  • 不能取地址（`&var` 非法）
  • 類型大小不能超過寄存器（通常 ≤ `int`）
  • 現代編譯器優化器遠優於人工提示，建議忽略此關鍵字

2. volatile：防止優化的「易變」聲明

volatile int hardware_reg;      // 硬件寄存器映射
volatile int interrupt_flag;    // 中斷服務程序修改的標志
const volatile int read_only_reg; // 唯讀硬件寄存器

• 語義：告訴編譯器「該變量可能在程序不可控處被修改」，每次訪問必須從內存讀取，禁止緩存到寄存器、禁止死碼消除、禁止重排序
• 適用場景：
  • 內存映射硬件寄存器
  • 多線程共享變量（配合原子操作/鎖）
  • 信號處理函數修改的變量
  • `setjmp`/`longjmp` 可見變量
• 不適用：普通多線程同步（需 `atomic`/mutex），不能保證原子性或內存序

3. sizeof：編譯期運算符（非函數）

語法形式

int i = 0;
sizeof(i);      // ✓ 運算元為表達式，括號可省
sizeof int;     // ✗ 運算元為類型，括號必須保留
sizeof(int);    // ✓ 類型需括號

經典面試題：數組與指針

char a[10][10];
char *p = a[0];

sizeof(a);        // 100 (char[10][10])
sizeof(a[0]);     // 10  (char[10])
sizeof(a[0][0]);  // 1   (char)
sizeof(p);        // 4/8 (指針大小)
sizeof(*p);       // 1   (char)

函數參數退化為指針

void func(char arr[100]) {  // 等價於 char *arr
    sizeof(arr);  // 4/8 (指針)，而非 100！
}

鐵律：函數參數聲明為數組，實際傳遞的是指針，`sizeof` 返回指針大小。

sizeof vs strlen

結構體 sizeof 與對齊

struct { char c; int i; } s1;  // sizeof = 8 (對齊填充 3 字節)
struct { int i; char c; } s2;  // sizeof = 8 (填充 3 字節在尾部)
#pragma pack(1)
struct { char c; int i; } s3;  // sizeof = 5 (無填充)

對齊規則：成員偏移為 `min(sizeof(member), #pragma pack值)` 的倍數；結構體總大小為最大對齊數的倍數。

4. const：唯讀語義與指針組合

核心口訣

「const 修飾其右側最近的類型」（若無右側類型，修飾左側）。

四大組合

函數參數 const

void func(const int *p);      // 不修改指向內容
void func(int * const p);     // 不修改指針本身（無意義，參數傳值）
void func(const int * const p); // 兩者皆不修改

const vs #define

• `const` 有類型、有作用域、可調試、佔內存（除非優化掉）
• `#define` 無類型、全局可見、預處理替換、不佔內存
• 現代 C++ 推薦 `constexpr`；C 推薦 `const` 或 `enum` 常量

5. typedef：類型別名（非宏替換）

與 #define 關鍵區別

// typedef：語義層面，編譯期處理
typedef int *IntPtr;
IntPtr a, b;  // a、b 都是 int*

// #define：文本替換，預處理期
#define IntPtr int *
IntPtr a, b;  // a 是 int*，b 是 int（展開為 int *a, b;）

複雜聲明簡化

// 函數指針類型
typedef void (*SignalHandler)(int);
SignalHandler handlers[32];

// 避免聲明混淆
// int *p, q;  // p 是指針，q 是 int
// typedef int *IntPtr; IntPtr p, q;  // 兩者都是指針

6. union：聯合體與端序檢測

// 經典端序檢測
int check_endian(void) {
    union { int i; char c; } u;
    u.i = 1;
    return u.c == 1;  // 1 = 小端, 0 = 大端
}

• 所有成員共用同一塊內存，大小 = 最大成員大小（按對齊調整）
• 同一時刻只能訪問最後寫入的成員（嚴格別名規則），但端序檢測等類型懲罰屬常見實現定義行為
• 匿名聯合體（C11）可直接訪問成員

7. static：靜態存儲期與內部鏈接

三大語境

初始化特性

void func(void) {
    static int count = 0;  // 僅初始化一次！
    printf("%d ", count++);
}
int main() { func(); func(); func(); }  // 輸出: 0 1 2

• 靜態變量零初始化（若無顯式初始化）
• 初始化發生在程序啟動前（靜態初始化）或首次進入函數前（動態初始化）
• 存儲於 `.bss` 或 `.data` 段，非棧/堆

8. unsigned：無符號類型與隱式轉換陷阱

unsigned int u = 10;
int i = -1;

if (u > i)  // i 隱式轉換為 unsigned -> 極大正數，條件為假！
    puts("u > i");
else
    puts("u <= i");  // 輸出此行

• 混合有符號/無符號運算 → 有符號轉無符號
• 避免在邊界檢查中混用：`if (len < MAX && len >= 0)` 中 `len` 應為有符號
• 容器尺寸、索引優先用 `size_t`（無符號），但邏輯判斷小心轉換