C++ 面向對象：static 靜態成員與實例成員的關係詳解

經典 C++ 面試題：分析結構體 A 中 static int x 與 int y 的關係，以及實例化物件 a(4,7) 後，a.x、a.y、A::x、A::y 之間的等價關係。

代碼結構分析

struct A {
    static int x;  // 靜態成員：屬於類別，全程式僅一份
    int y;         // 實例成員：屬於物件，每個物件各有一份
    
    public:
    operator int() { return x - y; }
    A operator++(int) { return A(x++, y++); }
    A(int x = ::x + 2, int y = ::y + 3) { A::x = x; A::y = y; }
    int& h(int& x);
};

核心概念：靜態 vs 實例成員

實例化 A a(4,7) 後的關係

關於 x (靜態成員)

• a.x、A::x、b.x、c.x **全部指向同一個記憶體位置**
• 修改任一處，所有存取點看到的值都改變
• 結論：a.x == A::x == b.x == c.x 恆成立

關於 y (實例成員)

• a.y、b.y、c.y **各自獨立**，互不相等 (除非巧合賦值相同)
• A::y **語法錯誤**：靜態存取無法用於非靜態成員
• 結論：a.y、b.y、c.y 互不相等；A::y 不存在

建構子中的陷阱分析

A(int x = ::x + 2, int y = ::y + 3) { 
    A::x = x;  // 參數 x 遮蔽 static x，這裡賦值給 static x
    A::y = y;  // 參數 y 遮蔽實例 y，這裡賦值給實例 y
}

• 參數 x、y 與成員同名，**參數遮蔽成員**
• A::x 明確指定靜態成員，A::y 明確指定實例成員 (需透過 this 隱含)
• 預設參數 ::x、::y 引用**全域變數** (非類別成員)

完整關係總結表

面試加分點：記憶體佈局視角

// 記憶體佈局概念圖
全域/靜態區:
+------------------+
| A::x (4 bytes)   | ← 唯一一份，所有 A 物件共享
+------------------+

堆疊/堆區 (物件 a):
+------------------+
| a.y (4 bytes)    | ← a 專屬
+------------------+

堆疊/堆區 (物件 b):
+------------------+
| b.y (4 bytes)    | ← b 專屬，與 a.y 完全無關
+------------------+

總結

static 成員屬於類別，實例成員屬於物件。這是 C++ 物件模型的基石：

• x 是「類別的 x」，不屬於任何物件，所有物件共享
• y 是「物件的 y」，每個物件擁有獨立副本
• A::y 是語法錯誤，切勿混淆

理解這點，對掌握 C++ 記憶體模型、避免靜態成員競態條件、設計單例模式等都至關重要。