软件构造lab2

本次实验训练抽象数据类型（ADT）的设计、规约、测试，并使用面向对象编程（OOP）技术实现 ADT。

3.1 Poetic Walks
建立对ADT的基本印象，比如如何设计一个能够泛型化的ADT。
加深对AF，RI，rep exposure 这些抽象概念的理解
这个实验给出了一个如何设计泛型ADT的方法，首先先针对某一个特定实例设计具体的ADT：

给出接口Graph
通过不同方法实现该接口，对于该类的实现遵循ADT设计的基本方法，写好Spec，AF，RI，并避免泄露，
3.1.1 Get the code
实验报告中给出了github仓库的的地址

3.1.2 Problem 1: Test Graph
进行测试。

3.1.3 Problem 2: Implement Graph
两种方式实现Graph。

3.1.3.1 Implement ConcreteEdgesGraph

Edge类实现
Edge包含两个String类型，source和target存放每个边的起点终点，一个int类型weight保存权重。

ConcreteEdgesGraph实现
ConcreteEdgeGraph类中含有成员变量：
vertices
edges

3.1.3.2 Implement ConcreteVerticesGraph

Vertex类：
包含一个String类型 label存放该顶点的标签名称，
Map类用于存放以该点为起点的边的信息，即终点和权重

ConcreteVerticesGraph类
ConcreteEdgeGraph类中含有一个成员变量
vertices顶点列表。

3.1.4 Problem 3: Implement generic Graph
改成泛型：将函数声明和调用等修改一下即可

3.1.5 Problem 4: Poetic walks
调用之前我们实现的一个GraphADT图结构实现

3.1.5.1 Implement GraphPoet
方法如下：
GraphPoet
读取文件输入，识别序列，构建图结构。相邻元素，在图中新增边。
poem
两个连续单词A B，利用sources函数，检查图中B的前一个单词，比如存在C到B的边，还存在D到B的边，那就检查C的前一个单词，比方说A到C没有边，A到D有边，那就说明有路径ADB，那么打印诗句的时候就打印ADB

3.2 Re-implement the Social Network in Lab1
利用前面实现的graph，重新实现Social Network。

3.2.1 FriendshipGraph类
函数声明：
addVertex
addEdge
getDistance
多调用Gragh中的函数，很容易改写

3.2.2 Person类
只需要一个label表示姓名即可：

3.3 Playing Chess
ADT设计/实现方案
ACTION BOARD PIECE PLAYER POSITION
PIECE类，int belong记录是哪一方的子，String label记录KING.QUEEN等

POSITION类，记录坐标，每个position都有一个piece，当然棋子的起始设为0，隐形子，相当于没有子

PLAYER类，记个名字就好

BOARD类，构造方法中参数决定棋盘的大小

ACTION类，按指导书的要求完成
心得：
面向ADT的编程和直接面向应用场景编程，需要适应它们的区别
初步体会使用泛型的好处
一个ADT可以在多个应用场景下使用，这种复用，很舒服
为ADT撰写specification, invariants, RI, AF，时刻注意ADT是否有rep exposure，是很重要的