目录
ADT详解
- AF:抽象函数,代表值到其对应的抽象值的映射。
- RI:表示不变量,代表某个值必须满足的条件。
- safety from rep expose:安全保证,描述ADT如何防止表示暴露。
- checkRep():检查表示不变量是否始终被满足。
可变类型与不可变类型详解
- 可变类型:提供修改对象值的方法,存在表示暴露的风险,可采用防御式复制保护可变类型。
- 不可变类型:指定引用位置后不可改变。
final声明的类不可被继承;
final声明的变量,其值和引用不可被修改;
final声明的方法不能被子类重写。
在面向对象编程中,封装是不可缺少的一部分。
所谓封装,就是尽可能隐藏对象内部细节,仅保留有限的接口和方法与外界进行交互,从而减少表示暴露的可能性,而方法规约则充当了该防火墙的功能。
封装原则:使对象以外的部分不能随意访问和修改对象的内部属性,从而避免了外界对对象内部属性的破坏。
可以通过对类的成员设置一定的访问权限,实现信息隐藏,比如将类的字段设置成private和final等。
断言导致代码覆盖度低的解决方法
虽然本次试验未要求代码覆盖度,但是为了测试的全面性也考虑了这方面的影响。
在checkRep()中直接使用assert会导致测试代码覆盖度较低,因为assert相当于分支语句,如果满足表示不变量,则继续执行测试,如果不满足,则直接结束程序,因此为了保证测试通过,只能测试符合表示不变量的情况,也就不可避免地导致分支中有一半情况是未被测试到的。
解决这个问题可以将断言改为在checkRep()中抛出异常,在测试中捕捉异常,从而大大地提高了代码测试覆盖度。
例:
public Player(String name) {
this.name = name;
try {
checkRep();
} catch (Exception e) {
e.printStackTrace();
}
}
修改后测试结果:
Playing Chess 设计思路
鉴于实验报告中已给出基本类的名称,在此不再赘述。
1: Position
Position为一个不可变类,仅实现封装坐标的功能。
2: Piece
Piece为一个可变类,将所属棋手与棋子位置相关联。
由于可以设置棋子位置,因此在获得棋子位置时采用防御式复制。
3: Player
Player为一个可变类,设置棋手信息,管理棋子的所属情况,并且记录该棋手操作历史。
由于可以设置棋子所属情况,因此在获得棋子集合时采用防御式复制。
4: Board
Board为一个可变类,初始化特定n*n棋盘,并且管理棋盘上的棋子。
由于可以管理棋盘上的棋子,因此在获得棋盘时采用防御式复制。
5: Action
Action为一个不可变类,主要实现四种下棋方式,分别为落子、提子、移子、吃子,同时涉及前四个ADT,管理棋盘上棋子情况和棋手拥有的棋子情况。
6: Game
Game为一个可变类,是对上述五个ADT的综合,负责初始化棋盘、棋手,实现四种下棋方式以及查看棋盘占用情况。
由于可以设置棋盘和棋手,因此在获得该三类信息时使用防御式复制。
7: MyChessandGoGame
主程序主要功能有两方面:
- 显示交互界面;
- 依据用户输入选择功能。
菜单如下: