规约的结构：
1.对方法的解释
2.前置条件：对客户端的约束，在使用方法时必须满足的条件
3.后置条件：对开发者的约束，方法结束时必须满足的条件
spec变强意味着更放松的前置条件+更严格的后置条件。如果一个规约强于另一个规约，则可以用较强的代替较弱的。
前置条件更弱时，若后置条件在原前置条件下更强或不变，则规约更强
前置条件更弱时，若后置条件在原前置条件下也更弱，则规约无法比较
当遇到前置条件更强时，对后置条件的判断不能在原前置条件下，（其实老师只讲了前置更弱的情况），所以碰到这样的题应反过来，比较原前置条件比改变后更弱，然后根据上面的判断原规约比改变后规约强（或不能比较），推出改变后的规约比原规约弱（或不能比较）。
文章知识点与官方知识档案匹配，可进一步学习相关知识Java技能树首页概览91513 人正在系统学习中
来源：椰子配菠萝
声明：本站部分文章及图片转载于互联网，内容版权归原作者所有，如本站任何资料有侵权请您尽早请联系jinwei@zod.com.cn进行处理,非常感谢！