软件构造的技术基础：OOP-面向对象编程

我们在软件构造课程中学习使用的是Java用来进行软件开发，这是一种面向对象的编程。首先要明确的概念就是完成一个程序所需要的基本模块，对象，类，接口，方法等等。

oop的基本实现结构

类和接口是最常用的实现ADT的结构，其中接口和类之间的关系有：一个类可以实现多个接口，而一个接口也可以有多种实现类。在声明一个对象类型时，一般可以使用接口在前做一个声明，new一个基本的实现接口的类作为最终对象的类型。一般来说，接口是确定一个ADT基本类型的，在创建接口时，一般是编写ADT规约以及各个类的前后置条件，类是接口的具体实现，就需要将接口包含的各个方法做一个具体实现。

 

父子之间的继承关系

继承发生在类之间，父类实现共性行为，子类可以扩展出属于自己的个性行为，但是子类必须拥有父类中的所有行为。

在继承的过程中，给函数定义前加上final，则父类中的这个方法在子类中无法重写，这也被称为严格继承，除此之外，子类中可以重写父类中的方法。实际上调用的方法类型在运行时决定。也就是说，定义一个对象，它能实现的方法完全由自己基本的实现类决定。如果父类中的方法为空，那就说明子类中方法没有共性，都需要重写。如果父类中有相关的实现函数，那么可以利用super函数实现对父类型的复用，并且实现对函数的扩展。另外，如果有操作是子类型共有的，但是实现方法都不一样，那么就应该建立一个抽象类，再在子类型中一一重写这些方法。

继承过程中，还可以实现一种特殊多态：重载overload。如果子类型中方法具有同样的名字，具有不同的参数列表或者返回值，那么就称这种操作为重载。这是一种静态多态，进行的是静态类型检查，也就是说，重载实现的对象可以实现的方法由编译时决定，也就是看定义对象前面的父类型。重载时必须具有不同的参数列表。而除此之外返回值类型，public/private/protected以及异常可以一样也可以不一样。overload可以在同一个类中，也可以存在于父类和子类之间。

关于object对象

用oop写一个ADT时，需要重写一些特殊的函数，其中equals就是其中一个。==是引用等价性中表示等价的方法，而equals是对象等价性中的方法。等价关系是自反，传递，对称的。除此之外，相等的对象hashcode也应该是相等的，但是不相等的对象hashcode也可能是相等的。检验equals是否成立需要用是否为等价关系来检验，也就是看他们的自反传递对称是否满足。对可变对象的等价性来说，观察等价性是指不改变状态的情况之下，两个可变类型的对象是否一致；而行为等价性是指调用对象的任何方法显示出来的结果都一致。对可变类型来说，只需要实现行为等价性即可，也就是说，只有内存空间相等的两个对象才是满足等价性的。所以可变类型无需重写两个函数。而不可变类型必须要重写两个函数，因为不可变类型需要比较他们的值是否相等，而引用等价性中的方法==是看两者是否指向同一个空间，而不可变类型需要判断两者的值是否相等。