里氏代换原则

里氏代换原则

是Barbara Liskov女士在1988年发表的[ASD]

具体的数学定义比较复杂，可以查找相关资料

白话翻译

一个软件实体如果使用的是一个父类的话，那么一定适用于其子类，而且它察觉不出父类对象和子类对象的区别。

也就是说，在软件里面，把父类都替换成它的子类，程序的行为没有变化

简单的说，子类必须能够替换掉他们的父类[ASD]

 

也正是因为这个原则，使得继承复用成为了可能，只有当子类可以替换掉父类，软件单位的功能不受到影响时，父类才能真正的被复用，而子类也能够在父类的基础上新增新的行为。

比方说：

猫是集成动物类得，以动物的身份拥有吃、喝、跑、叫等行为

当某天，我们需要给狗、牛、羊也要赋值类似的行为时，我们就直接让他们继承动物的父类

这样出了更改实例化的地方，程序其他处不需要改变