「深度学习福利」大神带你进阶工程师，立即查看>>> 什么是里氏代换原则？
严格的表达是:如果对每一个类型为T1的对象o1,都有类型为T2的对象o2,使得以T1定义的所有程序P在所有的对象o1都替换成o2时，程序P的行为没有变化，那么类型T2是类型T1的子类型。换句话说，一个软件实体如果使用的是一个基类的话，那么一定适用于其子类，而且他根本不能察觉出基类对象和子类对象的区别。
假设有两个类，一个是Base类，另一个是Derived类，并且Derived类是Base类的子类。那么一个方法如果可以接受一个基类对象b的话：
method(Base b)
那么他必然可以接受一个子类对象d,也即可以有method(d)。则反过来不成立。