官网地址：http://scalapuzzlers.com/#pzzlr-004

3.Location, Location, Location

Scala为我们提供了许多简洁的特性，在许多面向对象的语言中，类构造器(class constructor)需要接受参数以赋值给类成员(class member)。

1
2
3
4
5
class MyClass(param 1, param2, ...) {
  val member1 = param1
  val member2 = param2
  ...
}

Scala代码允许你一口气声明成员变量和构造器参数。

1
2
3
class MyClass(val member1 = "default_value1", val member2, ...){
  ...
}

一个简单的例子

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
scala> class B(val p: String = "World"){
     |   val m = p
     |   println(m)
     | }
defined class B


scala> new B
World
res17: B = B@6134ac4a

scala> new B("Hello")
Hello
res18: B = B@5f574cc2

再深入一些，我们来观察以下代码的结果

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
scala> trait A {
     |   val audience: String
     |   println("Hello " + audience)
     | }
defined trait A

scala> class BMember(val a: String = "World") extends A {
     |   val audience: String = a
     |   println("I repeat: Hello " + audience)
     | }
defined class BMember

scala> class BConstructor(val audience: String = "World") extends A {
     |   println("I repeat: Hello " + audience)
     | }
defined class BConstructor

scala> new BMember("Readers")
Hello null
I repeat: Hello Readers
res2: BMember = BMember@239b0f9d

scala> new BConstructor("Readers")
Hello Readers
I repeat: Hello Readers
res3: BConstructor = BConstructor@40e10ff8

解释

这里涉及到几个关键点：

  • “Readers”赋值给audience是什么时刻可见(becomes visible)的
  • 参数缺省值”World“在这种情况下是否会影响audience的取值
  • audience的成员声明移动至参数列表是否会影响程序

从输出的值来看，当构造器的参数设定为”Readers”时，默认的参数值”World”不会影响audience的取值。

剩下两个问题需要我们进一步地观察代码。

1
2
3
4
5
6
7
8
class BMember(val a: String = "World") extends A {
  val audience: String = a
  println("I repeat: Hello " + audience)
}

class BConstructor(val audience: String = "World") extends A {
      println("I repeat: Hello " + audience)
}

这两个类的声明都可以归纳成以下形式：

class c(params) extends superclass { statements}

对应的初始化语句new BMember("Readers")和new BConstructor("Readers")执行顺序:

  1. 求出params的值，这里是单纯的字符串”Readers”

  2. 执行superclass {statements}

    • 首先执行superclass部分，对于这个例子，就是A的构造函数

      1
      2
      3
      4
      trait A {
        val audience: String
        println("Hello " + audience)
      }

    • 接下来执行{statements}部分，也就是子类BMember或BConstructor中的语句

这里我们省略了trait的特性信息，你可以单纯地把它当作一个父类。

对于BMemeber来说，首先将”Readers”赋值给其构造器参数a，接着执行A的构造器参数,此时A中audience还未初始化，所以执行语句 println("Hello " + audience)输出结果为”Hello null”。这里执行完后程序回到BMember内部的代码块，此时将构造器参数a赋值给成员变量audience,所以执行语句 println("I repeat: Hello " + audience)输出结果为”I repeat: Hello Readers”

对于BConstructor来说情况略有不同，作为构造器参数求值的一部分，构造器参数”Readers”被立刻赋值给成员变量audience,所以执行到A中的代码块中时audience就不再是null了。

这两种写法中，第二种显然出错的机会更少。

对于这个问题，scala官方文档解释得不错。

附上一个详细的例子说明

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
scala> trait A {
     |   val audience: String
     |   println("Hello " + audience)
     | }
defined trait A

scala> trait AfterA {
     |   val introduction: String
     |   println(introduction)
     | }
defined trait AfterA

scala> class BEvery(val audience: String) extends {
     |   val introduction = {
     |     println("Evaluating early def"); "Are you there?" }
     | } with A with AfterA {
     |   println("I repeat: Hello " + audience)
     | }
defined class BEvery

scala> new BEvery({ println("Evaluating param"); "Readers" })
Evaluating param
Evaluating early def
Hello Readers
Are you there?
I repeat: Hello Readers
res6: BEvery = BEvery@6ea1bcdc

小结

对于有继承关系的类，特别注意其初始化可能导致的问题。

参考资料

  1. In Scala, what is an “early initializer”?
  2. Scala - initialization order of vals
  3. Getting a null with a val depending on abstract def in a trait