关于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