- 博客(6)
- 收藏
- 关注
RSS订阅原创 Construction for Robustness and Correctness
Construction for Robustness and Correctness
2022-06-07 12:20:46
186
原创 Equality in ADT and OOP
一、等价关系等价关系：自反、对称、传递二、Equality of Immutable Types1、用AF判断在A空间看相等，而不在R空间。若映射到A中值相等，则等价。2、站在外部观察者角度判断对两个对象调用任何相同的操作，都会得到相同的结果，则认为这两个对象是等价的。反之亦然！若无操作则直接相等。三、== vs. equals()1、== referential equality（引用等价性）== 对基本数据类型，使用==判定相等。如果用==，...
2022-05-31 16:50:01
206
原创 Lab2 实验问题总结
一、EclEmm的使用1、点击来运行2、运行结果如下： 绿色：完整执行 红色：没执行 黄色：部分执行3、可以调出Coverage窗口，查看统计程序的覆盖测试率更加具体的使用方法可以参考(40条消息) 测试覆盖率工具EclEmma安装与使用_zczzyezgycsz8888的博客-优快云博客https://blog.youkuaiyun.com/zczzyezgycsz8888/article/details/84914143二、编译时报错java.lang.NoClassDefFoundEr.
2022-05-24 20:24:27
255
原创 继承与多态
一、继承1、继承的概念继承就是子类继承父类的特征和行为，使得子类对象（实例）具有父类的实例域和方法，或子类从父类继承方法，使得子类具有父类相同的行为。2、类的继承格式在 Java 中通过 extends 关键字可以申明一个类是从另外一个类继承而来的，一般形式如下：class 父类 { } class 子类 extends 父类 { }二、重写与重载1、重写重写是子类对父类的允许访问的方法的实现过程进行重新编写, 返回值和形...
2022-05-17 21:45:48
191
原创 计算机系统大作业
计算机系统大作业计算机科学与技术学院2022年5月摘 要本文以hello程序的生命周期为线索，对hello的预处理、编译、汇编和链接等各个阶段的实现过程进行分析。当hello成为可执行文件后，本文将继续从hello的进程管理、存储管理、IO管理等方面进行实践与探讨。通过对hello一生的追踪，体会计算机系统多方面的分工与配合，进一步深入地理解计算机系统。关键词：hello；预处理；编译；汇编；链接；进...
2022-05-16 18:47:41
1302
原创 Java中mutable和immutable的区别
一、基本概念Java的数据类型主要有基本数据类型和对象数据类型两种二、mutable和immutable的区别不变对象（immutable）：一旦被创建，始终指向同一个值/引用 可变对象（mutable）：拥有方法可以修改自己的值/引用如果要修改一个对象的值的话，immutable对象会另外新建一个值然后指向它，mutable对象会直接用新的值替换原来的值。通俗来讲就是immuta对象不会改变原来的值，而mutable对象会改...
2022-05-09 22:39:38
761
1
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人