标签：程序员 代码 bug 学习体会 关于 方法 spec 客户端

Spec，即specification，是java方法前的规约。Spec由前置条件和后置条件组成，前置条件规定了客户端的输入应满足什么条件，后置条件规定了程序员方法的返回应满足什么条件。

在学习软件构造这门课程前，我的方法前边很少写spec，偶尔会写上注释，但其格式往往也不太规范。渐渐的，我尝到这样“省事”的恶果——随着时间推移，我很容易就把当初这段方法代码的功能忘得一干二净，还得花上不少时间理解自己的代码，显得格外低效。同时，其他程序员往往也难以理解我的代码。更为严重的是，我的方法常常会出现bug，定位bug是难上加难。

经过实验二，我也渐渐理解了spec的重要性。可以说，spec是客户端与程序员之间的“契约”，对双方的责任提出了明确界限。spec也是一堵“墙”，客户端无需知道方法的内部具体实现，只需阅读spec即可理解方法的功能。同时，因为spec对责任的明确界定，显然有利于bug的精准定位，这大大节省了我debug的时间。因此，在往后的编程中，我都会尽可能在自己的每一段方法代码前加上spec。

标签：程序员,代码,bug,学习体会,关于,方法,spec,客户端
来源： https://www.cnblogs.com/hit666/p/16363995.html

本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享；
2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关；
3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关；
4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除；
5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。