影佑

摘要： 一、总结本单元两次作业的框架设计 1.1. 需求分析 通过分析mdj文件可知，两次作业如果对于时间复杂度没有要求，可以不涉及任何数据结构，直接根据读入的UML_ELEMENT逐个分析得到各个函数的结果。 由此观之，两次设计的目标其实都是缩短数据查询与访问速度（不在需要通过id去全文遍历），以类间关联 阅读全文

摘要： 1. JML梳理 根据JML LEVEL 0手册梳理常用条目 1.1 JML 理论基础 \result表达式 ： 表示方法返回值 \old( expr )表达式：表示方法执行之前expr表达式取值，若expr为相关引用，只能判断引用本身是否发生了变化 \type(type)表达式：返回类型type对 阅读全文

摘要： 一、LinkedBlockingQueue 与 万能的生产者-消费者模型 1. LinkedBlockingQueue实现生产者-消费者模型 由于过早地发现了<LinkedBlockingQueue>这个类，三次作业中几乎所有信息交互与协同都是围绕着阻塞队列展开的，当然好处也极为明显，完全不需要考虑 阅读全文

摘要： ————看，他已经敲了三次OO作业，精神仍然很好 1. 类的设计反思 笔者三次OO作业，每次都为如何设计类与类间关系而头痛，回顾三次痛苦经历，总结出如下原因： 分类不是源于需求而是拘泥于问题的表面形式。 以第二、三次作业为例，我们将多项式拆分为单项式，继而拆分为因子，却难以给出如此拆分的理由。当我们 阅读全文