跳至主要内容

💡 里氏替換原則

Liskov substitution principle

  • 子類別可以擴充父類的功能,但不可以改變它原有的功能
  • 實作繼承後,需要確保他的型別被轉換後還可以獲得正確的結果
  • 只有在類別之間是 is-a 關係時才能用繼承

必須符合四個繼承的規範

  1. 完全實作父類的方法
  2. 子類別可以擁有他自己的特性
  3. Overload 時要注意傳入參數型別的父子關係
  4. 輸出的父子關係也需要注意

範例

using System;

// 父類 Animal
public class Animal
{
// 父類方法 MakeSound
public virtual void MakeSound()
{
Console.WriteLine("The animal makes a sound.");
}
}

// 子類 Dog
public class Dog : Animal
{
// 子類重寫父類方法 MakeSound
public override void MakeSound()
{
Console.WriteLine("The dog barks.");
}

// 子類自己的方法 Fetch
public void Fetch()
{
Console.WriteLine("The dog fetches the ball.");
}
}

// 子類 Cat
public class Cat : Animal
{
// 子類重寫父類方法 MakeSound
public override void MakeSound()
{
Console.WriteLine("The cat meows.");
}

// 子類自己的方法 Scratch
public void Scratch()
{
Console.WriteLine("The cat scratches the furniture.");
}
}

public class Program
{
public static void Main(string[] args)
{
// 使用父類引用變數指向子類對象
Animal animal1 = new Dog();
animal1.MakeSound(); // 輸出: The dog barks.

Animal animal2 = new Cat();
animal2.MakeSound(); // 輸出: The cat meows.

// 調用子類特有的方法
Dog dog = new Dog();
dog.Fetch(); // 輸出: The dog fetches the ball.

Cat cat = new Cat();
cat.Scratch(); // 輸出: The cat scratches the furniture.
}
}