關於LSP原則的一點思考

我們在講LSP原則的時候，講到父類和子類的關係，按照現實中的邏輯來判斷，有一個值得關注的地方： 即不能說「‘子類’是一個‘父類’」， 一般的邏輯中，我們說「飛機 是 交通工具」 「手槍 是 武器」 這些繼承都滿足我們的日常直覺。 但是我們提到了 「正方形 是 長方形」 則不滿足這樣的直覺 其根本原因在於，正方形比長方形在原有的屬性中有更強的限制，所有的長方形並沒有「強制要求」它的屬性所滿足的要求。

>>阅读原文<<