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