摘要： 面向对象第三单元总结 第三单元的任务是根据官方给出的JML规格实现代码、完成社交网络模型。由于方法的前置条件、后置条件等信息已由JML给出，本单元的功能实现较之前简单了不少，而算法优化则成为了不可回避的问题，毕竟完全按照JML实现代码只保证结果正确而不保证性能。 一、结构分析 各类的基本结构已由JM 阅读全文