- 博客(4)
- 收藏
- 关注
RSS订阅原创 软件构造实验课一总结
本次实验通过求解三个问题，训练基本Java编程技能，能够利用Java OO开发基本的功能模块，能够阅读理解已有代码框架并根据功能需求补全代码，能够为所开发的代码编写基本的测试程序并完成测试，初步保证所开发代码的正确性。另一方面，利用Git作为代码配置管理的工具，学会Git的基本使用方法。⚫基本的Java OO编程⚫基于IDE进行Java编程⚫基于JUnit的测试⚫ 基于Git的代码配置管理2.实验环境配置实验开发使用的是IDEA 2021版本。
2024-05-28 15:54:26
899
原创 对于ADT和OOP中的等价性的思考回顾
最近在复习软件构造的期末考试，在看这一讲关于ADT等价性的ppt时感到思路有些混乱，什么观察等价性，行为等价性，基于AF，Observation判断什么的。于是借着期末复习的机会在这里整理一下这方面的知识。首先等价性要满足自反，传递，对称三个性质。如果连这都不能满足，那就肯定不等价。这方面的知识建议前往离散数学中回顾。接下来介绍两种判断等价性的方法：基于AF判断和基于Observation（站在外部观察者角度）判断。
2024-05-28 12:38:54
844
原创 AF与RI的复习回顾
代码里的AF和RI写的也很不规范。实际上RI就是R空间中的数据到一个布尔值的映射，RI : R → boolean。一个RI表示R空间中所有无重复字符的字符串，另一个RI表示R空间中所有字符按照ASCII值递增排列的字符串。是满射，因为每一个抽象空间中的数据都必须在R中实现。下面我们来看几个AF和RI的例子，我们可以学习他们的格式，以期未来自己撰写。这样RI就可以看作R空间的一个子集，其中包含了所有合法的表示值。可是即使R，RI都相同，AF不同也会产生不同的映射关系。即使R空间是相同的，RI也可能不同。
2024-05-28 11:16:17
191
原创 针对Overload与Override思考
先放结论，overload是同一个方法名，但具有不同的参数列表，其他的可以变也可以不变。override是子类继承父类时对于父类方法的重新编写，目的在于改写父类方法使之适应新的需求。显然这个问题只与overload有关，而针对overload的检查是静态的，发生在compile期间。而在使用多态后的父类引用变量调用方法时，会调用子类重写后的方法。所以当使用多态方式调用方法时，首先检查父类中是否有该方法，如果没有，则编译错误；剩下的就是第三，六题。针对第三题，父类中有eat方法，所以调用子类中的eat方法。
2024-05-28 10:23:42
166
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人