淺析 C 語言 register 關鍵字：從提示編譯器到被現代優化器忽略

register 的原始意圖

register 修飾符建議編譯器將變數儲存在 CPU 暫存器而非記憶體中，以加快存取速度。典型應用場景：

• 頻繁存取的迴圈計數器
• 熱點路徑中的指標與索引變數
• 記憶體複製等效能敏感函式

memcpy(char *d, char *s, int i) {
    register char *d; // 建議放入暫存器
    register char *s;
    register int i;
    while (i--) *d++ = *s++;
}

使用限制

1. 型別限制：僅限 CPU 暫存器可容納的型別（通常為整數、指標、部分浮點數），結構體、陣列不可用。
2. 不可取址：&var 編譯錯誤，因暫存器無記憶體位址。
3. 儲存類別限制：僅限區域自動變數與函式參數；全域、靜態變數不可用。
4. 數量限制：暫存器數量有限，超過部分會被編譯器忽略；部分暫存器專用於特定型別（如浮點、向量）。

現代編譯器的處理

早期編譯器（1980s~1990s）確實依賴 register 提示。但現代優化器（GCC、Clang、MSVC、LLVM）擁有強大的暫存器分配演算法（圖著色、線性掃描等），能自動分析變數存活期、使用頻率、干涉關係，做出比人工提示更優的決策。因此：

• 多數編譯器完全忽略 register 關鍵字。
• C99/C11 標準僅保留「不可取址」語意，不再要求編譯器實際配置暫存器。
• 寫 register int i; 在現代編譯器下等同於 int i;，僅多一個「不可取址」的編譯期檢查。

實測驗證

// test.c
void foo() {
    register int a = 0;
    // &a; // 取消註解會編譯錯誤
    for (int i = 0; i < 100; i++) a += i;
}

編譯 gcc -O2 -S test.c 查看組合碼，a 與普通區域變數無差異，均由優化器決定是否駐留暫存器。

最佳實務建議

1. 不要為了效能刻意加 register，現代優化器比你更懂暫存器分配。
2. 若需強制不可取址（如防止指標別名分析干擾），可保留 register 作為文檔與編譯期約束。
3. 專注於演算法與資料結構優化、記憶體存取局部性、向量化、避免不必要的記憶體屏障，這才是效能關鍵。

結語

register 是 C 語言演進歷史的見證：從程式員手動微優化，到編譯器自動優化接管。保留它僅為相容舊碼與提供「不可取址」語意。在現代開發中，將優化交給編譯器，專注於架構層面的效能設計，才是正道。