Question

以下代码取自Martin Odersky等人在Schala书中的方案规划。界定合理类型:

class Rational(n: Int, d: Int) { 
  require(d != 0)
  private val g = gcd(n.abs, d.abs)
  val numer = n / g 
  val denom = d / g
  ...
  private def gcd(a: Int, b: Int): Int = if (b == 0) a else gcd(b, a % b)
}

这里,只有在隐含构造者初步确定田地数和den时才会使用价值克。支持者们知道,在任何地方都使用它。在上述情况下,在造价物后仍可使用。也就是说,它也会占用空间,因为这是一个私人领域,而不是建筑商的一个当地变量。

我的问题是,我如何改变这一守则,以便“条码”——g只有在施工期间才使用,然后被抛弃?

Answer 1

在这种情况下,情况如何?

class Rational(n: Int, d: Int) {
  require(d != 0)
  val (numer, denom) = {
    val g = gcd(n.abs, d.abs)
    (n / g, d / g)
  }
  private def gcd(a: Int, b: Int): Int = if (b == 0) a else gcd(b, a % b)
}

<><>>><>><><>>><>>>>>>> 这还创造了一个额外领域,如编造的班级(比克、亚历克西)的<编码>javap所示:

public class Rational extends java.lang.Object implements scala.ScalaObject{
    private final scala.Tuple2 x$1; // actually unwanted!
    private final int numer;
    private final int denom;
    public int numer();
    public int denom();
    private int gcd(int, int);
    public Rational(int, int);
}

在其他情况下,我有时使用<代码>当地栏,以避免将每一条<代码>val变成一个领域:

class A {
  locally {
    val value1 = // ...
    val value2 = // ...
  }
}

友情链接