Liskov代换原理与虚方法

Question

我在派生类中重写了带有附加先决条件的虚拟函数。这是快照-

class Process
{
    protected virtual void ValidateDates()
    {
        if (Entity.StartDate.Date > Entity.EndDate.Date)
        {
            AddFailure("Start date cannot be later than the End date");
        }
    }
}

class InitialProcess : Process
{
    protected override void ValidateDates()
    {
        base.ValidateDates();
        if (IsImmediateProcess)
        {
            if (Entity.StartDate.Date > CurrentDateTime.Date)
            {
                AddFailure("Start date cannot be later than the current date");
            }
        }
    }
}

如果我理解正确的话，这里的代码通过附加一个先决条件打破了Liskov替换-IsImmediateProcess和其他日期检查。对吗？或者一个被重写的函数调用一个基函数，然后向它添加自己的行为，这样可以吗？

我不能将重写方法中由初始过程类型引入的条件移动到基本类型，因为它是特定于初始过程的。

在这种情况下，如果派生类重写行为并希望在不违反Liskov原则的情况下替换自己的行为，那么实现重写行为的最佳方法是什么？

Answer 1

正如亨克·霍尔特曼所说，它没有违反LSP。就是强化后置条件，不要弱化前置条件，这就可以了。

因此，它执行基类通过调用执行的操作：

base.ValidateDates();

并添加一些后置条件（加强了后置条件）：

if (IsImmediateProcess)

恕我直言

Answer 2

假设你指的是类初始过程：过程

这完全符合利斯科夫原理。

这两个类具有相同的接口，但具有不同的（扩展）行为。派生类没有不同的前置条件，它有不同的验证规则。这是很好的，不会打破任何东西。