- 博客(9)
- 收藏
- 关注
RSS订阅原创 有关软件构造中的等价性小结
等价性对于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关注的人