一个很好的例子说明了LSP（我最近听到的一个播客中的Bob叔叔给了LSP），就是有时候听起来有些自然语言在代码中不太起作用。
在数学中，
aSquare是
a Rectangle。实际上，它是矩形的一种特殊形式。“是”使您想使用继承对其进行建模。但是，如果在您编写的代码中Square派生自Rectangle，则aSquare应该可以在您期望的任何地方使用Rectangle。这导致一些奇怪的行为。
假设您在基类上有SetWidth和SetHeight方法Rectangle；这似乎完全合乎逻辑。但是，如果您的Rectangle引用指向Square，则SetWidth并SetHeight没有任何意义，因为设置一个将更改另一个以使其匹配。在这种情况下，Square通过Liskov替代测试失败，
Rectangle并且
Square从中继承的抽象
Rectangle是一个不好的选择。
