Liskov 替換原則（鮑勃大叔書）

Question

我在 C# 中的敏捷原則模式和實踐（鮑勃叔叔）一書中讀到，導數中退化函數的存在並不總是表明違反 LSP，但是當它們發生時值得一看。

我的問題是，有人可以舉個例子，當他們不違反 LSP 時。

Answer 1

我認為，一個很好的 C# 示例是各種流類。 抽象Stream類定義了許多可能不適用於派生類的方法。 我正在特別考慮Can[...]方法、 CanRead 、 CanSeek 、 CanTimeout等。從表面CanTimeout ，它們是不適用的派生類中的退化方法，但它們是不一定需要實現的流。 例如，引用Stream抽象類的方法可以查詢CanRead ，並根據結果做出相應的反應，即使它是退化的實現，只要退化的實現返回正確的答案。 這樣， Stream實現可能具有退化方法，但不會違反 LSP。