Java/Scala 对垃圾收集有什么保证？

Question

Play 框架有 play.api.libs.Files.TemporaryFile，它持有对 File 的引用，并在 TemporaryFile#finalize() 中删除它。

case class TemporaryFile(file: File) {

  def clean(): Boolean = {
    file.delete()
  }

  def moveTo(to: File, replace: Boolean = false) {
    Files.moveFile(file, to, replace = replace)
  }

  override def finalize {
    clean()
  }

}

我知道这有一些问题，例如，您可以填满整个磁盘而 JVM 感觉不需要 GC。

---

但这里我问的是程序的“正确性”，即没有磁盘空间限制的程序。

def foo() {
    val tempFile = TemporaryFile(new File("/tmp/foo"))

    val inputStream = new FileInputStream(tempFile.file) // last use
    try {
        println(inputStream.read())
    } finally {
        inputStream.close()
    }
}

在我从文件中读取之前可以删除 /foo/bar 吗？我在// last use之后不使用tempFile，那之后可以马上定稿吗？

或者如果它作为参数传递给函数呢？

def foo() {
  val tempFile = TemporaryFile(new File("/tmp/foo"))
  bar(tempFile)
}

def bar(tempFile: TemporaryFile) {
  val inputStream = new FileInputStream(tempFile.file) // last use
  try {
      println(inputStream.read())
  } finally {
      inputStream.close()
  }
}

---

如果在上面的示例中，tempFile 可能在我使用完毕之前被删除，TemporaryFile 的正确用法是什么，这样就不会发生这种情况？

Answer 1

一旦您不再拥有对该对象的强引用，Java 对象就有资格进行垃圾回收。这不取决于您是否“使用”该对象。

在这个例子中，

def foo() {
    val tempFile = TemporaryFile(new File("/tmp/foo"))

    val inputStream = new FileInputStream(tempFile.file) // last use
    try {
        println(inputStream.read())
    } finally {
        inputStream.close()
    }
}

tempFile 不符合垃圾回收条件，因此在不再使用 foo() 之前完成。使用来自tempFile 的成员的对象可能会使用它，并使其不符合条件的时间超过foo() 中的最后一次使用时间。

在这个例子中，

def foo() {
  val tempFile = TemporaryFile(new File("/tmp/foo"))
  bar(tempFile)
}

def bar(tempFile: TemporaryFile) {
  val inputStream = new FileInputStream(tempFile.file) // last use
  try {
      println(inputStream.read())
  } finally {
      inputStream.close()
  }
}

结果是一样的。

在一个小的变体中（Java，我不太了解 Scala 语法），

class Foo {
    List<Object> objects = new List<Object>(); 
    void foo(Object o) { 
        objects.add(o); 
    }
}

// ...

Foo f = new Foo(); 
f.foo(new Object()); // The object we just created is not eligible for garbage 
                     // collection until the `Foo f` is not used, because
                     // it holds a strong reference to the object. 

Answer 2

在执行退出其范围之前，局部变量不会被最终确定。 GC 不会终止您不使用的对象，它会终止您无法再访问的对象，因此在您使用 tempFile 的示例中，它不会在 foo() 调用之前发生完成了。