摘要: OO第四单元总结 一、作业架构设计 这一单元其实架构设计也较为简单,主要是要具有“层次化”的思想。在读入UmlElement时,由于不同的元素之间有相互依赖关系,所以读入的先后顺序是有要求的。举个例子来说,就是必须要先读入UmlClass和UmlInterface,才能读入UmlGerneraliz 阅读全文
posted @ 2022-06-27 22:19 乔治爱OO 阅读(49) 评论(1) 推荐(0) 编辑
摘要: OO第三单元总结 一、写在前面 何为契约式编程?何为规格?为什么要使用JML语言?我认为如果不把这些问题梳理清楚的话其实很难体会为何课程组设置了此单元。 1、契约式编程 1.1 历史 来源于Wikipedia: The term was coined by Bertrand Meyer in con 阅读全文
posted @ 2022-06-05 11:33 乔治爱OO 阅读(73) 评论(1) 推荐(0) 编辑
摘要: OO第二单元总结博客 一、同步块与锁 多线程编程的一个难点就是同步块的设计和锁的选择。在哪儿加锁其实是一个技术活儿。如果锁得太少,可能导致线程安全问题,但是如果锁加得太多,又可能会降低多线程程序的运行效率(一种极端情况就是多线程退化为单线程),因此需要仔细考虑多线程锁的设置。 在第一次作业中,我对于 阅读全文
posted @ 2022-05-01 20:57 乔治爱OO 阅读(65) 评论(1) 推荐(0) 编辑
摘要: 一、整体概述 第一单元解决的主要是表达式化简的问题,涉及到了因子、项和表达式三个层级。每一次的作业就是对于因子层不断增加新内容。第一次作业的因子有且仅有幂函数、常数和表达式因子;第二次作业新增了自定义函数、求和函数和三角函数因子;第三次作业是在第二次作业的基础上进行扩容,允许多层括号嵌套、允许三角函 阅读全文
posted @ 2022-03-26 09:35 乔治爱OO 阅读(47) 评论(0) 推荐(0) 编辑