设计原则-里氏代换原则

一，什么里氏代换原则
   里氏代换原则的严格表达是：
   如果对每一个类型为T1的对象O1，使得以T1定义的所有程序P在所有的对象o1都代换成o2,那么类型T2是类型T1的子类型。
  
    里氏代换原则是继承复用的基石。只有当衍生类可以替换掉基类，软件单位的功能不会受到影响时，基类才能真正被复用，而衍生类也才能在基类的基础上增加新的行为。