scala,初始化抽象vals


Scala编程,第三版,Martin Odersky”一书在第449页给出了这个例子:

trait RationalTrait {
  val numerArg: Int
  val denomArg: Int
  require(denomArg != 0)
  private val g = gcd(numerArg, denomArg)
  val numer = numerArg / g
  val denom = denomArg / g
  private def gcd(a: Int, b: Int): Int =
    if (b == 0) a else gcd(b, a % b)
  override def toString = numer + "/" + denom
}

然后它解释了以下代码失败,因为trait在匿名类之前被初始化,因此,denomArg仍为0.

new RationalTrait {
  val numerArg = 4
  val denomArg = 24
}

它提供了两种解决方案.一种解决方案是使用预先初始化的字段:

new {
  val numerArg = 4
  val denomArg = 24
} with RationalTrait

第二种解决方案是修改特性以使用延迟值,如下所示:

trait LazyRationalTrait {
  val numerArg: Int
  val denomArg: Int
  lazy val numer = numerArg / g
  lazy val denom = denomArg / g
  override def toString = numer + "/" + denom
  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)
}

new LazyRationalTrait {
  lazy val numerArg = 4
  lazy val denomArg = 24
}

但是,这个更简单的解决方案也有效.我想知道为什么他们没有提到这个解决方案.这有什么缺点吗?

new RationalTrait {
  lazy val numerArg = 4
  lazy val denomArg = 24
}

最佳答案 我认为你的解决方案与第二个选项相比更加一致(在Scala编程的第453页提到,3d ed.):

trait A { 
  val x: Int 
  lazy val y: Int = x
  val z: Int = y 
}

new A { val x = 1 }.y        // ==0 ?!!!
new A { val x = 1 }.z        // ==0 ?!!!

VS

trait A { 
  val x: Int 
  val y: Int = x
  val z: Int = y 
}

new A { lazy val x = 1 }.y   // ==1
new A { lazy val x = 1 }.z   // ==1

至少我不需要记住懒惰的val不能用在基类中的非惰性构造中.查看字节码我没有看到你的方法有任何明显的问题,因为在后一种情况下,x被有效地定义为def,所以它在基类中初始化时已经存在.

点赞