“里氏替换原则”的版本间的差异

2023年2月6日 (一) 08:55的版本

Liskov Substitution Principle，LSP，它有两种定义：

如果每一个类型为 S 的对象 o1，都有类型为 T 的对象 o2，

使得以 T 定义的所有程序 P 在所有的对象 o1 都替换成 o2 时，程序 P 的行为没有发生变化，那么类型 S 是类型 T 的子类型。

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

第二个定义是最清晰明确的，通俗点讲，只要父类能出现的地方子类就可以出现，而且替换为子类也不会产生任何错误或异常，使用者可能根本就不需要知道是子类还是父类。

但是反过来就不行了，有子类出现的地方，父类未必就能适应。

示例：

/**
 * 枪支的抽象类
 */
public abstract class AbstractGun {

    //强用来干什么的？杀敌！
    public abstract void shoot();

}

注意：

在类中调用其他类时务必要使用父类或接口，如果不能使用父类或接口，则说明类的设计已经违背了 LSP 原则；

如果子类不能完整地实现父类的方法，或者父类的某些方法在子类中已经发生“畸变”，则建议断开父子继承关系，采用依赖、聚集、组合等关系代替继承。

《设计模式之禅》

@@ 第20行： / 第20行： @@
 ==== 子类必须完全实现父类的方法 ====
-注意：
+示例：<syntaxhighlight lang="java">
+/**
+ * 枪支的抽象类
+ */
+public abstract class AbstractGun {
+    //强用来干什么的？杀敌！
+    public abstract void shoot();
+}
+</syntaxhighlight>注意：
 在类中调用其他类时务必要使用父类或接口，如果不能使用父类或接口，则说明类的设计已经违背了 LSP 原则；