spec在软件开发中扮演关键角色，定义了方法的行为边界。它提供了一种方式来描述方法的输入约束（前置条件）和输出保证（后置条件），帮助编写测试用例，确保客户端正确调用。spec的强度与前置条件的宽松度和后置条件的严格度相关，更强的spec意味着更宽松的前置和更严格的后置条件。正确设计spec是每个程序员的基本素养。
spec的作用
spec相当于一个约束，它规定了方法应该做什么和不能做什么，根据spec我们能编写测试用例，客户端也能了解方法的作用以及如何正确调用我们设计的方法，且不需要知道方法的内部代码实现。因此，正确设计方法的spec对于程序员来说是基本素养。
spec规约的格式
/**
* 方法的注释
* @param：说明输入参数的前置条件
* @return：说明方法的后置条件
* @throws：说明发生异常时会发生什么
*/
例如
spec的强度
前置条件越弱，spec的强度越高
后置条件越强，spec的强度越高
即要想spec强度更高则需要更宽松的前置条件和更严格的后置条件
174
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
