了解Liskov和OCP之间的关系

Question

我正在巩固我对里氏替代校长和开闭校长之间关系的理解。如果有人能证实我的推论并回答我的问题，那就太好了。

我有以下课程。如您所见，B 派生自 A，并且它重写了 DisplayMessage 函数以更改行为。

public class A
{
    private readonly string _message;

    public A(string message)
    {
        _message = message;
    }

    public virtual void DisplayMessage()
    {
        Console.WriteLine(_message);
    }
}

public class B : A
{
    public B(string message) : base(message){}

    public override void DisplayMessage()
    {
        Console.WriteLine("I'm overwriting the expected behavior of A::DisplayMessage() and violating LSP >:-D");
    }
}

现在，在我的引导程序中，ShowClassTypeis 需要一个 A 类型的对象，该对象应该有助于写出它是什么类 Type。然而，B 违反了 LSP，因此当调用它的 DisplayMessage 函数时，它会打印一条完全意外的消息，并且本质上干扰了 ShowClassType 的预期目的。

class Program
{
    static void Main(string[] args)
    {
        A a = new A("I am A");
        B b = new B("I am B");

        DoStuff(b);

        Console.ReadLine();
    }

    private static void ShowClassType(A model)
    {
        Console.WriteLine("What Class are you??");
        model.DisplayMessage();
    }
}

所以我的问题是，我得出的结论是否正确，ShowClassType 现在违反了开放关闭原则，因为现在类型 B 可以进入并更改该方法的预期功能，它不再关闭以进行修改（即，为了确保它保持预期的行为，您必须对其进行更改，以便它首先检查以确保我们仅使用原始 A 对象）？

或者，相反，这只是一个很好的例子，表明 ShowClassType 已关闭以进行修改，并且通过传入派生类型（尽管违反了 LSP）我们已经扩展了它的用途？

最后，如果基类不是抽象的，在基类上创建虚函数是不是不好的做法？这样做，我们不就是在邀请派生类违反里氏替换原则吗？

干杯

Answer 1

我想说，ShowClassType 并不违反开放/封闭原则。
只有B类违反了里氏替换原理。 A 对扩展开放，但对修改关闭。
来自维基百科，

实体可以允许修改其行为而不改变其源代码。

很明显A的源码没有被修改。也没有使用 A 的私有成员（这也违反了我书中的开放/封闭原则）。 B 严格使用 A 的公共接口，因此虽然遵循开闭原则，但违反了里氏替换原则。

最后一个问题本身就值得讨论。 SO 的相关问题是这里。

Answer 2

我认为在这种使用情况下，这并不违反LSP，也不违反OCP。

在我看来，ShowClassType 并不违反 OCP：
1.函数不能打破OCP，只有类架构可以做到这一点。
2. 您可以向 A 的派生类添加新行为 - 这样就不会破坏 OCP

LSP 怎么样？您的原因 - 用户不希望收到此消息？但他得到了一些消息！如果函数重写返回一些消息，我认为在您的代码的此上下文中是可以的。
如果将两个数字相加的函数被覆盖，并且 1+1 返回 678，这对我来说是不可预期的，而且很糟糕。但是，如果对于来自火星的物理学科学家来说，这可能是一个很好的答案。

不要在没有所有上下文的情况下分析问题！你必须全面了解问题。当然，