Liskov substitution principle
里氏替换原则是面向对象设计的一个基本原则，它是由计算机科学家Barbara Liskov于1987年提出的。该原则的核心思想是：在任何父类可以使用的地方，子类一定可以使用，并且不会影响程序的正确性。
具体来说，里氏替换原则要求子类必须完全实现父类的方法，并且不能修改父类已有的方法定义。同时，子类可以扩展父类的方法，但必须遵循父类方法的行为规范，不能改变方法的预期行为。
这个原则的目的在于保证程序的可靠性和可维护性。如果子类违反了里氏替换原则，就可能导致代码的不稳定、出错或者难以维护，因为子类可能会改变父类方法的行为，使得父类被调用的地方无法正常工作。
因此，遵循里氏替换原则是面向对象设计的重要原则之一，可以帮助我们写出更加健壮、可靠的程序。
