java - 没有引用的新对象的生命周期

Question

我的问题是:

• Java: What is the purpose of creating an object in the heap with no reference
• Java - Can objects which are executing methods be garbage-collected?

当我们的代码中有这样的东西时实际会发生什么:

 (new SomeClass()).longMethod();

是否仍然有某种未命名(强？)引用指向堆上新创建的对象放在堆栈上？

如果 Stack 上没有任何内容，那么垃圾收集器如何知道在方法执行期间保留对象？

有没有可能和

一样

{ 
  // very local scope
  SomeClass throwAwayRef = new SomeClass();
  throwAwayRef.longMethod();
}

Answer 1

您可以查看字节码以获得洞察力:

   0: new           #16                 // class SomeClass
   3: dup
   4: invokespecial #18                 // Method SomeClass."<init>":()V
   7: invokevirtual #19                 // Method SomeClass.longMethod:()V

• new 实际上分配对象，将其引用压入堆栈。
• dup 复制栈顶；现在顶部的两个堆栈项是对新创建对象的引用。
• invokespecial 这里调用了SomeClass的构造函数，出栈；现在堆栈只包含对我们的 SomeClass 实例的单个引用。该实例未被 GC 处理，因为堆栈中存在对它的引用。
• invokevirtual 这里调用longMethod。同样，该实例未被 GC，因为对它的引用仍然存在于堆栈中(并在方法完成后弹出，之后它符合 GC 条件)。

---

(new SomeClass()).longMethod();

不一样

{ 
  // very local scope
  SomeClass throwAwayRef = new SomeClass();
  throwAwayRef.longMethod();
}

在字节码级别，因为后者涉及一个astore 和一个aload。但是，两者在功能上肯定是等价的。 longMethod 完成后，SomeClass 实例仍然符合 GC 条件(当执行 invokevirtual 时，两个片段的堆栈看起来相同)。

---

引用:

• Java bytecode instruction listings