软件构造——规约的强弱比较

规约的结构：

1.对方法的解释

2.前置条件：对客户端的约束，在使用方法时必须满足的条件

3.后置条件：对开发者的约束，方法结束时必须满足的条件

spec变强意味着更放松的前置条件+更严格的后置条件。如果一个规约强于另一个规约，则可以用较强的代替较弱的。

前置条件更弱时，若后置条件在原前置条件下更强或不变，则规约更强

 

前置条件更弱时，若后置条件在原前置条件下也更弱，则规约无法比较

 当遇到前置条件更强时，对后置条件的判断不能在原前置条件下，（其实老师只讲了前置更弱的情况），所以碰到这样的题应反过来，比较原前置条件比改变后更弱，然后根据上面的判断原规约比改变后规约强（或不能比较），推出改变后的规约比原规约弱（或不能比较）。