在Java中，具有包装器对象返回值（例如整数）是否会导致自动装箱？

Question

我无法为这个看似简单的问题找到明确的答案。如果我写一个这样的方法：

public Integer getAnInt() {
  int[] i = {4};
  return i[0];
}

返回值是自动装箱到 Integer 中，还是取决于返回后值会发生什么变化（例如，它被分配到的变量是声明为 Integer 还是 int）？

Answer 1

你在问两个不同的问题，区分它们很重要。第一个是语言层面的问题:在< code>return这样的上下文中，语言如何调解< code>int和< code>Integer之间的区别。第二个是(暗示)一个成本模型问题——返回< code>Integer会导致无用的堆分配吗？许多开发人员将两者混为一谈。

对于第一个问题，您有一个返回< code>Integer但返回类型为< code>int的表达式的方法。从本质上讲，退货被视为转让；您正试图将< code>int赋值给< code>Integer。JLS 5.2说在赋值上下文中允许装箱转换。所以，是的，< code>int将成为装箱转换的对象。

但是，你问这个问题的事实表明，你在某种程度上害怕拳击的性能开销，因此你的问题的第二个隐含部分。这是它变得（a）模糊，（b）可能无关紧要的地方。在运行时，堆分配是否实际发生取决于 （a） int 是否较大（装箱缓存小整数的框）和 （b） 方法是否内联。如果该方法是内联的，JIT将看到您正在进入int -

Answer 2

它将（自动）装箱在字节码（.class文件）中，因为它是公共API的一部分，因此其他代码可能依赖于返回值是整数。

在适当的情况下，JITter可能会在运行时删除装箱和拆箱，但我不知道它是否能做到这一点。