为什么 Scala 语言要求初始化实例变量而不是依赖默认值？

Question

Scala 语言要求您在使用实例变量之前对其进行初始化。但是，Scala 不为变量提供默认值。相反，您必须使用通配符下划线手动设置其值，它的作用类似于默认值，如下所示

var name:String = _

我知道，我知道...我可以在类定义中定义一个构造函数，它将我们的实例变量作为参数，所以Scala不会强制其初始化，如下所示

class Person(var name:String) 

但是，我需要在主体中声明它，因为我需要使用ElementType为FIELD或METHOD的Java注释；也就是说，它只能应用于类主体中声明的实例变量或方法。

问题：为什么 Scala 语言要求您初始化一个实例变量（无论是默认值还是任何您想要的值）在类主体中声明，而不是依赖默认值？

Answer 1

如果您使用如下所示的代码，则您声明的名称应该是抽象的：

class A {
  var name: String
}

我想您已经知道了。所以你的问题是句法性质的。
答案是与其他可能的抽象候选人保持一致。

假设您想做这样的事情：

class A {
   var variable: String = _ // variable has some default value (probably null)
   val value: String = _ // value cannot have any default values, since it cannot be reassigned later.
   def method: String = _ // method could return some default value (probably null)
   type theType = _ // what should the default type be? (Any perhaps?)
}

最后三个示例甚至无法编译。现在假设您想做这样的事情：

class A {
   var variable: String
   val value: String
   def method: String
   type theType
}

从我的角度来看，即使是几乎不懂 Scala 的人也只能看到声明。没有办法误解它们，因为除了声明之外没有其他东西。当您来自另一种语言并假设有一些默认值时，就会出现唯一的混乱。但是，当您看到第一个示例（具有默认值的示例）时，这种混乱就消失了。顺便说一句，您的类必须是抽象层次结构的一部分才能允许声明抽象成员，因此即使您是该语言的新手，您也已经从编译器获得了一些额外的帮助。

我希望这能回答您的问题并祝您编码愉快。

Answer 2

当您将注释指定为构造函数参数时，您可以应用该注释。此外，您可能需要使用元注释来限制您正在使用的注释应用于哪个目标 - 请参阅 http://www.scala-lang.org/api/2.10.2-RC2/index.html#scala.annotation.meta.package

你的不过，关于“依赖默认值”的问题有些不清楚。使用下划线进行初始化相当于将变量的值赋给 null。您还想到什么其他默认设置？

Answer 3

Scala 对于类主体中的“var name: String”没有问题。你尝试过吗？但这并不意味着你想要它的意思。这是一个抽象变量。

abstract class A {
  var name: String
}
// some possible uses for abstract vars
trait B { type T ; var name: T }
class B1 extends B { type T = Int ; var name: Int = 5 }
// hey, no storage
class B2 extends B { type T = String ; def name = "abc" ; def name_=(x: String) = () }