抽象属性是否违反里氏替换原则？

Question

假设我有一个抽象类，例如：

public abstract class Pet {
    private final String name;
    public Pet(String name) { 
        this.name = name 
    };

    public abstract boolean getsSpecialTreatment();
}

public final class Dog extends Pet {
    @Override public boolean getsSpecialTreatment() { return true; }
}

public final class Cat extends Pet {
    @Override public boolean getsSpecialTreatment() { return false; }
}

我的程序将根据是否设置特殊处理标志来不同地对待 Pet。我的问题是这是否违反了里氏替换原则，该原则指出：

[...] 在计算机程序中，如果 S 是 T 的子类型，则类型 T 的对象可以替换为 S 类型的对象 [...] 而不改变该对象的任何所需属性程序（正确性、执行的任务等）。

Answer 1

在这种情况下，这些类的用户可能会写：

...
if (pet.getsSpecialTreatment()) {
    // special treatment
    ...
} else {
    // normal treatment
    ...
}
...

此代码适用于两种情况，因此您不会违反 LSP。但是，如果您

public class UnknownAnimal extends Pet {
    @Override public boolean getsSpecialTreatment() {
        throw new UnsupportedOperationException("Unknown species"); 
    }
}

这样做了，那么您将违反 LSP，因为使用 UnknownAnimal 实例时现有代码将被破坏。

Answer 2

不会。程序中该方法的任何使用都将基于返回值做出后续决策，就像任何其他方法一样。由于该方法存在的本质，任何程序都不应对其结果做出假设。因此，此方法返回值的更改不应更改程序的属性。

Answer 3

首先，强烈反对您对猫的歧视！

现在，当程序员引用所谓的“里氏替换原则”时，他们并不是真正在学术意义上谈论它。我们一定是在某种非正式的、粗俗的、混蛋的意义上使用它的。

这是什么意义？我发现这只不过是要求子类必须符合超类设定的契约。所以真的很无趣。人们引用这句话只是为了炫耀。

Answer 4

这取决于合同。也就是说，使用类的代码必须获得一致的行为，无论它使用什么类型的派生。

如果合同规定“getSpecialTreatment”始终返回 true，那么您将在派生类中违反这一规定。

如果合约规定“getSpecialTreatment”返回一个确定 blabla. 的布尔值，那么您就没有违反 LSP。

如果引入了基类中不存在的附加约束，则可能会违反 LSP。