Jak działają odniesienia konstruktora tablic Java 8?

Question

że mamy zmienną typu IntFunction która zwraca tablicę liczb całkowitych:

IntFunction<int[]> i; 

z Java 8 generycznych, możliwe jest, aby zainicjować tę zmienną z odniesieniem konstruktora, jak ta:

i = int[]::new 

Jak czy kompilator Java tłumaczy to na kod bajtowy?

Wiem, że dla innych typów, jak String::new, można użyć invokedynamic instrukcję wskazującą do konstruktora String java/lang/String.<init>(...), który jest po prostu metoda o specjalnym znaczeniu.

Jak to działa z tablicami, widząc, że istnieją specjalne instrukcje dotyczące tworzenia tablic?

Answer 1

można dowiedzieć się o dekompilacji kodu binarnego JAVA:

javap -c -v -p MyClass.class 

Kompilator desugars odniesienia konstruktora Tablica Foo[]::new z lambda (i -> new Foo[i]), a następnie prowadzi się z każdym innym lambda i metodą referencyjną. Oto zdemontowany kod bajtowy tego syntetycznego 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  

(jest to typ zwracany jest obiekt, ponieważ usunięte typ zwracany jest w IntFunction Object).