里氏替换原则（Liskov Substitution Principle）

在面向对象的程序设计中，里氏替换原则（Liskov Substitution principle）是对子类型的特别定义。它由芭芭拉·利斯科夫（Barbara Liskov）在1987年在一次会议上名为“数据的抽象与层次”的演说中首先提出。里氏替换原则的内容可以描述为： “派生类（子类）对象可以在程式中代替其基类（超类）对象。”，所有引用基类的地方必须能透明化地使用其子类的对象。多态是一种面向对象的机制（面向对象三大特性之一），它包括静态多态（函数重载）和动态多态（函数覆盖，或者成为动态绑定），通常是指动态多态，即程序在运行时，子类对象的行为（方法）可以覆盖父类对象的行为（方法）。而里氏代换原则(LSP)是一种面向对象设计原则，任何使用父类的地方都可以使用子类对象，使得我们可以针对父类编程，而运行时再确定使用哪个子类对象，从而提高系统的可扩展性和可维护性。在里氏代换原则中，实际上也使用了多态机制，子类对象在覆盖父类对象时，通过多态即可覆盖父类的行为。 子类必须完全实现父类有的方法,如果子类没有父类的某项内容，就断掉继承；子类可以有父类没有的东西，所以子类的出现的地方，不一定能用父类来代替；透明，就是安全，父类的东西换成子类后不影响程序。

例如，

1）反面示例

using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using System.Threading.Tasks;
namespace ConsoleApplication
{class Program{static void Main(string[] args){{Animal animal = new AnimalBird("鸟");animal.Eat();animal.Move();animal.Fly();}{Animal animal = new AnimalCow("牛");animal.Eat();animal.Move();animal.Fly();//牛能飞这样的设计，继承了不应该用的方法，违背里氏替换原则}Console.ReadKey();}}public class Animal{protected string _Name = null;public Animal(string name){this._Name = name;}public void Eat(){Console.WriteLine($"{this._Name} 吃东西");}public void Move(){Console.WriteLine($"{this._Name} 走路");}public void Fly(){Console.WriteLine($"{this._Name} 起飞");}}public class AnimalCow : Animal{public AnimalCow(string name) : base(name){}}public class AnimalBird : Animal{public AnimalBird(string name) : base(name){}}
}

 2）里氏替换原则

 

using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using System.Threading.Tasks;
namespace ConsoleApplication
{class Program{static void Main(string[] args){{Animal animal = new Bird("鸟");animal.Eat();animal.Move();animal.Fly();}{Animal animal = new Cow("牛");animal.Eat();animal.Move();//animal.Fly();}Console.ReadKey();}}public class Animal{protected string _Name = null;public Animal(string name){this._Name = name;}public void Eat(){Console.WriteLine($"{this._Name} 吃东西");}public void Move(){Console.WriteLine($"{this._Name} 走路");}}public class Bird : Animal{public Bird(string name) : base(name){}public void Fly(){Console.WriteLine($"{this._Name} 起飞");}}/* //其它鸟可以这样继承public class Peacock : Bird{public Cow(string name) : base(name){}} */public class Cow : Animal{public Cow(string name) : base(name){}}public class Bird : Animal{public Bird(string name) : base(name){}}
}