Scala编程(第11章：Scala的继承关系)

1.Scala的类继承关系：在Scala中，每个类都继承自同一个名为Any的超类。Scala还在继承关系的底部定义了一些有趣的类，Null和Nothing，它们本质上是作为通用子类存在的。Nothing是每个其他类的子类。Any类定义了如下方法：

final def ==(that:Any):Boolean
final def !=(that:Any):Boolean
def equals(that:Any):Boolean
def ##:Int
def hashCode:Int
def toString:String

Scala类继承关系的轮廓：

      由于每个类都继承自Any，Scala程序的每个对象都可以用Any类中定义的方法。==方法从本质上讲等同于equals，而!=一定是equals的反义。这样一来，因为==和！=方法被声明为final，子类可以通过重写equals方法来定制==或！=的含义。

      根类Any有两个子类：AnyVal和AnyRef。AnyVal是Scala所有值类的父类。虽然可以定义自己的值类，Scala提供了九个内建的值类：Byte、Short、Char、Int、Long、Float、Double、Boolean和Unit。前八个对应Java的基本类型，它们的值在运行时是用Java的基本类型的值来表示的。这些类的实例在Scala中统统写作字面量。如：42是Int的实例，false是Boolean的实例。无法new和继承这些值类，因为这些值类是final的抽象类。如：

scala> new Int

这样会报错。另外的那个值类Unit粗略地对应到Java的void类型；它用来作为那些不返回有趣的结果的方法的结果类型。Unit有且只有一个实例值，写作（）。值类以方法的形式支持通常的算术和布尔操作符。如：Int拥有名为+和*的方法，而Boolean拥有名为||和&&的方法。注意：值类空间是扁平的，所有的值类都是scala.AnyVal的子类，但它们相互之间并没有子类关系。不同的值类类型之间存在隐式的转换。隐式转换还被用于给值类型添加更多功能，如：

scala> 42 max 43
res4:Int=43
scala> (-3).abs
res9:Int=3

工作原理是这样的：方法min、max、until、to和abs都定义在scala.runtime.RichInt类中，并且存在从Int到RichInt类的隐式转换。

      根类Any的另一个子类是AnyRef类。这是Scala所有引用类的基类。在Java平台上AnyRef事实上只是java.lang.Object的一个别名。因此Java编写的类和Scala编写的类都继承自AnyRef。因此，我们可以这样来看待java.lang.Object：它是AnyRef在Java平台的实现。虽然可以在面向Java平台的Scala程序中任意换用Object和AnyRef，推荐的风格是尽量都使用AnyRef。

 

2.基本类型的实现机制：Scala存放整数的方式跟Java一样，都是32位的词（word）。这对于JVM上的效率以及跟Java类库的互操作都很重要。不过，Scala在任何需要将整数当作（Java）对象时，都会启用“备选”的java.lang.Integer类。例如：当我们对整数调用toString或当我们将整数赋值给一个类型为Any的变量时，都会发生这种情况。类型为Int的整数在必要时都会透明地被转换成类型为java.lang.Integer的“装箱整数”。

      Scala的相等性操作==被设计为对于类型的实际呈现是透明的。对于值类而言，它表示的是自然（数值或布尔值）相等性。而对出Java装箱数值类型之外的引用类型，==被处理成从Object继承的equals方法的别名。这个方法原本定义用于引用相对性，但很多子类都重写了这个方法来实现它们对于相等性更自然的理解和表示。AnyRef类定义了一个额外的eq方法，该方法不能被重写，实现为引用相等性。还有一个eq的反义方法ne。

 

3.底类型：在图中的类继承关系的底部有两个类：scala.Null和scala.Nothing。它们是Scala面向对象的类型系统用于统一处理某些“极端情况”的特殊类型。Null类是null引用的类型，它是每个引用类（也就是每个继承自AnyRef的类）的子类。Null并不兼容于值类型：

scala> val i:Int=null

会报错，你并不能将null赋值给一个整数类型。Nothing位于Scala类继承关系的底部，它是每个其他类型的子类型。不过，并不存在这个类型的任何值。为什么需要这样一个没有值的类型呢？Nothing的用途之一是给出非正常终止的信号。如，Scala标准库的Predef对象有一个error方法，定义如下：

def error(message: String): Nothing = 
  throw new RuntimeException(message)

error返回类型是Nothing，这告诉使用方该方法并不会正常返回（它会抛出异常）。由于Nothing是每个其他类型的子类型，可以以非常灵活的方式来使用error这样的方法。如：

def divide(x:Int,y:Int):Int=
  if (y!=0) x/y
  else error("can't divide by zero")

返回值为Int，由于Nothing是Int的子类型，整个条件判断表达式的类型就是Int。

 

4.定义自己的值类：可以定义自己的值类来对内建的值类进行扩充。跟内建的值类一样，你的值类的实例通常也会编译成那种不使用包装类的Java字节码。在需要包装类的上下文里，比如泛型代码，值将被自动装箱和拆箱。

      要使得某个类成为值类，它必须有且仅有一个参数，并且在内部除了def之外不能有任何其他东西。不仅如此，也不能有其他类扩展自值类（加final），且值类不能重新定义equals或hashCode。还需要将它处理成AnyVal的子类，并在它唯一的参数前加上val。如：

class RMB(val amount:Int) extends AnyVal{
  override def toString()="¥"+amount
}

创建这个值类的一个实例：

scala> val money=new RMB(999)
money: RMB=¥999
scala> money.amount
res16:Int=999

money指向该值类的一个实例。它在Scala源码中的类型为RMB，但在编译后的Java字节码中将直接使用Int。