oop - Liskov 替换原则是否适用于从抽象类继承的子类型？

Question

松散地说，里氏替换原则指出派生类可以替代基类而不影响用户。
如果基类是抽象类，即没有用户使用基类的实例，那么 Liskov 继承限制是否仍然适用于派生类？

Answer 1

仅仅因为你不能实例化一个特定的类并不意味着你不能使用它。在这种情况下，调用代码使用抽象基类作为其操作所依据的合约的定义。从这个意义上说，从基类派生的每个类都应该相对于基类定义的接口(interface)是可互换的，所以是的，Liskov 仍然适用。事实上，这是您希望为具有某些共同行为的类集合创建一个抽象基类的主要原因之一——因此您可以根据基类接口(interface)定义操作，而不用关心哪个派生类你实际上是在操作。