为什么弱化前提条件不违反利斯科夫替代原则

Question

我正在详细学习LSP，我确实理解为什么强化先决条件违反了这一原则（使用来自http://www.ckode.dk/programming/solid-principles-part-3-liskovs-substitution-principle/#contravariance):

public class SuperType  
{  
    public virtual string FormatName(string name)  
    {  
        if (string.IsNullOrEmpty(name))  
            throw new ArgumentException("name cannot be null or empty", "name");  
        return name;  
    }  
}  

//VIOLATING ONE
public class LSPIllegalSubType : SuperType  
{  
    public override string FormatName(string name)  
    {  
        if (string.IsNullOrEmpty(name) || name.Length < 4)  
            throw new ArgumentException("name must be at least 4 characters long", "name");  
        return name;  
    }  
}  

在这里，我清楚地看到，对于基类有效的东西对于它的派生类将失败。换句话说，在不改变行为的情况下，我无法用基类的导数替换基类。

现在，以下方法被认为是合法的，因为它削弱了先决条件：

    public class LSPLegalSubType : SuperType  
{  
    public override string FormatName(string name)  
    {  
        if (name == null)  
            throw new ArgumentNullException("name");  
        return name;  
    }  
}  

引用站点：这是完全合法的，因为超类型的任何有效参数在子类型中也是有效的。

好吧，但是无效参数呢？如果我有一个用无效参数（例如空名称）调用超类型的代码，它将失败。如果我用子类型替换它，相同的调用不会失败，因为条件较弱。因此，在这个意义上，我不能用子类型替换超类型，因为它也会改变行为。我很困惑。

Answer 1

带有前置和后置条件的方法是声明当调用方满足前置条件时，它保证后置条件在退出时得到满足。然而，合同没有说明如果先决条件不满足会发生什么——仍然允许该方法成功完成。因此，子类型可以削弱先决条件，因为如果调用者不能满足子类型的先决条件，他们就不能对方法的行为做出任何假设。

Answer 2

如果弱化了一个前提条件，则子类型仍然与需要超类型的位置兼容。它可能不会在基类正常情况下抛出异常，但这没关系，因为抛出较少的异常不会破坏使用代码。如果调用代码是基于在某些地方抛出异常的假设构建的，并将其用于应用程序的主控制流，则可能应该重写使用代码。

另外，我认为您的第二个代码示例是错误的。

如果基类的前提条件真的必须一直强制执行，更好的实现是创建封装这些规则的数据类型，并将其作为参数传递。这样它就不在子类的手中，它是新类构造函数的一部分。

前任：

public class UserName 
{
    public string Value { get; }

    public UserName(string value)
    {
        if (string.IsNullOrWhitespace(value) || value.Length < 4)
            throw new ArgumentNullException(nameof(value));

        Value = value;
    }
}

public class BaseClass 
{
    public virtual void Foo(UserName username) 
    { 
        //No precondition checks required here 
    }
}

public class DerivedClass : BaseClass
{
    public override void Foo(UserName username) 
    {
        //No precondition checks required here
    }
}