里式代换原则

• 子类型必须能够替换掉它们的父类型
• 一个软件实体如果使用的是一个父类的话，那么一定适用于其子类，而且它察觉不出父类对象和子类对象的区别。也就是说，在软件里面，把父类都替换成它的子类，程序的行为没有任何变化。
• 由于子类型的可替换性才使得使用父类类型的模块在无需修改的情况下可以扩展