C# 靜態建構函數與抽象類別建構函數面試經典陷阱解析

陷阱一：靜態建構函數觸發時機

class Base
{
    static Base() { Console.WriteLine("Static Base"); }
    public Base() { Console.WriteLine("Base"); }
}

問題：`new Base()` 輸出什麼？

錯誤直覺：只輸出 "Base" (以為靜態建構函數不會被觸發)。

正確輸出：

Static Base
Base

規則 (依據 ECMA-334 / MSDN)：

1. 靜態建構函數在**第一次存取該類別的任何靜態/實例成員前**自動由 CLR 呼叫一次。
2. 建立實例 (`new Base()`) 屬於存取實例成員，故先觸發靜態建構函數。
3. 僅宣告變數 `Base b = null;` **不會**觸發。

繼承鏈中的呼叫順序

class Child : Base
{
    static Child() { Console.WriteLine("Static Child"); }
    public Child() { Console.WriteLine("Child"); }
}

`new Child()` 輸出：

Static Child
Static Base
Base
Child

順序口訣：子類靜態 → 父類靜態 → 父類實例 → 子類實例 (與實例建構函數順序相反)。

陷阱二：抽象類別可以有建構函數嗎？

abstract class A
{
    public A() { PrintFields(); }
    public virtual void PrintFields() { }
}

class B : A
{
    int x = 1;
    int y;
    public B() { y = -1; }
    public override void PrintFields() => Console.WriteLine($"x={x}, y={y}");
}

問題：`new B()` 輸出什麼？

常見誤區：抽象類別不能實例化，所以不能有建構函數 / 編譯錯誤。

事實：抽象類別可以且通常應定義建構函數**，供衍生類別呼叫初始化基底狀態。