Liskov 替换原则与普通继承有何不同？

Question

我正在尝试理解 Liskov 替换原则。但我无法确定 Liskov 替换原则与正常继承有何不同。 下面的代码是关于正常继承的。我应该怎么做下面的代码说我的代码遵循了 Liskov 替换原则

    public class ClassA
    {
        public virtual void MethodA()
        {
            Console.WriteLine("-----------------ClassA.MethodA---------------------");
        }

        public virtual void MethodB()
        {
            Console.WriteLine("-----------------ClassA.MethodB---------------------");
        }
    }

    public class ClassB: ClassA
    {
        public override void MethodA()
        {
            Console.WriteLine("-----------------ClassB override ClassA.MethodA---------------------");
        }
    }

Answer 1

这是一个常见的定义：

https://www.tomdalling.com/blog/software-design/solid-class-design-the-liskov-substitution-principle/

里氏替换原则 (LSP)：使用指针的函数 基类必须能够使用派生类的对象，而无需 知道。

这里有更严格的解释：

https://en.wikipedia.org/wiki/Liskov_substitution_principle

.. Liskov 替换原则 (LSP) 是子类型关系的特定定义，称为（强）行为子类型，最初由 Barbara Liskov 在 1987 年的会议主题演讲中引入，标题为“数据抽象和层次结构”。它是一种语义关系，而不仅仅是句法关系，因为它旨在保证层次结构中类型的语义互操作性，尤其是对象类型。 Barbara Liskov 和 Jeannette Wing 在 1994 年的一篇论文中简洁地描述了该原理如下：

子类型要求：

Let ϕ ( x ) be a property provable about objects x of type T. Then ϕ ( y ) should be true for objects y of type S where S is a subtype of T.

Liskov 原则对新的面向对象编程语言中采用的签名提出了一些标准要求（通常在类级别而不是类型级别；请参阅名义子类型与结构子类型的区别）：

• 子类型中方法参数的逆变。
• 子类型中返回类型的协方差。
• 不应由子类型的方法引发新的异常，除非这些异常本身是由超类型的方法引发的异常的子类型。

除了签名要求外，子类型还必须满足许多行为条件。这些在类似于按合约方法设计的术语中进行了详细说明，从而导致对合约如何与继承交互的一些限制：

• 先决条件不能在子类型中得到加强。
• 不能在子类型中削弱后置条件。
• 超类型的不变量必须保留在子类型中。
• 历史约束（“历史规则”）。对象被认为只能通过它们的方法（封装）进行修改。因为子类型可能会引入超类型中不存在的方法，这些方法的引入可能会允许子类型中的状态更改在超类型中是不允许的。历史约束禁止这样做。

问：你的例子符合吗？

A：我不这么认为。因为 A.MethodA() 在语义上与 B.MethodA() 是“不同的”。 ClassB 没有通过The Duck Test。

我提出这个反例：

public class ClassA {
  public virtual void MethodA() {
    Console.WriteLine("ClassA.MethodA");
  }

  public virtual void MethodB(){
    Console.WriteLine("ClassA.MethodB");
  }
}

public class ClassC: ClassA {
  public void MethodC() {
    Console.WriteLine("ClassC.MethodC");
  }
}

这也是为什么 LSP 不“与”继承“相同”的一个很好的例子。