05 2019 档案

OO随笔之追求完美的第三单元——初试JML
摘要：前言 这一章的JML比较简单，那么大家的关注点自然地移到了性能优化上。于是大家一股脑地去利用各种数据结构去做时间上的优化（当然很多人最后还是倒在了正确性上），故称追求完美的一单元。当然这也是得益于JML的，有了它的指导，每个方法的职能就非常清楚了，类之间的耦合自然也小了，同学们就可以针对一个方法精打 阅读全文
posted @ 2019-05-22 15:51 lzhmark 阅读(160) 评论(0) 推荐(0)