深度解析 C++ static 關鍵字：兩大語境、七大特性與最佳實踐

static 是 C++ 最多義的關鍵字，分屬**面向過程語境**（全域/局部變數、函數）與**面向物件語境**（類靜態成員）兩大體系。本文系統梳理七大用法特性與避坑指南。

一、面向過程語境

1. 靜態全域變數

static int n;  // 檔案作用域

• 儲存於**全域資料區**，程式啟動分配、結束釋放。
• 未顯式初始化**自動歸零**（自動變數值隨機）。
• **僅在宣告檔案內可見**（內部連結），其他檔案不可 extern 存取。
• 優點：避免跨檔名稱衝突，不同檔可定義同名靜態全域變數。

2. 靜態局部變數

void fn() {
    static int n = 10;  // 僅首次呼叫初始化
    cout << n++ << endl;
}
main() { fn(); fn(); fn(); }  // 輸出 10 11 12

• 同樣儲存於**全域資料區**（非堆疊），生命週期 = 程式全程。
• **首次執行到宣告處初始化**，後續呼叫跳過初始化。
• 作用域仍為**局部**（函數/區塊結束即不可見），但值保留。
• 替代全域變數實現「函數私有狀態保持」，封裝性更好。

3. 靜態函數

static void fn();  // 僅本檔可見

• **內部連結**，其他檔不可連結，避免名稱衝突。
• 無 this 指標，僅能操作靜態資料（註：原文稱「只能操作靜態成員」有待商榷，自由函數無成員概念）。
• 常用作回調函數（不需物件上下文）。

二、面向物件語境（類靜態成員）

4. 靜態資料成員

class MyClass {
    static int Sum;  // 宣告
};
int MyClass::Sum = 0;  // 定義並初始化（類外，全域/命名空間作用域）

• 屬於類，不屬於具體物件：無論建立多少實例，**僅一份拷貝**，全體物件共享。
• 儲存於**全域資料區**，類外定義分配空間（類內宣告不分配）。
• 遵循 public/protected/private 存取控制。
• **無物件也可存取**：MyClass::Sum（作用域解析運算子）。
• 初始化格式：型別 類別::成員 = 值。
• 兩種存取：obj.Sum 或 MyClass::Sum。
• 適用場景：全體實例共同屬性（如存款類利率），修改一次全體生效，節省空間。
• 優於全域變數：不汙染全域命名空間、可 private 實現資訊隱藏。

5. 靜態成員函數

class MyClass {
    static void GetSum();  // 宣告
};
void MyClass::GetSum() { ... }  // 定義不加 static

• **服務於整個類，非特定物件**，**無 this 指標**。
• **不可存取非靜態成員**（變數/函數），僅能訪問靜態成員。
• 非靜態成員函數可任意存取靜態成員。
• 無 this 開銷，較全域函數微快。
• 三種調用：obj.Func()、ptr->Func()、Class::Func()（推薦）。
• 類外定義**不可加 static**。

核心對比表

最佳實踐建議

1. 極小化靜態全域變數：優先用無名命名空間 namespace { int n; } 替代（C++ 風格內部連結）。
2. 靜態局部變數替代全域單例狀態：封裝性更好，延遲初始化，線程安全（C++11 保證）。
3. 靜態資料成員用於真正的「類層級屬性」：非單純為了省空間濫用。
4. 靜態成員函數用於無狀態工具操作：如工廠方法、狀態查詢、資源管理。
5. 基類解構函數必須 virtual：配合靜態/動態多態正確釋放資源（本文範例驗證）。

徹底掌握 static 七重語義，是寫出高質量 C++ 代碼的必修課。