È possibile definire una variabile locale del costruttore in Scala?

Question

Il seguente codice è tratto da Programming in Scala di Martin Odersky et al. che definisce un tipo razionale:

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) 
} 

Qui il valore g viene utilizzato solo quando il costruttore implicito inizializza campi numer e denom. Supponiamo che il programmatore sappia che non sarà usato altrove. Nel caso precedente è ancora accessibile dopo la costruzione dell'oggetto Rational. Il che significa che occuperà anche spazio poiché è un campo privato anziché essere una variabile locale per il costruttore.

La mia domanda è come faccio a cambiare il codice affinché g viene utilizzato solo mentre la costruzione e poi gettato via?

Answer 1

In questo caso, come su qualcosa di simile?

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) 
} 

---

EDIT: Questo crea anche un campo aggiuntivo che contiene una tupla, come mostrato eseguendo javap sulla classe compilata (grazie, Alexey):

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); 
} 

---

In altri casi, a volte uso il blocco locally per evitare di trasformare ogni val in un campo:

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