09 在对象方法上进行抽象和约束的abstract和interface
这一节要将的自然是抽象类和接口,但我们不仅将怎么用,还要讲为什么要这么用
- 重写缺乏约束,父类无法知道子类是否重写,即使它并没有改变父类的行为,但程序员对子类的期望无法绝对的实现在子类上。因此需要对方法的重写进行约束
- 虽然类是对对象的抽象而得到的模型,但是无法对类进行一个比较规范的编写和声明,无法对类的特性进行重用 => abstract 和 interface 解决了这一问题
根据上面两点我们归纳出两个词:契约、规范
一、抽象 abstract => 类 / 方法
被abstract修饰的类叫做抽象类,被abstract修饰的方法叫做抽象方法
思想:建立抽象类和派生类的契约,实现对派生类的行为(方法)进行约束(强迫实现),不实现无法实例化该类
规范:
-
一个类(注意接口不是类)中包含抽象方法,那么该类必须是抽象类 => 只要抽象类才能有抽象方法,当然抽象类可以没有抽象方法(这也意味着它的存在(这种抽象类)几乎没有实际意义)
-
继承抽象类的子类,如果没有重写所以父类的抽象方法,那么该子类必须是抽象类,否则无法通过编译
-
抽象方法,不能修饰 final方法,static方法,构造方法,因为这些方法无法被子类继承(当然也无法重写是一个道理),一旦子类声明该父类构造函数将发生编译错误(一是子类只能子类构造函数才能没有返回类型,二是语言上不允许)。
abstract class TEST {
public void freeFun (