oop - 从矩形导出正方形是否违反了里氏替换原理？

Question

关闭。这个问题是 opinion-based 。目前不接受答案。

---

想要改进这个问题吗？更新问题，以便 editing this post 可以用事实和引文来回答它。 .

已关闭 4 年前。

Improve this question

我是设计新手，正在学习设计原理。

它说从矩形派生正方形是违反里氏替换原理的典型例子。

如果是这样的话，正确的设计应该是什么？

Answer 1

答案取决于可变性。如果您的矩形和正方形类是不可变的，那么 Square 实际上是 Rectangle 的子类型，并且从第二个派生第一个是完全可以的。否则，Rectangle 和 Square 都可以公开一个没有更改器(mutator)的 IRectangle，但是从另一个派生一个类型是错误的，因为这两种类型都不是正确的子类型另一个。