简介
什么是里氏替换原则
严格定义
如果对每一个类型为 T1的对象 o1,都有类型为 T2 的对象o2,使得以 T1定义的所有程序 P 在所有的对象 o1 都代换成 o2 时,程序 P 的行为没有发生变化,那么类型 T2 是类型 T1 的子类型。如果对每一个类型为 T1的对象 o1,都有类型为 T2 的对象o2,
什么是里氏替换原则
严格定义
如果对每一个类型为 T1的对象 o1,都有类型为 T2 的对象o2,使得以 T1定义的所有程序 P 在所有的对象 o1 都代换成 o2 时,程序 P 的行为没有发生变化,那么类型 T2 是类型 T1 的子类型。如果对每一个类型为 T1的对象 o1,都有类型为 T2 的对象o2,