- 博客(6)
- 收藏
- 关注
RSS订阅原创 面向复用的软件构造技术
这里的重点主要是LSP，要能够判断各种情况下的子类是否都符合LSP，且要能判别清楚泛型的子类只有使用通配符<?>才行。希望对你起到帮助，欢迎讨论和提出问题。
2023-05-26 12:17:53
86
1
原创 ADT和OOP中的“等价性”
可以用AF来判断等价性。抽象函数是将R→A将数据类型的具体实例映射到相应的抽象值。如果AF映射到同样的结果，则等价。等价关系引出一个抽象函数(关系划分T，因此f将每个元素映射到它的划分类)。抽象函数引出的关系是等价关系。站在外部观察者角度：对两个对象调用任何相同的操作，都会得到相同的结果，则认为这两个对象是等价的。当两个物体不能通过观察加以区分时，我们可以说它们是相等的——我们可以应用的每个操作对两个物体产生相同的结果。考虑集合表达式{1,2}和{2,1}。
2023-05-26 11:32:05
59
1
原创 哈工大软件构造之ADT学习心得
可变类型的对象可以更改:也就是说，它们提供的操作在执行时导致对同一对象的其他操作的结果产生不同的结果。例如日期是可变的，因为您可以调用setMonth()并通过getMonth()操作观察变化。但是String是不可变的，因为它的操作创建新的String对象，而不是改变现有的。简单来说改变可变数据的值时是改变其内部的值，而不可变类型改变了之后其实是改变了其引用，使其指向新地址。有时，一个类型会以两种形式提供:可变形式和不可变形式。
2023-05-26 11:00:48
75
1
原创 哈工大软件构造Lab2实验总结（2023春）
本次实验训练抽象数据类型（ADT）的设计、规约、测试，并使用面向对象编程（OOP）技术实现 ADT。具体来说：针对给定的应用问题，从问题描述中识别所需的 ADT；设计 ADT 规约（pre-condition、post-condition）并评估规约的质量；根据 ADT 的规约设计测试用例；ADT 的泛型化；根据规约设计 ADT 的多种不同的实现；
2023-05-26 10:32:51
562
1
原创 哈工大软件构造之OOP难点学习心得
以上是个人在复习OOP时感觉较难理解和容易产生困惑的地方，经过查阅资料和讨论总结而出，并未覆盖全部OOP内容，请谅解。希望能对你理解OOP产生帮助，也欢迎一起探讨。
2023-05-23 23:39:25
50
原创 哈尔滨工业大学软件构造Lab1总结（2023春）
作为第一个软构实验，对于代码新手难度可以算得上较大（大佬请忽略），全新软件的使用、代码思路的构建和实验要求的分析都是难点，但同时也是一个锻炼的过程（自学能力就是在这种过程中锻炼出来的，笑），所以还是要多查资料，多思考。
2023-05-23 22:45:07
168
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人