里氏替换原则：子类可以覆盖父类的非抽象方法

什么是里氏替换原则

里氏替换原则（Liskov Substitution Principle，简称LSP）是面向对象设计中的一个基本原则，由Barbara Liskov和Jeannette Wing发明。其中，LSP的主要思想是，子类对象（或实例）应该可以完全替换父类对象，而程序仍然能够正确运行。 换句话说，这个原则表明“在所有需要父类的地方，都可以使用其子类对象”。例如，在一个基于动物的应用程序中，狗是动物的一种，因此我们可以将狗的对象作为动物对象的替代品使用，而程序仍然能正常工作。

LSP如何实现

要在程序中实现LSP，最重要的是确保子类覆盖（或扩展）父类的方法时，它们具有相同的“输入-输出”行为。也就是说，任何一个对父类方法调用的预期结果，都不能被子类所改变。 这就涉及到参数传递和返回值类型等方面。当我们创建子类时，应始终将父类的方法重写为返回相同类型、具有相同输入参数并产生相同行为（即遵守父类方法的“合约”）的子类方法。 例如，如果我们有一个动物类Animal，其中有一个makeSound()方法，它返回动物发出的声音。然后我们可以创建子类Dog，它覆盖makeSound()并返回一个“汪汪声”。这意味着，当我们用一个Dog对象代替Animal对象时，makeSound()方法仍然返回一个声音（“汪汪声”）。

为什么要使用LSP

在实际编程中，使用LSP有助于编写健壮、易于扩展和维护的代码。这是因为，当所有代码都遵守LSP时，代码会更加灵活，可以接受新的实现和功能，而无需修改现有代码。 LSP还有助于定义正确的类层次结构。我们可以根据需要扩展类并确保新类与现有类功能相同，同时实现新的功能。这样，我们就可以在不破坏现有代码的前提下，对系统进行维护和修改。 ，LSP是一个重要的面向对象原则，它可以确保类层次结构中的正确性和稳定性。它还促进了代码的重用和扩展，同时提高了系统的可靠性和可维护性。