软件构造（三）

实验二的题目是Abstract Data Type (ADT) and Object-Oriented Programming (OOP)，即抽象数据类型和面向对象的编程。这时候我们已经基本掌握了java编程的能力，也学习了面向对象编程的一些要求，实验让我们亲自动手，体验课上所学的面向对象编程的意义。

第一部分是实现抽象数据类型Graph，对已经给定好的接口类进行实现，要求实现有向带权图以及图的一些功能，例如加边，修改权值，获得所有的点等等。实现这些功能应该还是比较容易的，在实验中给我留下较深印象的其实是编写spec, RI之类的操作。因为虽然我深知编写说明性文字的作用，但是实际操作起来是很少写类似注释的文字的。在编写规约，表示不变性的时候是感觉到有一些繁琐的。但是确实，编写清楚这些东西是对发现问题，使代码更完整有着积极作用的。

第二部分是使用已经写好的Graph进行实际问题的解决，包括生成诗歌，以及实验一中的关系图。如果抽象数据类型实现的好的话，对于面向对象编程的实现也是非常快的。在这里也是使用了另一种方式对实验一的功能进行了实现。使用已经编写好的数据类型对实验一的实现确实体验是不一样的。

第三部分是自己从零开始的OO编程。目标是实现一个棋盘游戏，在这里就体会到了撰写规约的重要性，在数据类型变多的时候，它们之间的关系变得复杂，需要一些规约加以限制，否则在编程中容易出现各种问题。最开始编写的时候没有撰写规约，下棋出现了下着下着凭空多出棋子的问题，然而撰写规约之后便迅速发现问题，进行了修正。虽然当时认为编写的程序已经很满意了，但是在之后学了可复用编程的时候，发现还差一些。要求对围棋和国际象棋实现的时候我并没有考虑可复用的问题，因为当时并没有讲到，如果当时学习了这类内容，应该可以编写出更简洁，复用性强的代码，也就是如果想加入新的棋类选择，只需要提供新的接口即可，不需要修改大段代码。

实验二主要锻炼了我们撰写规约，检查不变性，设计数据类型，面向对象编程的能力。其中给我留下印象最深的还是撰写规约的过程，确实很重要，又容易被忽视。