scala – 构造函数参数是否得到GC？

trait Mutable

class Txn(i: Int) {
  def newID(implicit m: Mutable): Int = i
  override def finalize(): Unit = println("Finalised " + i)
}

class User(t0: Txn) extends Mutable {
  val id = t0.newID(this)
}

现在我担心垃圾收集交易存在问题：

val u = new User(new Txn(1234))
System.gc()  // hmmm,nothing seems to happen?

所以我的问题是：t0构造函数参数是否会被垃圾收集,或者我在这里创建内存泄漏？在等效的Java代码中,我想我会有这样的事情：

public class User implements Mutable {
    final int id;
    public User(Txn t0) {
        id = t0.newID(this);
    }
}

我确信收集了.但在Scala案件中这是真的吗？

如果没有,我怎样才能确保t0被垃圾收集？请记住,我必须将事务作为构造函数参数传递,因为User类实现了一些必须传递给Txn方法的特性,因此在构造User之前无法调用这些方法(如newID).

我曾经尝试构建在用户对象之外使用事务的所有东西,有大量懒惰的相互依赖的val,但这真的很混乱.例如,这已经半途无法读取,会产生堆栈溢出：

trait User extends Mutable { def id: Int }

def newUser(implicit tx: Txn): User = {
  lazy val _id: Int = tx.newID(u)
  lazy val u  = new User { val id: Int = _id } // oops,should be lazy val id!
  u
}

val u = newUser(new Txn(1234))

你可以想象,编译器在这里找不到丢失的延迟val的问题真的很糟糕,所以我肯定更喜欢构造函数arg变种.