Можно ли определить локатор-конструктор в Scala?

Question

Следующий код взят из книги «Программирование в Scala» Мартина Одерски и др. который определяет рациональный тип:

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

Здесь значение г используется только, когда неявный конструктор инициализирует поля NUMER и DENOM. Предположим, программист знает, что его нельзя использовать нигде. В приведенном выше случае он по-прежнему доступен после построения объекта Rational. Это означает, что он также будет занимать пространство, поскольку является частным полем, а не локальной переменной для конструктора.

Мой вопрос: как изменить этот код так, чтобы 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) 
} 

---

EDIT: Это также создает дополнительное поле, которое удерживает кортеж, как показано на рисунке, запустив 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); 
} 

---

В других случаях я иногда использую блок locally, чтобы избежать поворота каждого val в поле:

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