里氏替换原则

里氏替换原则（LSP）是指继承必须确保父类拥有的性质在子类中仍然成立。这是一条有关继承的原则，要求在软件中只要是父类对象能够出现的地方子类就能够出现，而且将父类对象替换成子类对象后，程序不会产生任何错误和异常。反之则不成立。

在应用里氏替换原则时，子类必须完全实现父类的方法，子类可以扩展父类的功能，可以有自己的个性，但尽量不改变父类的功能，不重写父类的方法，如果子类重写父类的方法会使可复用性变差，特别别是运用多态比较频繁时，程序运行出错的概率就会非常大。

如果程序违背了里氏替换原则，则继承类的对象在基类出现的地方会出现运行错误，这时其修正方法是：取消原来的继承关系，重新设计它0们之间的关系。

里氏替换原则是继承复用的基础，是对实现抽象化的具体步骤的规范，也是对开闭原则的补充