弱化前置条件、强化后置条件难道也违背了利斯科夫替代原则吗？

Question

子类型的实际后置条件是通过组合（使用逻辑和)基类型的后置条件和子类型的后置条件来创建的，这使得得到的后置条件更具限制性

以下是加强前置条件和削弱后置条件的例子，结果违反了LSP（链接）：

>

假设基类使用成员int。现在您的子类型要求int为正。这是强化的前提条件，现在任何以前用负整数工作得很好的代码都被破坏了。

示例：

基类postcondition保证方法的返回值在1-10范围内，但随后子类型将postcondition更改为只允许返回值在2-9范围内。现在，处理从该方法返回的对象的代码（并假设后置条件在1-10范围内）已经中断，因为后置条件没有得到支持。

Answer 1

对不起，你的考虑有逻辑错误。

基类postcondition保证方法的返回值在1-10范围内，但随后子类型将postcondition更改为只允许返回值在2-9范围内。

由于代码在范围1-10内工作，而范围2-9实际上也在范围1-10内，因此加强后置条件应该从来不是问题。