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