06 2021 档案

关于规约（spec）
摘要：规约一般出现在一个类或方法的声明的上方，以/**开头。里面的主要内容有对方法/类的描述，前置和后置条件等。使用一个特定类/方法的开发者可以通过阅读规约来得到用法以及参数需满足的需求，返回值等信息。设计规约是很有必要的一件事情。尤其是设计ADT的时候，不写规约就没法写程序，即便写下来也无法判断正确性。 阅读全文
posted @ 2021-06-30 10:41 StarTemplar 阅读(351) 评论(0) 推荐(0)