[面向对象六大原则] 里氏替换原则(LSP)

里氏替换原则 - Liskov Substitution Principle

定义一：如果对每一个类型为S的对象O1，都有类型为T的对象O2，使得以T定义的所有程序P在所有的对象O1都替换成O2时，程序P的行为没有发生变化，那么类型S是类型T的子类型。

定义二：所有引用基类的地方必须能透明地使用其子类的对象。

通俗来讲：只要父类能出现的地方子类就可以出现，而且替换为子类也不会出现错误和异常，使用者根本不需要知道是父类还是子类。但是反过来就不可以，有子类出现的地方，父类未必就能适应。

里氏替换原则依赖于面向对象设计语言三大特性中的“继承”和“多态”。

里氏替换原则的核心原理是抽象。抽象是依赖于继承这个特性。

继承的优点：

①代码重用，减少创建类的成本，每个子类都拥有父类的方法和属性；

②子类与父类基本相似，但又与父类有所区别；

③提高代码的可扩展性。

继承的缺点：

①继承是侵入性的，只要继承就必须拥有父类的方法和属性；

②可能造成子类代码冗余、灵活性降低，因为子类必须拥有父类的方法和属性。