C++ 作用域與變量遮蔽：為什麼輸出不是隨機值？

代碼現象

int main() {
    { int x = 1; cout << x; // 1
        { cout << x; // 1 而非隨機值
            int x = 2; cout << x; // 2
            { cout << x; // 2
                int x = 3; cout << x; // 3
            }
            cout << x; // 2
        }
        cout << x; // 1
    }
}

核心原理：編譯期名稱查找與作用域規則

• C++ 採用**靜態作用域**，編譯器在編譯階段按「從內向外」順序查找標識符聲明。
• 內層塊中 int x = 2; **聲明**在 cout << x; **之後**，但聲明本身使該作用域內的 x 綁定到新實體，導致前面的 x 引用外層 x=1（編譯期已確定）。
• 這稱為**變量遮蔽**，而非「未初始化讀取」。若真未聲明則編譯報錯，不會產生隨機值。

記憶體模型視角

每個塊入棧時為局部變量分配棧幀空間，x 在不同層級有獨立存儲位置。輸出時讀取的是對應層級的棧槽，數值確定，絕非隨機內存。

最佳實踐建議

1. 避免在嵌套作用域重複命名，使用有語義名稱（outerX, innerX）。
2. 開啟編譯器警告 -Wshadow (GCC/Clang) 或 /W4 (MSVC) 捕獲遮蔽風險。
3. 現代 C++ 偏好縮小變量作用域，配合 {} 限制生命周期，但需注意遮蔽陷阱。

結論：輸出確定值是 C++ 作用域規則與編譯期綁定的必然結果，理解「聲明提前綁定」是關鍵。