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


问题内容

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

IntFunction<int[]> i;

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

i = int[]::new

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

我知道对于其他类型,例如String::new,它可以使用invokedynamic指向String构造函数的指令java/lang/String.<init>(...),这只是一种具有特殊含义的方法。

看到有构造数组的特殊说明,这对数组如何工作?


问题答案:

您可以通过反编译Java字节码来发现自己:

javap -c -v -p MyClass.class

编译器对数组Foo[]::newlambda(i -> new Foo[i])进行desugars数组构造函数引用,然后像处理其他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。)