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
}

　　

十四.练习