Scala 3 — 书籍

推断类型

语言

与其他静态类型编程语言一样,在 Scala 中,您可以在创建新变量时声明类型

val x: Int = 1
val y: Double = 1

在这些示例中,类型被显式声明为 IntDouble。但是,在 Scala 中,您通常不必在定义值绑定时声明类型

val a = 1
val b = List(1, 2, 3)
val m = Map(1 -> "one", 2 -> "two")

当您这样做时,Scala 会推断类型,如下面的 REPL 交互所示

scala> val a = 1
val a: Int = 1

scala> val b = List(1, 2, 3)
val b: List[Int] = List(1, 2, 3)

scala> val m = Map(1 -> "one", 2 -> "two")
val m: Map[Int, String] = Map(1 -> one, 2 -> two)

事实上,大多数变量都是这样定义的,Scala 自动推断类型的功能使其感觉像动态类型语言。

本页的贡献者