C# 靜態與非靜態成員呼叫規則完整解析

編輯：關於C語言

前言

「靜態方法能否呼叫實例欄位？」「實例方法能否直接呼叫靜態方法？」這類問題在 Code Review 中頻繁出現。本文用記憶體模型、IL 指令、編譯器規則三個視角，徹底釐清靜態/非靜態成員的存取邊界與最佳實務。

一、記憶體與生命週期視角

特性	靜態成員	實例成員
所屬對象	型別本身 (Type Object)	具體實例 (Object Instance)
記憶體位置	High Frequency Heap (靜態欄位) / Code Heap (方法)	Managed Heap (實例欄位) / Code Heap (方法共用)
生命週期	AppDomain 存活期間 (或 Module 卸載)	實例被 GC 回收前
共享性	全域單一份	每個實例獨立一份
呼叫語法	`TypeName.StaticMember`	`instance.InstanceMember`

二、編譯器強制規則 (C# 語言規格)

靜態語境不可直接存取實例成員：靜態方法/屬性/建構子/欄位初始化器中，禁止直接使用 `this`、實例欄位、實例方法、實例屬性、實例事件。
實例語境可自由存取靜態成員：實例方法/屬性/建構子中，可直接呼叫靜態欄位/方法/屬性 (建議加上 `TypeName.` 前綴以利閱讀)。
靜態建構子：僅能存取靜態成員，執行緒安全、僅執行一次，先於任何靜態/實例成員存取。

三、程式碼示範：合法與非法


public class Demo
{
    // 欄位
    public static int StaticField = 1;
    public int InstanceField = 2;

    // 靜態建構子
    static Demo()
    {
        StaticField = 10;           // ✅ 合法
        // InstanceField = 20;      // ❌ CS0120: 需要物件參考
    }

    // 靜態方法
    public static void StaticMethod()
    {
        Console.WriteLine(StaticField);     // ✅
        // Console.WriteLine(InstanceField); // ❌ CS0120
        // InstanceMethod();                 // ❌ CS0120
        
        // ✅ 透過實例參數存取
        var d = new Demo();
        Console.WriteLine(d.InstanceField);
        d.InstanceMethod();
    }

    // 實例方法
    public void InstanceMethod()
    {
        Console.WriteLine(InstanceField);   // ✅ 隱含 this.InstanceField
        Console.WriteLine(StaticField);     // ✅ 直接存取靜態 (建議 Demo.StaticField)
        StaticMethod();                     // ✅ 直接呼叫靜態方法
        this.InstanceMethod();              // ✅ 遞迴
    }

    // 實例建構子
    public Demo()
    {
        InstanceField = 100;                // ✅
        StaticField = 200;                  // ✅ (但會影響所有實例)
        StaticMethod();                     // ✅
    }

    // 靜態屬性
    public static int StaticProp { get; set; } = 3;

    // 實例屬性
    public int InstanceProp
    {
        get => InstanceField;
        set => InstanceField = value;
    }
}

四、IL 層面觀察


// 靜態方法呼叫靜態欄位
IL_0000: ldsfld     int32 Demo::StaticField
IL_0005: call       void [System.Console]System.Console::WriteLine(int32)

// 實例方法呼叫實例欄位
IL_0000: ldarg.0                // this
IL_0001: ldfld      int32 Demo::InstanceField
IL_0006: call       void [System.Console]System.Console::WriteLine(int32)

// 實例方法呼叫靜態欄位
IL_0000: ldsfld     int32 Demo::StaticField
IL_0005: call       void [System.Console]System.Console::WriteLine(int32)

// 靜態方法嘗試呼叫實例欄位 → 編譯期直接報錯，不會產生 IL

`ldsfld` (load static field) vs `ldfld` (load instance field, 需要 `this` 在堆疊上)。

五、常見陷阱與最佳實務

陷阱	錯誤寫法	正確寫法
靜態方法用 this	`static void F() { this.Method(); }`	傳入實例參數 `static void F(Demo d) { d.Method(); }`
靜態屬性回傳實例狀態	`static int Count => _list.Count;` (_list 為實例欄位)	改為實例屬性，或 `_list` 改靜態
事件處理器註冊靜態方法	`btn.Click += StaticHandler;` (需存取 UI 控制項)	改實例方法，或靜態方法傳入所需控制項參考
單例模式雙重檢查	靜態欄位 `_instance` + 實例建構子邏輯混淆	用 `Lazy` 或 `static readonly` 欄位

六、設計指導原則

無狀態操作 → 靜態方法：工具函式、純函式、擴充方法。
有狀態/需多態 → 實例方法：領域模型、Repository、Service。
靜態欄位慎用：全域狀態難測試、難並發、記憶體洩漏風險。改用 DI 注入單例服務。
常數優於靜態唯讀欄位：`const` 編譯期內嵌、無執行期存取；`static readonly` 執行期初始化、支援複雜邏輯。
擴充方法必須靜態：`public static void Ext(this T t)` — 這是語法糖，本質仍是靜態方法。

七、進階：靜態建構子 vs 型別初始化器


public class BeforeFieldInit // 預設：標記 beforefieldinit
{
    public static int X = ComputeX(); // 可能在第一次存取任何靜態/實例成員前執行 (JIT 決定)
}

public class Precise // 精確語意：有靜態建構子
{
    static Precise() { X = ComputeX(); } // 保證在第一次存取本類型任何成員前執行
    public static int X;
}