里氏替换原则(Liskov Substitution Principle,LSP)是指如果对每个类型为T1的对象o1,都有类型为T2的对象o2,使得以T1定义的所有程序P在所有的对象o1都替换成o2时,程序P的行为没有发生变化,那么类型T2是类型T1的子类型。定义看上去还是比较抽象,我们重新理解一下...