- 博客(6)
- 收藏
- 关注
原创 HIT软件构造:ADT和OOP中的“等价性”
目录1.等价关系2.不可变类型的等价2.1使用 AF 定义等价2.2使用“观察”定义等价3. == vs .equal()4.实现 equal()5.The contract of equals() in Object5.1 equal()定义一个等价关系5.2 “相等对象"hashCode()的结果一致6.可变类型的等价性7.总结:Rule for equals() and hashCode()7.1对于immutable类型7.2对于mutable类型等价关系:自反、对称、传递。一个等价关系 E ⊆
2022-06-09 18:00:00
139
原创 HIT软件构造:数据类型与类型检验
目录1.在编程语言中的数据类型1.1基本数据类型1.2对象数据类型1.3对象类型形成层次结构 2.Static vs. dynamic data type checking(静态与动态数据类型检查)2.1Static checking2.2Dynamic checking2.3Static vs. Dynamic Checking3.Mutability and Immutability3.1Immutability 不变性3.2Mutability and Immutability3.3Advantage
2022-05-26 14:04:26
145
原创 HIT软件构造:Lab1实验总结
Lab1主要分为 1.Magic Squares 2.Turtle Graphics 3.Social Network,下面简单记录各个任务中的一些思考总结。
2022-05-10 20:45:09
457
1
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人