欢迎您访问程序员文章站本站旨在为大家提供分享程序员计算机编程知识!
您现在的位置是: 首页  >  后端开发

[Scala之旅]3-统一类型 - TOUR OF SCALA 思否

程序员文章站 2022-04-09 14:14:57
...
在Scala中,所有值都有一个类型,包括数值和函数。下图演示了类型层次结构的一个子集。

[Scala之旅]3-统一类型 - TOUR OF SCALA 思否

Scala类型层次结构

Any 类型是所有类型的父类型,也称为*类型。它定义了一些通用的方法,如 equalshashCodetoStringAny 有两个直接子类:AnyValAnyRef

AnyVal 代表值类型。有9种预定义的值类型,它们是不可为空的:DoubleFloatLongIntShortByteCharUnitBooleanUnit 是一个不具备任何意义的值类型。Unit 只有一个实例可以像这样声明:()。所有函数都必须返回某个值,因此 Unit 是一个有用的返回类型。

AnyRef 表示引用类型。所有的非值类型都被定义为引用类型。Scala中的每个用户定义类型都是 AnyRef 的子类型。如果Scala是在Java运行时环境中使用的,那么 AnyRef 对应于 Java.lang.object

这里有一个例子,它演示了字符串、整数、字符、布尔值和函数都是与其他对象一样的对象:

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))

它定义了类型 List[Any] 的变量列表。这个列表是用各种类型的元素初始化的,但是它们都是 scala.Any 的实例,所以你可以把它们都添加到列表中。

下面是程序的输出:

a string
732
c
true
<function>

类型转换

值类型可以通过以下方式进行转换:

[Scala之旅]3-统一类型 - TOUR OF SCALA 思否

例如:

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

转换是单向的。下面最后一条语句将无法通过编译:

val x: Long = 987654321
val y: Float = x  // 9.8765434E8
val z: Long = y  // Does not conform

你还可以将引用类型转换为子类型。这将在之后的文章中被介绍。

Nothing和Null

Nothing 是所有类型的子类型,也称为底部类型。类型 Nothing 是没有值的。常见的用途是发出非终止信号,例如抛出异常、程序退出或无限循环(即,它是一种没有对值进行求值的表达式,或者是一种不返回正常值的方法)。

Null 是所有引用类型的子类型(即 AnyRef 的任何子类型)。它有一个由关键字 null 标识的单一值。Null 主要用于与其他JVM语言的互操作性,并且几乎不应该在Scala代码中使用。我们将在稍后的文章中介绍 null 的替代方案。

以上就是[Scala之旅]3-统一类型 - TOUR OF SCALA 思否的详细内容,更多请关注其它相关文章!

相关标签: Scala TOUR 类型