- 博客(6)
- 收藏
- 关注
RSS订阅原创 软件构造 接口
Java中的（接口）是一种表示抽象数据类型的好方法。接口中是一连串的方法标识，但是没有方法体（定义）。如果想要写一个类来实现接口，我们必须给类加上关键字，并且在类内部提供接口中方法的定义。所以接口+实现类也是Java中定义抽象数据类型的一种方法。这种做法的一个优点就是接口只为使用者提供“契约”（contract），而使用者只需要读懂这个接口即可使用该ADT，他也不需要依赖ADT特定的实现/表示，因为实例化的变量不能放在接口中（具体实现被分离在另外的类中）。接口的另一个优点就是它允许了一种抽象类型能够有多种实
2022-06-26 23:48:36
125
1
原创 [软件构造]相等
抽象函数：抽象函数将具体的数据映射到抽象的值，如果AF(a)=AF(b)，我们就说a和b相等。等价关系：等价是指对于关系，满足自反性，对称性，传递性。则我们说a等于b当且仅当E(a,b)。观察：两个对象a和b相等当且仅当使用者无论怎样观察总会得到相同的结果。==比较的是索引。如果两个变量==，那么它们指向同一块存储区域，在快照图中展现为它们的箭头指向同一个对象。.equals()操作是比较对象的内容。比较的是两个对象的值是否相等。equals方法在是在object方法下定义的，在每个ADT中，都必须对equ
2022-06-19 23:17:46
92
原创 Snapshot diagram画法
Snapshot diagram，即代码快照图，用来描述程序正在运行的状态。便于程序员之间进行交流，解释设计思路，刻画变量随时间的变化。使用单箭头，箭头的起始位置标注变量名或者对象字段中对值得引用，终点位置指向具体的值。用箭头指向一个单线椭圆，用椭圆来代表对象，在椭圆中表示出对象的类型。椭圆内部可以有改对象的多个属性，用箭头从属性出发指出属性的值。用双线椭圆来表示这种对象，其余与可变对象相同，如String。图中×表示变量改变前的旧值。如final属性的量，用双线箭头表示引用。...
2022-06-13 00:00:08
120
原创 [软件构造]抽象数据型（ADT）
抽象数据型和表示独立性：能够将如何在程序中使用数据结构与数据结构本身的特定形式区分开来。设计良好的抽象数据结构，通过封装来避免客户端获取数据的内部表示（即“表示泄露”），避免潜在的bug——在client和implementer之间建立“防火墙“。ADT的特性：表示泄漏、抽象函数AF、表示不变量RI。ADT操作的分类：1.构造器（creators）：构造一个新的对象。多见于构造方法。2.生产器（producers）：通过...
2022-05-30 16:32:13
149
原创 计算机系统大作业——hello的一生
计算机系统大作业题 目程序人生-Hello’s P2P 专 业 计算机学 号 120L020109 班 级2003003学 生 张异凡 指 导 教 师史先俊 计算机科学与技术学院2022年5月摘 要...
2022-05-19 22:37:07
562
原创 git与github配置及解决Connection refused问题
git配置在官网下载完成git并安装后，打开git bash，并输入以下指令配置好邮箱和用户名。将其中的Your Name及email@example.com替换为本人的有关信息即可。git config --global user.name "Your Name"git config --global user.email "email@example.com"与github账号建立连接首先需要注册一个github账号，注册流程非常简单，这里就不赘述了。要将本地计算机与github
2022-05-14 14:49:46
5000
1
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人