C#面向對象編程中裡氏替換原則的示例詳解

Posted on by

在面向對象編程中，SOLID 是五個設計原則的首字母縮寫，旨在使軟件設計更易於理解、靈活和可維護。這些原則是由美國軟件工程師和講師羅伯特·C·馬丁(Robert Cecil Martin)提出的許多原則的子集，在他2000年的論文《設計原則與設計模式》中首次提出。

SOLID 原則包含：

  • S：單一功能原則（single-responsibility principle）
  • O：開閉原則（open-closed principle）
  • L：裡氏替換原則（Liskov substitution principle）
  • I：接口隔離原則（Interface segregation principle）
  • D：依賴反轉原則（Dependency inversion principle）

本文我們來介紹裡氏替換原則。

裡氏替換原則

在面向對象的程序設計中，裡氏替換原則（Liskov Substitution principle）是對子類型的特別定義。它由芭芭拉·利斯科夫（Barbara Liskov）在1987年的一次會議上，在名為“數據的抽象與層次”的演說中首次提出。

裡氏替換原則的內容可以描述為：“派生類（子類）對象可以在程序中代替其基類（超類）對象。”

也就是說，程序中的對象不管出現在什麼地方，都應該可以使用其派生類（子類）的對象進行替換，而不影響程序運行的正確性。

C# 示例

我們看這樣一個示例，假設一個企業有三種員工，一種是拿鐵飯碗的永久雇員，一種是合同工，一種是臨時工。我們設計幾個類來表示這三種員工。

糟糕的示范

先定義一個 Employee 基類。

public abstract class Employee
{
    public string Name { get; set; }
    /// <summary>
    /// 計算獎金
    /// </summary>
    /// <returns></returns>
    public abstract decimal CalculateBonus();
}

再定義該基類的三個子類：

/// <summary>
/// 永久雇員
/// </summary>
public class PermanentEmployee : Employee
{
    public override decimal CalculateBonus()
    {
        return 80000;
    }
}

/// <summary>
/// 合同工
/// </summary>
public class ContractEmployee : Employee
{
    public override decimal CalculateBonus()
    {
        return 2000;
    }
}

/// <summary>
/// 臨時工（臨時工沒有獎金）
/// </summary>
public class TemporaryEmployee : Employee
{
    public override decimal CalculateBonus()
    {
        throw new NotImplementedException(); //違反裡氏替換原則
    }
}

接下來在 Main 方法中調用它們。

先定義一個類型為基類 Employee 的變量 e，再分別使用其子類 PermanentEmployee、ContractEmployee 和 TemporaryEmployee 創建對象賦值給基類變量 e，然後調用 e 的 CalculateBonus() 方法。

static void Main(string[] args)
{
    Employee e;

    e = new PermanentEmployee() { Name = "張三" };
    Console.WriteLine($"{e.Name} 的年終獎是 {e.CalculateBonus()} 元");

    e = new ContractEmployee() { Name = "李四" };
    Console.WriteLine($"{e.Name} 的年終獎是 {e.CalculateBonus()} 元");

    e = new TemporaryEmployee() { Name = "王五" };
    Console.WriteLine($"{e.Name} 的年終獎是 {e.CalculateBonus()} 元");
}

運行一下可以觀察到（顯而易見的），當使用 PermanentEmployee 和 ContractEmployee 類創建的對象替換基類型 Employee 的變量 e 時，調用 CalculateBonus() 方法可以正常運行，但是使用 TemporaryEmployee 類創建的對象替換變量 e 時，調用 CalculateBonus() 方法拋出瞭異常，導致程序無法正常運行。這就明顯違反瞭裡氏替換原則。

那麼，應該如何改進一下呢？

正確的示范

我們看到，每種員工都有基本信息 Name 屬性，但是由於臨時工 TemporaryEmployee 沒有獎金，所以不需要計算獎金。因此我們應該把計算獎金的方法 CalculateBonus 單獨抽象出去，而不是讓它們都繼承於同一個基類，並將 TemporaryEmployee 子類中的 CalculateBonus 方法拋出一個異常。

改進後的代碼：

interface IEmployee
{
    /// <summary>
    /// 計算年終獎
    /// </summary>
    /// <returns></returns>
    public decimal CalculateBonus();
}

public abstract class Employee
{
    public string Name { get; set; }
}

/// <summary>
/// 永久雇員
/// </summary>
public class PermanentEmployee : Employee, IEmployee
{
    public decimal CalculateBonus()
    {
        return 80000;
    }
}

/// <summary>
/// 合同工
/// </summary>
public class ContractEmployee : Employee, IEmployee
{
    public decimal CalculateBonus()
    {
        return 2000;
    }
}

/// <summary>
/// 臨時工
/// </summary>
public class TemporaryEmployee : Employee
{
}

在 Main 方法中，將調用它們的測試代碼改為：

static void Main(string[] args)
{
    Employee e;
    IEmployee ie;

    var p = new PermanentEmployee() { Name = "張三" };
    e = p;
    ie = p;
    Console.WriteLine($"{e.Name} 的年終獎是 {ie.CalculateBonus()} 元");

    var c = new ContractEmployee() { Name = "李四" };
    e = c;
    ie = c;
    Console.WriteLine($"{e.Name} 的年終獎是 {ie.CalculateBonus()} 元");

    e = new TemporaryEmployee() { Name = "王五" };
    Console.WriteLine($"{e.Name} 是臨時工，無年終獎。");
}

程序運行正常。

這樣，這些子類的設計便遵循瞭裡氏替換原則。

總結

本文我介紹瞭 SOLID 原則中的裡氏替換原則（Liskov substitution principle），並通過 C# 代碼示例簡明地詮釋瞭它的含意和實現，希望對您有所幫助。

參考文檔：

https://www.c-sharpcorner.com/blogs/liskov-substitution-principle-in-c-sharp

以上就是C#面向對象編程中裡氏替換原則的示例詳解的詳細內容，更多關於C#裡氏替換原則的資料請關註WalkonNet其它相關文章！

推薦閱讀：