- 博客(6)
- 收藏
- 关注
RSS订阅原创 Equality in ADT and OOP
等价性是基于等价关系的，满足自反、对称、传递三个性质，它的空间意义是：如果R中的多个值都对应于A中的同一个值，那么这些R值都应该是等价的。1. 不可变类型的等价性判断等价的两个方式：AF映射到同样的结果，则等价。 站在外部观察者角度：对两个对象调用任何相同的操作，都会得到相同的结果，则认为这两个对象是等价的。反之亦然。两个等价的对象调用相同的Observer应该返回相同的结果。等价性== vs. equals()引用等价性：使用==判断地址是否相同作为判断是否等价的依据。对基本数据
2021-07-07 17:52:55
70
原创 Rep Invariant(RI) and Abstraction Function(AF)
Invariants：不变量，与程序运行无关，在任何时候都应该满足的一些条件两个空间 R 和 A：R空间是ADT的内部表示的空间，A空间是ADT能够表示的存在于实际当中的对象。ADT的开发者关注的是R空间，client关注的是A空间。Abstraction Function：从R空间到A空间存在一个映射，这个映射是一个满射，这个映射将R中的每一个值解释为A中的一个值。这个解释函数就是AF。Rep Invariant：这是一个集合，是R空间所有值的子集，它包含了所有合法的表示值，而只有满足RI的值
2021-07-07 17:33:46
112
原创 Mutability和Immutability
改变变量：使变量指向存储着另一个值的空间 改变变量的值：变量指向的空间不变，变化的是存储的内容。 Immutability：不变性，一个重要的设计原则，设计ADT时尽量保证这个原则。Immutable types：不可变的数据类型，当实例对象被创建以后，该对象的值就不可变化了，也就是该ADT中不能有mutator方法。在编写程序的时候使用final关键字可以保证该变量不可再被改变，但不能保证该变量的值不变。所以，尽量使用final变量作为方法的输入参数、作为局部变量。final..
2021-07-07 17:21:35
136
原创 Git相关
创建：git init暂存：git add <filename>提交：git commit -m “commit message”链接：git remote add origin <URL>推送：git push- u origin master创建分支：git checkout -b <branch name>切换分支：git checkout <branch name>合并分支：git merge <branch na..
2021-07-06 20:32:18
67
原创 软件构造中的多维视图
1. 软件构造过程中的多维度视图 Moment Period Code-level Component-level Code-level Component-level Build-time Source code, AST,Interface-Class-Attribute-Method (Class Diagram) Package, File, Static Linking, Library, Test Case, Build
2021-07-06 20:27:15
267
原创 2021-HIT-ICS大作业
计算机系统大作业题目程序人生-Hello’s P2P专业计算机学 号1190201123班 级1903006学生张程期 指导教师史先俊计算机科学与技术学院...
2021-06-27 22:57:01
1140
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人