Question

假设我们有一个类型为IntFunction的变量，它返回一个整数数组：

IntFunction<int[]> i;

使用Java 8泛型，可以使用如下构造函数引用初始化此变量：

i = int[]::new

Java编译器如何将其转换为字节码？

我知道对于其他类型，例如String::new，它可以使用指向String构造函数invokedynamic的{{1}}指令，这只是一种具有特殊含义的方法。 / p>

这对数组有什么用处，看到有构造数组的特殊指令？

Answer 1

您可以通过反编译java字节码找到自己：

javap -c -v -p MyClass.class

编译器将数组构造函数引用Foo[]::new转义为lambda（i -> new Foo[i]），然后与任何其他lambda或方法引用一样继续。这是这个合成lambda的反汇编字节码：

private static java.lang.Object lambda$MR$new$new$635084e0$1(int);
descriptor: (I)Ljava/lang/Object;
flags: ACC_PRIVATE, ACC_STATIC, ACC_SYNTHETIC
Code:
  stack=1, locals=1, args_size=1
     0: iload_0       
     1: anewarray     #6                  // class java/lang/String
     4: areturn

（它的返回类型是Object，因为IntFunction中的擦除返回类型是Object。）

Java 8数组构造函数引用如何工作？

1 个答案: