里氏代换原则

里氏代换原则：
如果每个C1类型的对象O1，都有一个C2类型的对象O2，使得以C1定义的程序里面的O1都可以换成O2，那么就说C2是C1的一个子类。
里氏代换原则要求在使用基类的地方其子类也一定适用，这条原则是在进行OOD时候对对象抽象过程中的一个验证方法。比若说设计了一个超类A，我们又设计了 A的子类，那么检查我们的设计是否合理，就应该根据里氏代换原则，看看应用代码中使用到A的对象的地方，时候可以换成其子类对象也同样成立，如果不成立那 么则证明子类并不真正是超类的孩子。