C++ static 關鍵字完整指南：三大用法、記憶體模型與多執行緒陷阱

編輯：關於C語言

static 是 C/C++ 中最具多重語意的關鍵字，根據出現位置不同，分別代表：區域靜態變數、檔案級靜態變數/函式、類別靜態成員。本文系統梳理三大用法、記憶體佈局、初始化語意、多執行緒安全性陷阱與最佳實踐。

一、區域靜態變數


void Counter() {
    static int count = 0; // 僅初始化一次，儲存在靜態儲存區
    printf("Call %d\n", ++count);
}
int main() { Counter(); Counter(); Counter(); } // 輸出 1,2,3

與自動變數差異

特性	auto (區域)	static (區域)
儲存區	堆疊	靜態資料區
生命週期	函式呼叫期間	程式整個執行期間
初始化時機	每次進入函式	首次執行到該行（C++11 保證執行緒安全）
預設值	不定值	0 / nullptr
作用域	區塊內	區塊內

兩大核心特性

記憶性：保持上次呼叫的值，適用於呼叫計數、單例延遲初始化。
全域生存期：解決「回傳區域物件指標/參考」導致的懸空指標問題。

經典應用：IP 地址轉字串


const char* IpToStr(uint32_t ip) {
    static char buf[16]; // 靜態緩衝區，回傳指標有效
    const uint8_t* p = (const uint8_t*)&ip;
    sprintf(buf, "%u.%u.%u.%u", p[0], p[1], p[2], p[3]);
    return buf;
}

⚠️ 多執行緒與遞迴陷阱：不可重入

所有呼叫共用同一塊記憶體。執行緒 A 呼叫中被切換，執行緒 B 覆寫緩衝區，A 繼續執行時讀到 B 的資料。


// 危險範例
const char* IpToStr(uint32_t ip) {
    static char buf[16]; // 共用緩衝區
    // ... sprintf ...
    return buf; // 多執行緒下資料競爭
}

解決方案：

呼叫端提供緩衝區：void IpToStr(uint32_t ip, char* buf, size_t len)。
使用 thread_local (C++11) 使每個執行緒擁有獨立副本。
回傳 std::string 由呼叫端管理生命週期。

二、檔案級靜態變數/函式


// file1.cpp
static int g_fileVar = 10;        // 僅 file1 可見
static void InternalFunc() { ... } // 僅 file1 可呼叫

int g_sharedVar = 20;             // 外部連結，其他檔可 extern
void ExportedFunc() { ... }

作用：限制連結可見性為內部連結，避免符號衝突，實現封裝。
儲存區：靜態資料區（同全域變數），生命週期為程式全程。
C++ 建議改用無名命名空間：namespace { int x; void f(){} }，語意更清晰，支援類別與樣板。

三、類別靜態成員


class Logger {
    static int instanceCount;     // 宣告（類別內）
    static void Init();           // 靜態成員函式
public:
    Logger() { ++instanceCount; }
    static int GetCount() { return instanceCount; }
};
int Logger::instanceCount = 0;    // 定義（全域/命名空間範圍，單獨編譯單元）
void Logger::Init() { ... }

關鍵規則

靜態資料成員必須在類別外定義一次（樣板靜態成員除外），否則連結錯誤 LNK2001。
靜態成員函式無 this 指標，僅能存取靜態成員。
靜態成員遵循類別存取控制：private static 僅類別內可存取。
初始化順序：不同編譯單元的靜態成員初始化順序未定義，避免跨單元相依（參考「梅耶斯單例」模式）。

記憶體佈局總覽


+------------------+
|  程式碼區         |  函式機器碼、唯讀常數
+------------------+
|  靜態資料區       |  全域/靜態變數（含 static 區域、static 成員）
|  (.data/.bss)     |  程式啟動配置，結束釋放
+------------------+
|  堆積             |  new/malloc 動態配置
+------------------+
|  堆疊             |  auto 區域變數、函式呼叫幀
+------------------+