正文

一个简单的装箱操作

javac 会自动完成装箱的操作，我用一个名为 Main.java 的程序来演示一下。
Main.java 的内容如下

public class Main {
    private Integer f(int in) {
        return in;
    }
}

执行如下命令对 Main.java 进行编译

javac Main.java

执行如下命令可以查看字节码文件中的内容

javap -cp . -p -v 'Main'

完整的内容较长，和 f(...) 直接相关的部分如下

  private java.lang.Integer f(int);
    descriptor: (I)Ljava/lang/Integer;
    flags: ACC_PRIVATE
    Code:
      stack=1, locals=2, args_size=2
         0: iload_1
         1: invokestatic  #2                  // Method java/lang/Integer.valueOf:(I)Ljava/lang/Integer;
         4: areturn
      LineNumberTable:
        line 3: 0

f(...) 对应的字节码指令有三条, 作用如下

1. iload_1, 其作用是将1号slot中的int值加载到操作数栈中(f(...)方法只有一个参数in，1号slot中保存的就是 in 这个参数的值)
2. invokestatic #2, 调用常量池中与 #2 对应的静态方法, 也就是 java/lang/Integer.valueOf:(I)Ljava/lang/Integer; 这个方法
3. areturn, 将操作数栈栈顶的引用作为 f(...) 的返回值

显式地进行装箱

大致可以猜到，编译器在遇到需要对 int 类型进行装箱的场景时，会自动调用 Integer 类中的 valueOf(...) 方法

我们可以写一个 Temp.java 来验证一下

public class Temp {
    private Integer f(int in) {
        return Integer.valueOf(in);
    }
}

执行如下命令就能看到 Temp.java 中的 f(...) 对应的字节码指令

javac Temp.java
javap -cp . -p -v 'Temp'

Temp.java 中的 f(...) 的字节码指令展示如下

  private java.lang.Integer f(int);
    descriptor: (I)Ljava/lang/Integer;
    flags: ACC_PRIVATE
    Code:
      stack=1, locals=2, args_size=2
         0: iload_1
         1: invokestatic  #2                  // Method java/lang/Integer.valueOf:(I)Ljava/lang/Integer;
         4: areturn
      LineNumberTable:
        line 3: 0

可见 Main.java Temp.java 中的 f(...) 在编译后生成的字节码指令确实是相同的

也可以用 cfr 这个工具验证一下。
以 cfr-0.144.jar 为例，执行如下命令，就能看到显式的装箱操作

java -jar cfr-0.144.jar Main --sugarboxing false 

运行结果如下

/*
 * Decompiled with CFR 0.144.
 */
public class Main {
    private Integer f(int n) {
        return Integer.valueOf((int)n);
    }
}

可见，cfr 运行的结果和我们之前的猜测是一致的(除了那个多余的类型转换之外)。

参考文章

1. https://www.benf.org/other/cfr/boxing-isnt-magic.html