¿Es posible definir una variable de constructor local en Scala?

Question

El siguiente código está tomado de la Programación en Scala book de Martin Odersky et al. que define un tipo racional:

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

Aquí el valor g sólo se utiliza cuando el constructor implícito inicializa campos numer y denom. Supongamos que el programador sabe que no se usará en ningún otro lado. En el caso anterior, sigue siendo accesible después de la construcción del objeto Rational. Lo que significa que también ocupará espacio ya que es un campo privado en lugar de ser una variable local para el constructor.

Mi pregunta es ¿cómo puedo cambiar este código para que g solo se use durante la construcción y luego se deseche?

Answer 1

En este caso, ¿qué tal algo como esto?

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: Esto también crea un campo adicional que contiene una tupla, como se muestra mediante la ejecución de javap en la clase compilada (gracias, 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); 
} 

---

En otros casos, a veces uso el bloque locally para evitar girar cada val en un campo:

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