里氏代换原则

Question

我能够大致了解LSP及其违规行为。比如说，正方形扩展具有setWidth（）和setHeight（）函数的矩形是对LSP的微妙违反，因为有额外的要求。类似地，GreenDuck使用函数something（Grass g）扩展Duck类时，不能有额外的子句要求Grass为绿色。

对于正方形和矩形场景，我认为实现多边形接口以及矩形和正方形类以各自的方式实现多边形是正确的。对于GreenDuck场景，GreenDuck使用构图将Duck作为其字段之一可能是一个好主意。

Q1）我对上述两种情况的理解正确吗？

问题2）此外，我无法对LSP允许“扩展”的场景进行建模，这就引出了问题。是否有人可以深入研究LSP，并提供一些具体的例子，说明在哪些方面扩展是合适的，如果在某些方面组合不太好，那么就有额外的好处了。

编辑：为了清楚起见

Answer 1

在Liskov的上下文中，区分检查接口和修改接口非常重要。正方形“是一个”矩形，就像矩形一样，你可以得到它的高度和宽度。它不同于矩形，因为你不能单独设置它的高度和宽度。所以，如果你所说的“实现多边形接口是正确的”，你的意思是矩形应该有一个getPolygonVerders函数，那么当然，没关系。但是，如果您的意思是它应该实现一个具有setPolygonVerders的接口，那么这是错误的，原因与Square不能具有setHeightAndWidth类似于Rectgle相同。

至于GreenDuck拥有Duck成员。。。。呃。。。那会有点奇怪。鸭子里面通常有其他的鸭子吗？