里氏代換原則由2008年圖靈獎得主、美國第一位計算機科學女博士Barbara Liskov教授和卡內基·梅隆大學Jeannette Wing 教授于1994年提出,所以使用的是這位女博士的性命名的一個設計原則。
里氏替換原則(Liskov Substitution Principle, LSP):所有引用父類的地方必須能使用其子類的對象。
從這個概念可以看出這個原則是面向對象多態(tài)的一種具體實踐。通俗來講 “老爸能干的事情,兒子都能干”, 因為兒子繼承了老爸的基因。 反過來講就不對了,時代在變化,新一代雖然繼承了老一代的優(yōu)良傳統(tǒng),但是在時代的影響下,新一代有了一些新的特性,老一代可能就不具備了,比如現(xiàn)在的年輕人會打游戲,但是他爸不一定會。老爸會騎自行車,換成兒子也能騎。
同樣的里氏代換原則告訴我們,在軟件中將一個基類對象替換成它的子類對象,程序將不會產(chǎn)生任何錯誤和異常,反過來則不成立,如果一個軟件實體使用的是一個子類對象的話,那么它不一定能夠使用父類對象。
我們定義一個父類叫Animal, 其包含一個方法叫Say如下:
public class Animal { private readonly string _sayContent; public Animal(string sayContent) { _sayContent = sayContent; } public virtual void Say() { Console.WriteLine($"Animal Say:{_sayContent}"); } }
再定義一個子類Pig 集成自Animal,并覆蓋父類中的Say 方法如下:
public class Pig:Animal { private readonly string _sayContent; public Pig(string sayContent) : base(sayContent) { &nbs