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

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

• 继承是用来扩展超类的功能，而不是置换或者撤销超类的功能。
• java.util.Properties和java.util.HashTable违反里氏代换原则。