里氏替换原则（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)
        {
        }
    }
}