深入解析編譯器對 static 與 const 的實作機制

編輯：關於C語言

許多 C/C++ 初學者僅知 static 區域變數「只初始化一次」、const 變數「值不可修改」，卻不清楚編譯器底層如何實現。本文以 Visual C++ 6.0 SP6 為例，透過記憶體偵錯與反組譯碼，揭示其核心運作原理。

一、`static` 區域變數的初始化守衛機制

觀察以下程式碼：

void fun(int i) {
    static int n = i;
    int *p = &n;
    std::cout << n << std::endl;
    ++n;
}

在 for 迴圈呼叫 10 次 fun(10) ~ fun(1) 時，輸出為 10 到 19，證明 n 確實只初始化一次。

記憶體佈局揭秘

透過偵錯器觀察記憶體（以位址 0x0042E05C 為例）：

初始化前： 目標位址與前一個 DWORD 均為 0。
執行 static int n = i; 後： 目標位址變為 10 (0x0A)，而前一個 DWORD 變為 1。
再次進入函數： 只有目標位址的值遞增，前一個 DWORD 保持 1 不變。

結論： 編譯器在每個 static 區域變數前方配置一個「旗標位元組/DWORD」（通常為 0/1），用於標記是否已完成初始化。首次進入時檢查旗標，若為 0 則執行初始化並將旗標置 1；後續呼叫直接跳過初始化程式碼。

多個 `static` 變數的獨立旗標

當函數內有兩個 static int n1, n2; 時，記憶體呈現：[旗標1][n1][旗標2][n2]。每個變數擁有獨立的旗標，編譯器依序檢查並初始化。

常數初始化的特殊處理

若寫成 static int n = 0x12345678;，編譯器會直接將初值寫入可執行檔的資料段（.data），程式啟動時由載入器映射到記憶體，**執行期完全不包含初始化指令**，旗標機制同樣存在但初始化邏輯被最佳化移除。

二、`const` 變數的「偽裝」與最佳化

觀察以下程式碼：

int main() {
    const int n = 1;
    int *p = (int*)&n;
    *p = 0;          // 記憶體確實被改寫為 0
    std::cout << n << std::endl; // 輸出仍為 1
    std::cout << *p << std::endl; // 輸出為 0
}

反組譯碼揭示真相：

; std::cout << n
push 1              ; 直接推入常數 1，而非讀取記憶體
call ostream::operator<<
; std::cout << *p
mov edx, [ebp-8]    ; 讀取指標 p
mov eax, [edx]      ; 讀取記憶體內容 (已為 0)
push eax
call ostream::operator<<

核心發現： 編譯器在最佳化階段，將所有直接使用 n 的場合替換為字面常數 1（常數摺疊）。雖然記憶體仍分配空間且可透過指標修改，但程式碼中「按名存取」的路徑已被常數取代，導致讀寫分離。