OOP中的重点内容梳理

7.OOP【面向对象编程】（ADT的具体实现技术）

7.1 接口

• 类中的基本数据类型在堆里，方法中的基本数据类型在栈里。【可能diagram里会涉及】
• 一个类可以实现多个接口，一个接口也可以有多种实现类。接口确定ADT规约，类实现ADT。
• 可以不需要接口直接使用类作为 ADT ，既有 ADT 定义也有 ADT 实现，但实际中更倾向于使用接口来定义变量。

• 接口如果是不可变类型，则子类也得是不可变类型。接口中的每个方法在所有类中都要实现。

 

• 接口中不能有构造器，要用静态工厂方法来构造。

 

• 通过default方法，在接口中统一实现某些功能，而不必在各个类中重复实现

 

7.2 继承与重写

• JAVA只允许单一继承，除了接口。
• 严格继承只能新增方法，而不能重写超类的方法
• 重写的返回值可以是父类返回值的子类。如父类返回object，子类可以返回string
• Final修饰类则不能被继承，修饰方法则不能被重写。但是这种用法并不提倡，因为子类无法调用接口中没有的方法。除非在接口中加一句方法声明。不过在“模板”中会提到这种严格继承的用法。

 

• 对于重写的函数，实际执行时调用哪个方法，在运行时决定。基本规则为：同名属性看接口，同名同参方法看子类（前提接口中有声明）。如果是方法中调用的同名属性，则看方法所在类的属性。
• 重写编译时看父类，运行时看子类。编译时只能看到父类类型，运行时才能看到具体对象（子类）。
• 如果父类型中的某个函数实现体为空，意味着其所有子类型都需要这个功能，但各有差异，没有共性，在每个子类中均需要重写。重写时不要改变原方法的本意。

7.3 多态—重载、泛型、子类型（重点）

• 子类的规约不能弱化超类的规约
• 重载是一种静态多态，它与超类的同名方法有不同的参数列表或返回值类型。
• 重写是在运行时决定用哪个，而重载是在编译时决定【报错也是】。重载可以在一个类内，也可以在子类间。

 

• 对于参数类型一致的重载会采取类型最佳匹配策略。

 

• 泛型是参数的多态，等到实例化时再变成具体的类型。
• 不能有泛型数组。数组允许多态，而泛型数组在编译器看来都是一样的。并且泛型类之间不存在联系 的特性。如list<object>与list<string>之间不能进行赋值。
• Instanceof方法判断前者是不是后者类或后者子类

 

• 如果重写了equals()方法，就必须重写hashCode()，反之亦然。不能一个重写一个重载。

• 如何编写不可变的类？——不要提供变值器；确保没有方法会被重写；让所有的field都是final和private类型；避免表示暴露；实现equals()、hashCode()、toString()、clone()等。
• 迭代器一般不使用不可变类型，因为需要频繁变化。