C 語言 auto 關鍵字：區塊作用域與變數遮蔽示範

auto 歷史與現狀

auto 是 C 語言最古老的關鍵字之一，早期用於明確宣告「自動儲存類別」區域變數 (預設行為)。C++11 後被重新定義為型別推導，但 C 標準仍保留原意。現代 C 程式碼極少顯式寫 auto，因區域變數預設即為自動儲存期。

範例程式碼：變數遮蔽效果

#include 

int main() {
    int i, num = 2;
    for (i = 0; i < 3; i++) {
        printf("The num equal %d\n", num); // 外層 num
        num++;
        {
            auto int num = 1; // 內層區塊定義新 num，遮蔽外層
            printf("The internal block num equal %d\n", num);
            num++; // 只修改內層 num
        }
        // 內層區塊結束，內層 num 銷毀，外層 num 恢復可見
    }
    return 0;
}

執行輸出

The num equal 2
The internal block num equal 1
The num equal 3
The internal block num equal 1
The num equal 4
The internal block num equal 1

圖解說明

核心概念：作用域與生命週期

• 外層 num：作用域為整個 main 函式，生命週期從定義處開始至 main 結束
• 內層 num：作用域僅限於 { ... } 區塊內，生命週期隨區塊進入/離開而建立/銷毀
• 遮蔽規則：內層同名變數會「遮蔽」外層變數，區塊內引用 num 綁定內層實體

現代 C/C++ 最佳實踐

1. 不要寫 auto：C 語言區域變數預設即為自動儲存，顯式寫出累贅且易誤導 (C++11 語意不同)
2. 善用區塊作用域：在大型函式中用 { ... } 限制變數可見範圍，減少命名衝突與誤用
3. 避免遮蔽：雖然合法，但易造成閱讀困惑。建議內層變數用更具體名稱 (如 inner_num)
4. C++11 auto：僅用於型別推導 (auto x = expr;)，與 C auto 完全無關

延伸：儲存類別完整對照