里氏替换原则

1.定义:如果对每一个类型为T1的对象o1,都有类型为T2的对象o2,       使得以T1定义的所有程序P在所有的对象o1都替换成o2时,               程序P的行为没有发生变化,那么类型T2是类型T1的子类型。 2.定义扩展:一个软件实体如果适用一个父类的话,那一定适用于其子类,         所有引用父类的地方必须能透明地使用其子类,         子类对象能够替换父类对
相关文章
相关标签/搜索