C# 核心機制深度解析：Interface、Abstract 與 Virtual 的區別與協作

在 C# 面向對象設計中，interface（介面）、abstract（抽象類/方法）與 virtual（虛擬方法）是實現多態與擴展性的三大基石。雖然它們都涉及「契約」與「重寫」，但語義、約束與適用場景截然不同。本文通過代碼實例，系統梳理三者的異同點與最佳實踐。

一、Interface：純契約，零實現

核心規則

• 僅聲明方法、屬性、事件、索引器的簽名，不包含任何實現邏輯。
• 成員不能使用 public、abstract、virtual 等修飾符，默認即為 public。
• 不允許定義字段、構造函數、析構函數。
• 一個類可實現多個介面，以逗號分隔：class MyClass : IInterface1, IInterface2。

代碼示範

public interface IPerson
{
    void GetName();                    // 正確：無參方法
    void GetAge(string id);            // 正確：帶參方法
    
    // IPerson() { }       // 編譯錯誤：不可有構造函數
    // string Name;        // 編譯錯誤：不可有字段
    // public void Show(); // 編譯錯誤：不可加修飾符
}

實現介面

public class Chinese : IPerson
{
    public Chinese() { }               // 自身構造函數合法
    
    public void GetName() 
    { 
        Console.WriteLine("Chinese.GetName"); 
    }
    
    public void GetAge(string id) 
    { 
        Console.WriteLine($"Chinese.GetAge: {id}"); 
    }
}

二、Abstract：不完整的類，強制子類完成

核心規則

• 包含 abstract 方法的類必須聲明為 abstract class。
• 抽象類不能直接實例化，只能作為基類被繼承。
• 抽象方法只有聲明，無方法體，派生類必須用 override 實現。
• 抽象類可同時包含：抽象方法、虛擬方法、普通方法、字段、構造函數。

代碼示範

public abstract class Book
{
    public Book() { Console.WriteLine("Book ctor"); }
    
    public abstract void GetPrice();           // 必須由子類實現
    
    public virtual void GetName()              // 可選覆蓋
    {
        Console.WriteLine("Book.GetName");
    }
    
    public void GetDate()                      // 普通方法，子類用 new 隱藏
    {
        Console.WriteLine("Book.GetDate");
    }
}

public class JavaBook : Book
{
    public override void GetPrice()            // 必須實現
    {
        Console.WriteLine("JavaBook.GetPrice: $39.9");
    }
    
    public override void GetName()             // 選擇覆蓋
    {
        Console.WriteLine("JavaBook.GetName: Effective Java");
    }
    
    // 不覆蓋 GetDate()，調用基類實現
}

多態行為驗證

Book book = new JavaBook();
book.GetPrice();   // 輸出: JavaBook.GetPrice: $39.9  (動態綁定)
book.GetName();    // 輸出: JavaBook.GetName: Effective Java
book.GetDate();    // 輸出: Book.GetDate               (靜態綁定)

三、Virtual：可選覆蓋的默認實現

核心規則

• virtual 方法提供完整默認實現，派生類可選擇性用 override 覆蓋。
• 若派生類不覆蓋，直接繼承基類邏輯。
• 若派生類定義同名方法但不加 override，編譯器發出警告，實際行為等同 new 隱藏（非多態）。

public abstract class Base
{
    public virtual void VirtualMethod() { Console.WriteLine("Base.Virtual"); }
    public void NormalMethod() { Console.WriteLine("Base.Normal"); }
}

public class Derived : Base
{
    public override void VirtualMethod() { Console.WriteLine("Derived.Virtual"); } // 多態
    public new void NormalMethod() { Console.WriteLine("Derived.Normal"); }         // 隱藏
}

Base obj = new Derived();
obj.VirtualMethod(); // Derived.Virtual  (動態分派)
obj.NormalMethod();  // Base.Normal      (靜態分派)