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

Question

假设我们有一个IntFunction返回整数数组的变量:

IntFunction<int[]> i;

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

i = int[]::new

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

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

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

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.)