Scala学习八——继承

一.本章要点

  • extends,final关键字和Java一样
  • 重写方法时必须使用override
  • 只有主构造器可以调用超类的构造器
  • 可以重写字段

二.扩展类

  Scala扩展类和Java一样(使用extends关键字),也可以将类声明为final让它不能被扩展,也可以将单个方法或字段声明为final,确保不能重写。

  注:Java中final是不可变的(相当于Scala中的val),但是Scala中是不能被扩展

三.重写方法

   使用override修饰符:

public class Person{
override def toString=....
}

  override的作用在多个常见情况下给出有用的错误提示,如:

      • 拼错重写的方法名
      • 在新方法中使用了错误的参数类型
      • 在超类中引用新的方法,但是这个方法与子类方法相抵触(易违约基类问题,超类的修改无法在不检查所有子类的前提下被验证)

  在Scala中调用超类的方法和Java完全一样,使用super关键字

四.类型检查和转换

  isInstanceOf:测试某个对象是否属于某个给定的类,可以用isInstanceOf方法,如果为true就可以用asInstanceOf方法将引用转换为子类的引用。

  例:

//如果p指向的是Employee类及其子类(比如Manager)的对象,则p.isInstanceOf[Employee]将会成功。
//如果p是null,则p.isInstanceOf[Employee]返回false,p.asInstanceOf[Employee]将返回null
//如果p不是一个Employee,则p.asInstanceOf[Employee]将抛出异常
if(p.isInstanceOf[Employee]){
val s=p.asInstanceOf[Employee] 

}

  classOf(在scala.Predef中,可以自动导入):测试某个对象是某个类的对象但又不是其子类。

  例:

if(p.getClass==classOf[Employee])

 

 

五.受保护字段和方法

  将字段或方法声明为protected,这样的成员可以被任何子类访问,但不能从其他位置看到。

  注:与Java不同,protected的成员对于类所属的包而言,是不可见的;  

    Scala还停工了protected[this]的变体,把访问权限限定在当前的对象

六.超类的构造

  辅助构造器永远不可能直接调用超类的构造器,子类的辅助构造器最终都会调用主构造器,只有主构造器可以调用超类的构造器。

  主类构造器和类定义交织在一起,调用超类构造器也是交织在一起。

  例:

//Employee类的三个参数有两个传递给了超类
class employee(name:String,age:Int,val salary:Double) extends Person(name,age)

  注:在Scala构造器中,不能调用super(params)[Java可以]

    Scala可以扩展Java类,这种情况必须调用Java类的某一个构造方法

七.重写字段

  子类可以重写父类的字段。

  注:

      • def只能重写另一个def
      • val只能重写另一个val或不带参数的def
      • val只能重写另一个抽象的var

  

 

 

八.匿名子类

  和Java一样,可以通过包含带有定义或重写代码块的方式创建一个匿名的子类,例:

//这会创建一个结构类型的对象,可以作为参数类型的定义
val alien=new Person("Fred"){

def greeting="xxxxxxx"

}

def meet(p:Person(def greeting:String)){}

九.抽象类

  和Java一样,可以用abstract关键字标记不能被实例化的类(通常因为某个或某几个方法没有被完整定义)。

  例:

 

abstract class Employee(val name:String){
def id:Int //没有方法体——抽象方法
} 

   注:

    Scala中抽象方法不用使用abstract关键字,只需省略方法体就行;  

    只要类中有一个抽象方法,这个类就需要是抽象类,类必须声明abstract;  

    子类中重写超类的抽象方法时不需要使用override关键字

十.抽象字段

  即没有初始值的字段。

  例:

abstract class Person{
val id:Int //没有初始化——带有抽象的getter方法的抽象字段
var name:String //带有抽象的getter和setter方法

}

 

  注:子类必须提供具体的字段;

    子类重写超类的字段不需要使用override

//具体的id和name属性
class Employee(var id:Int) extends Person{
var name=""

}
//通过匿名类型定制抽象字段
val fred=new Person{


val id=1
val name="Fred"
}

十一.构造顺序和提前定义

  在子类中重写val并且在超类中的构造器使用该值有可能出现问题(因为超类的构造器先于子类的构造器运行,根本原因来自Java语言的设定——允许在超类的构造方法中调用子类的方法),如:

  

class Creature{
val range:Int=10
val env:Array[Int] = new Array[Int](range)

}

class Ant extends Creature{
override val range=2

}
......
//长度为0
val ant=new Ant
println(ant.env.length)
/××
过程如下:
1.Ant的构造器在构造自己之前先调用Creature的构造器;                 
2.Creature的构造器把它的range设为10;
3.Creature的构造器为了初始化env数组,调用range()取值器;
4.该方法被重写以输出(还未初始化)Ant类的range字段值;
5.range方法返回0(这是对象被分配空间时所有整型字段的初始值);
6.env被设为长度为0的数组;
7.Ant构造器继续执行,将其range设为2
××/

 

  注:因此构造器内不应该依赖val的值;

    解决方式:

      1.将val声明为final,这样很安全但并不灵活;

      2.在超类中将val声明为lazy,这样很安全但不高效;

      3.在子类中使用提前定义方法(可以在超类的构造器执行之前初始化子类的val字段),使用with关键字(提前定义的等号右侧只能引用之前已有的提前定义,而不能使用类中的其他字段或方法)

class Ant extends{
override val range=2

}with Creature

 

    可以使用-Xcheckinit编译器标志调式构造顺序    

十二.Scala继承等级

 

 Scala继承等级

  注:

    AnyRef是Java或.Net虚拟机Object类的同义词;

    AnyVal和AnyRef都扩展于Any类,而Any类是整个继承等级的根节点;

    Any类中定义了isInstanceOf,asInstanceOf方法,相等性判断,哈希码的方法;

    AnyVal没有追加任何方法,他只是一个标记;

    AnyRef追加了来自Object类的监视方法wait和notify/notifyAll,同时提供了synchronized方法;

    所有Scala类都实现ScalaObject这个标记接口,该接口没有任何方法;

    Null值的唯一实例是null;

    Nothing类型没有实例  

十三.对象相等性

  Scala中AnyRef的eq方法检查两个引用是否指向同一个对象,AnyRef的equals方法调用eq。

  实现类的时候有需要时重写equals根据自己的逻辑判断,例:

  注:将方法定义为final,因为通常而言在子类中正确扩展相等性判断非常困难;

    确保定义的equals方法参数类型为Any ;

    再定义equals时,记得同时定义hashCode 

final override def equals(other:Any){

val that=other.asInstanceOf(Item)
if(that==null) false
else description==that.description&&price==that.price
}

 

  

十四.练习

 

 

 

 

posted @ 2019-11-28 20:24  biu嘟  阅读(277)  评论(0编辑  收藏  举报