里氏代换原则由2008年图灵奖得主、美国第一位计算机科学女博士Barbara Liskov教授和卡内基·梅隆大学Jeannette Wing 教授于1994年提出,所以使用的是这位女博士的性命名的一个设计原则。
里氏替换原则(Liskov Substitution Principle, LSP):所有引用父类的地方必须能使用其子类的对象。
从这个概念可以看出这个原则是面向对象多态的一种具体实践。通俗来讲 “老爸能干的事情,儿子都能干”, 因为儿子继承了老爸的基因。 反过来讲就不对了,时代在变化,新一代虽然继承了老一代的优良传统,但是在时代的影响下,新一代有了一些新的特性,老一代可能就不具备了,比如现在的年轻人会打游戏,但是他爸不一定会。老爸会骑自行车,换成儿子也能骑。
同样的里氏代换原则告诉我们,在软件中将一个基类对象替换成它的子类对象,程序将不会产生任何错误和异常,反过来则不成立,如果一个软件实体使用的是一个子类对象的话,那么它不一定能够使用父类对象。
我们定义一个父类叫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