C++ static 靜態成員完整指南：資料成員與函數成員的共享機制與陷阱

C++ static 關鍵字在類內部有兩種含義：**靜態資料成員**（類級別共享變數）與**靜態函數成員**（類級別共享函數）。本文系統總結其語法、初始化規則、存取方式、常見陷阱與最佳實務。

一、靜態資料成員

1. 定義與宣告

class Point {
public:
    Point(int x=0, int y=0) : x_(x), y_(y) { ++count_; }
    ~Point() { --count_; }
    static int get_count() { return count_; } // 靜態函數存取
private:
    int x_, y_;
    static int count_; // 宣告（非定義）
};

// 類外定義（必須！分配儲存空間）
int Point::count_ = 0;

2. 核心特性

• 屬於類，不屬於物件：不佔用物件記憶體佈局（sizeof(Point) 不含 count_）
• 全域唯一實體：所有物件共享同一份 count_
• 存取方式：Point::count_（推薦）或 obj.count_（語法糖，編譯器轉為類名存取）
• 初始化時機：主執行緒啟動前（靜態初始化階段），早於任何物件建構

3. 常見陷阱

1. 忘記類外定義 → 連結錯誤 undefined reference to Point::count_
2. 在內聯函數中存取：C++17 前內聯函數見不到類外定義的靜態成員（需改為 inline static int count_ = 0; C++17）
3. 多執行緒競態：++count_ 非原子 → 需 std::atomic 或鎖保護

二、靜態函數成員

1. 定義與限制

class Point {
public:
    static void print_count() {
        // std::cout << this->x_; // 錯誤：無 this 指標
        std::cout << count_;       // 僅能存取 static 成員
    }
private:
    static int count_;
};

• 無 this 指標：無法存取非靜態成員
• 不可虛擬：virtual static 非法
• 不可 const/volatile：無物件語境
• 存取方式：Point::print_count()（推薦）或 obj.print_count()

2. 典型用途

• 工廠方法：static Point* create(...)
• 單例模式：static Singleton& instance()
• 狀態查詢：static int get_count()
• 輔助演算法：static int compare(const Point&, const Point&)

三、C++17 inline static 現代化寫法

class Point {
public:
    Point(int x=0, int y=0) : x_(x), y_(y) { ++count_; }
    ~Point() { --count_; }
    static int get_count() { return count_; }

private:
    int x_, y_;
    inline static int count_ = 0; // 宣告即定義，無需類外定義
};

優勢：Header-only 庫友善、避免 ODR 違規、支援模板類別靜態成員。

四、靜態成員 vs 全域變數

五、最佳實務清單

1. 優先用 inline static (C++17) 簡化定義
2. 計數器、快取、註冊表等「類級別狀態」才用 static
3. 多執行緒環境下靜態資料成員必須線程安全
4. 靜態函數成員僅操作靜態資料或無狀態演算法
5. 避免在建構/解構函數中依賴其他靜態物件（初始化順序陷阱）

正確使用 static 成員，能優雅實現類級別共享狀態與工廠模式，是 C++ 物件模型的重要組成部分。