C/C++ static 關鍵字全景解析：五大語境、生命週期、鏈接屬性與 C++ 成員擴展

static 的三重語義核心

• 儲存期： 靜態儲存區（全域/靜態區），程式啟動分配，結束釋放，**不在棧上**。
• 鏈接性： 內部鏈接（僅本編譯單元可見），對應 extern 的外部鏈接。
• 作用域： 視聲明位置而定（檔案域、塊域、類域）。

五大使用語境詳解

1. 檔案域靜態全域變數/函數

// file1.c
static int g_count = 0;        // 僅 file1 可見，外部 extern 無法引用
static void internal_init();   // 內部函數，防止符號衝突

等效於 C++ 的無名命名空間 namespace { ... }，是**模組封裝**的基礎手段。

2. 塊域靜態區域變數

void counter() {
    static int cnt = 0; // 僅初始化一次！後續調用保持上次值
    printf("%d\n", ++cnt);
}
// 輸出: 1, 2, 3...

• 儲存於靜態區，生命週期 = 程式全期。
• 作用域僅限塊內，外部不可直接訪問。
• 初始化只在第一次通過時執行（編譯器插入守衛代碼）。

3. 修飾函數（檔案域）

同靜態全域變數：限制鏈接性為內部，實現檔案級封裝。與儲存方式無關（函數代碼本就在代碼段）。

4. C++ 靜態成員變數

class Test {
    static int shared_; // 聲明（類內）
    int a_, b_;
public:
    Test(int a, int b) : a_(a), b_(b) { shared_ = a + b; }
    void print() const { cout << shared_ << endl; }
};
int Test::shared_ = 0; // 定義（類外，必須！分配記憶體）

• 屬於**類**，不屬於具體物件，**全體實例共享同一份記憶體**。
• 可通過 Test::shared_ 或 obj.shared_ 訪問。
• 本質是全域變數，但受類作用域限制，不汙染全域命名空間。

5. C++ 靜態成員函數

class Test {
    static int data_;
public:
    static void printData() { cout << data_ << endl; } // 無 this 指標
    static void helper() { printData(); }              // 只能調用靜態成員
};

• **無 this 指標**，故不能直接訪問非靜態成員。
• 調用開銷略小（無 this 傳遞），可作為類級工具函數、工廠函數。
• 可通過物件 obj.func() 或類名 Test::func() 調用。

隱性特性：零初始化

所有靜態儲存期變數（全域、static 區域、static 成員）若無顯式初始化，**保證零初始化**（0、NULL、0.0）。非靜態區域變數無此保證（值不定）。

對照表：static vs 非 static

最佳實踐建議

1. 優先用 static 限制符號可見性（檔案域變數/函數），減少鏈接衝突，踐行最小權限原則。
2. 慎用 static 區域變數：引入隱性狀態，破壞函數純粹性，導致執行緒安全、測試困難。必要時用 thread_local (C++11) 隔離執行緒。
3. C++ 類靜態成員：定義必須在類外（模板類除外），C++17 起可用 inline static 在類內定義。
4. 單例模式：static T& instance() { static T obj; return obj; } (Meyers Singleton) 利用 C++11 靜態區域變數執行緒安全初始化特性，簡潔高效。

透徹掌握 static 在不同語境下的儲存期、鏈接性、作用域三重屬性，是寫出模組化、可維護、執行緒安全 C/C++ 代碼的關鍵基石。