liskov-substitution-principle - Liskov 替换原则 - 覆盖方法示例

Question

假设我们有这个非常简单的类:

class A
{
    virtual int Function(int number)
    {
      return number;
    }
}

class B : A
{
    override int Function(int number)
    {
        return number + 1;
    }
}

class UseExample
{
    void Foo(A obj)
    {
        A.Function(1);
    }
}

这个例子是否违反了 LSP？。如果是这样，你能给我一个不违反原则并使用不同实现的例子吗？

这个如何:

class B : A
{
    int variable;

    override int Function(int number)
    {
        return number + variable;
    }
}

据我所知，使用变量“variable”会导致更强的先决条件，因此它违反了 LSP。但是我不完全确定在使用多态时如何遵循 LSP。

Answer 1

这是有效的，在这两种情况下它都没有违反原则。 B 可以代替 A。它只是具有不同的功能。

打破契约(Contract)的一种简单方法是如果数字 == 23 或其他内容，则在 Bs 覆盖中抛出异常:)