哈工大软件构造个人笔记第五章

​

1. 什么是规约

规约不止包含注释，还有public void funciont（）这个头一行代码，规约就是用来交流

如图：方法=规约（specification）以及实现体（implementation）

2.要点

1.规约的声明，如果有对输入参数进行修改，则一定要在声明中提出来我修改了输入参数

总结：
由于Mutating method，并不安全，把原来参数给改变了，所以尽可能不用mutable类型

3.规约的强度

总结：
如果规约S2强度>>S1强度

1.则s2前置条件更少，s2能够接受的输入更多

2.s2后置条件更多，s2返回给用户的返回值的要求更多更精确

3.2 diagramming

定义，圈内的代表可以具体实现的方法途径

			圈内的大小代表了可以实现的方法途径个数	

			规约更小，画的线圈越小

​

总结：

1. 规约越强，画圈面积越小
2. 前置条件越弱，可能要处理的输入情况更多，实现的自由度降低-》减小面积
3. 后置条件越多–>考虑到情况更多-》可以实现的自由度更低