- 博客(9)
- 收藏
- 关注
原创 有关软件构造中的等价性小结
等价性对于Immutable类:1.利用AF:AF映射结果相同,即等价;2.利用observer:对两个object调用任意相同的操作,都会得到相同的结果,则两个对象是等价的;== 与 equals()引用等价性和对象等价性;缺省的equals是引用等价性;instanceof只用在equals()中;等价的对象,他们的hashCode的结果必须相等;不等价的对象,其hashCode结果未必不相等;缺省的hashCode返回的是存储地址;mutable当两个对象不能通过观察来区分时,它们就是等价
2022-06-15 09:18:52
97
原创 OO原则与OO设计模式小结
OO设计原则SOLIDSRP:单一责任,分解互不相关、互相独立的功能;OCP:open for extension, but closed for modification;LSP:子类在任何情况下都可以代替父类;ISP:不要fat接口,要简洁的接口;DIP:抽象不依赖于具体;而具体依赖于抽象(用接口将两个类隔离开来,避免因为extends导致父类对子类进行调控)OO设计模式Factory Method工厂方法模式传给接口某个方法,该方法还你一个对象;——常用:静态工厂方法——OCPAda
2022-06-15 09:14:48
188
原创 try-catch-finally的用法
本篇为在复习过程中发现应该掌握的java基础知识。try-catch用来捕获异常(checked异常)。适用于:在某个类的方法中会抛出异常(这应该在spec中声明好)。
2022-06-13 11:17:04
3904
1
原创 java中final的简单应用
如一下代码示例,当我们完成构建函数之后,尝试去编写一个mutator修改fields中final修饰的两个int类型,会触发静态检查错误,错误如下(IDE: Eclipse)这说明:final修饰的field在构建之后不允许重新赋值。编写一个简单的案例(spec及各方法中的RI AF Rep exposure暂时省略)在这个简单的示例中,Interface scores -> abstract clsss grade1 -> class class3 Interfaceabstract clas
2022-06-09 11:15:22
177
原创 从习题和实验的设计流程中回首ADT与OOP
1.分析需求。ADT全名为Abstract Data Type ,其设计的核心思想就在于abstract——抽象。如何将实际需求抽象为一个数据类型,这是ADT设计的第一步,也是OOP流程的第一步。在这里我们学习过的抽象方法即为“词语提取”。我们知道ADT包括fields和methods。从需求分析中提取出的名词,可作为一个ADT的名字,或一个ADT内部的field,这需要设计者进一步的设计;从需求分析中提取出的动词,可作为ADT的一个method(或function)。2.遵循原则设计ADTs。通过上述的分
2022-06-08 22:16:28
96
原创 软件构造blog2——静态检查
下面是我结合所学内容对静态检查的理解与总结。以上是对静态检查的概念的说明,在实际的应用上,static checking在IDE中发生在编写代码的过程中。下面总结static checking发生的时刻即对应的错误。这是静态检查能检测到的最基本的错误,当我们编写代码的时候发生了语法错误,IDE会很快的反应,触发错误。对于这样一个方法,在方法内部可能会出现:在调用该方法时,可能会出现:java中final修饰的变量或对象是不可修改的。如果出现了对final修饰的变量或对象的修改,静态检查会触发错误。与上
2022-06-06 23:28:47
347
原创 哈工大2022春计算机系统大作业
计算机系统大作业题 目程序人生-Hello’s P2P 专 业 计算机类学 号 班 级200300x学 生 指 导 教 师吴锐 计算机科学与技术学院2022年5月
2022-05-14 13:09:10
1142
原创 计算机系统ARM64拆除炸弹
一、实验简介1.1 拆弹实验拆弹实验是csapp课程的一个经典实验,实验共有六关(phase_1 ... phase_6),还有一个隐藏关卡(secret_phase)。该实验与x86架构下的拆弹实验的内容上基本没有差别,所以以下内容是基于本人已经有过bomb实验的经验而写。1.2 ARM64这次实验是面向基于鲲鹏的华为TaiShan 服务器的拆弹实验。这是与之前的计算机系统拆弹实验的不同之处,也是这次实验的难点。在ARMv8处理器下,我们对"bomb"进...
2022-04-25 16:30:17
2309
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人