java与模式之—里氏代换原则（LSP）

注：本文大部份内容引用《java与模式》一书。 LSP定义： 若是对每个类型为T1的对象o1,都有类型为T2的对象o2，使得T1定义的全部程序P在全部的对象o1都替换成o2后，程序P的行为没有变化，那么类型T2是类型T1的子类。 我的理解：若是把一个程序中的全部基类都替换成基类的子类，那么这个程序是不会发生变化的。 java语言针对里氏代换原则的支持： 子类不能将从基类中继承而来的方法从公开变为私

>>阅读原文<<