09 详解scala统一类型

1 详解scala统一类型

• 前言基本思路还是参考官方文档
• 官方文档地址：https://docs.scala-lang.org/zh-cn/tour/unified-types.html

1-1 Scala类型层次结构

• 在Scala中，所有的值都有类型，包括数值和函数。下图阐述了类型层次结构的一个子集。
  
• Any是所有类型的超类型，也称为顶级类 型。它定义了一些通用的方法如equals、hashCode和toString。
• Any有两个直接子类：AnyVal和AnyRef。
• AnyVal代表值类型。有9个预定义的非空的值类型分别是：Double、Float、Long、Int、Short、Byte、Char、Unit和Boolean。Unit是不带任何意义的值类型，它仅有一个实例可以像这样声明：()。所有的函数必须有返回，所以说有时候Unit也是有用的返回类型。
• AnyRef代表引用类型。所有非值类型都被定义为引用类型。在Scala中，每个用户自定义的类型都是AnyRef的子类型。如果Scala被应用在Java的运行环境中，AnyRef相当于java.lang.Object。

object ScalaTest {
  def main(args: Array[String]): Unit = {
    val list: List[Any] = List(
      "a string",
      732,  // an integer
      'c',  // a character
      true, // a boolean value
      () => "an anonymous function returning a string"
    )

    list.foreach(element => println(element))
  }

}

a string
732
c
true
com.atguigu.bigdata.scala.test.ScalaTest$$$Lambda$15/0x0000000800ba4c40@327471b5

• 上面有一个例子，说明了字符串、整型、布尔值和函数都是对象，这一点和其他对象一样：
• 这里定义了一个类型List的变量list。这个列表里由多种类型进行初始化，但是它们都是scala.Any的实例，所以可以把它们加入到列表中。

1-2 类型转换

• 值类型可以按照下面的方向进行转换
  

object ScalaTest {
  def main(args: Array[String]): Unit = {
    val x: Long = 987654321
    val y: Float = x // 9.8765434E8 (note that some precision is lost in this case)
    val face: Char = '☺'
    val number: Int = face // 9786
    println(s"x=${x},number=${number}")
  }
}

x=987654321,number=9786

• 转换是单向，下面这样写将不会通过编译。

object ScalaTest {
  def main(args: Array[String]): Unit = {
    val x: Long = 987654321
    val y: Float = x  // 9.8765434E8
    val z: Long = y  // Does not conform
  }
}

• 下面是在biuld的报的错
  

1-3 Nothing和Null

• Nothing是所有类型的子类型，也称为底部类型。没有一个值是Nothing类型的。它的用途之一是给出非正常终止的信号，如抛出异常、程序退出或者一个无限循环（可以理解为它是一个不对值进行定义的表达式的类型，或者是一个不能正常返回的方法）。
• Null是所有引用类型的子类型（即AnyRef的任意子类型）。它有一个单例值由关键字null所定义。Null主要是使得Scala满足和其他JVM语言的互操作性，但是几乎不应该在Scala代码中使用。