延迟初始化(Lazy vals)
除了前面介绍的预先初始化成员值外,你还是让系统自行决定何时初始化成员的初始值,这是通过在 val 定义前面添加 lazy(懒惰),也是说直到你第一次需要引用该成员是,系统才会去初始化,否则该成员就不初始化(这也是 lazy 的由来:-)).首先我们定义一个正常定义 val 的例子:
object Demo {
val x = { println("initializing x"); "done"}
}
我们首先引用 Demo,然后 Demo.x
scala> Demo
initializing x
res0: Demo.type = Demo$@78178c35
scala> Demo.x
res1: String = done
正如你所看到的,当引用 Demo 对象时,它的成员 x 也会初始化,初始化 x 伴随着初始化 Demo 的过程。然后,如果我们在 val x 前添加 lazy ,情况就有所不同了:
object Demo {
lazy val x = { println("initializing x"); "done"}
}
defined object Demo
scala> Demo
res0: Demo.type = Demo$@7de1c412
scala> Demo.x
initializing x
res1: String = done
在使用 lazy 之后,初始化 Demo 时,不会初始化 x,只有在引用到 Demo.x 该初始化代码才会执行。这有点类似定义了一个无参数的方法,但和 def 不同的是,lazy 变量初始化代码只会执行一次。通过这个例子,我们可以看到例如 Demo 的对象本身也像一个 lazy 变量,也是在第一次引用时才会初始化,这是正确的,实际上一个 object 定义可以看成是使用了lazy val定义一个匿名类实例的简化方式。
使用l azy val,我们可以修改之前的 RationalTrait, 在这个新的 Trait 定义中,所有的类成员变量的实现(非抽象成员)都使用 lazy 来修饰。
trait LazyRationalTrait{
val numerArg :Int
val denomArg :Int
lazy val numer = numerArg/g
lazy val denom = denomArg/g
private lazy val g = {
require(denomArg !=0)
gcd(numerArg,denomArg)
}
private def gcd(a:Int,b:Int):Int =
if(b==0) a else gcd(b, a % b)
override def toString = numer + "/" + denom
}
同时我们把 require 移动到 g 里面,这样所有的 lazy val 初始化代码都移动到 val 定义的右边。我们不再需要预先初始化成员变量。测试如下:
scala> val x = 2
x: Int = 2
scala> new LazyRationalTrait{
val numerArg = x
val denomArg = 2 * x
}
res2: LazyRationalTrait = 1/2
我们来分析一下这段代码中命令行的执行顺序:
- 首先,创建了一个新的 LazyRationalTrait 的实例,执行 LazyRationalTrait 的初始化代码,这部分代码为空,LazyRationalTrait 所有成员变量都没有初始化。
- 其次,该 Trait 的匿名子类的主构造函数被执行,这部分初始化 numberArg 和 denomArg 为2和4.
- 接下来,命令行需要调用该实例的 toString 方法来显示该实例的值。
- 接下来,toString 需要访问成员 number 这是第一次访问该成员,因此 lazy val 初始化代码被执行。初始化代码调用私有成员g,因此需要计算 g 的值,用到之前定义过的 numberArg 和 denomArg。
- 接下来 toString 需要访问成员 denom 这是第一次访问该成员,因此 lazy val 初始化代码被执行。初始化代码调用私有成员 g ,因此需要计算 g 的值,因为 g 已经计算过,无需再计算。
- 最后,toString 的结果1/2构造出来并显示。
在这个例子中,我们在写代码时,g 定义在 number 和 denom 的后面,然而,由于这三个变量都是使用 lazy 来定义的,因此它们在代码中出现的顺序并不重要。