为什么抽象变量需要scala中的类型注释？

Question

当我有一个带有变量的抽象类时，如下所示

abstract class Book {

  val id : Int
  val name : String
  val book : Long

}

在没有类型的情况下声明它们，

abstract class Book {

  val id 
  val name 
  val book 

}

说错误的价值宣言。如果可以在没有显式类型注释的情况下声明方法。

abstract class Book {

  val id : Int
  val name : String
  val book : Long

  def aMethodWithNoTypeAnnotation

}

为什么变量也不能同样有效？这是围绕JVM的限制吗？

Answer 1

Scala没有全局类型推断，只有本地类型推断。推断val或var的类型是用于初始化它的表达式的类型。摘要val和var未初始化，因此无法从中推断出类型。

如果未指定抽象方法的返回类型，则隐含为Unit。这里没有类型推断。但Unit对于val或var没有任何意义：只能存在Unit类型的一个值，那么为什么要将其存储在变量中呢？