non può risolvere metodo di overload con lambda generico

Question

Questo codice:

public static void f(String[] args) {} 
public static void f(Integer[] args) {} 

public static void main(String[] args) 
{ 
    f(Stream.of("xxx").toArray(i -> new String[i])); 
} 

compila il successo con jdk8u45 ma jdk8u60 stampa il seguente errore:

Error:(17, 9) java: reference to f is ambiguous 
    both method f(java.lang.String[]) in type_infer.Test and method f(java.lang.Integer[]) in type_infer.Test match 

Ne segue la JSL, perché compilatore non può risolvere i metodi sovraccarichi? Era un bug fisso in jdk8u45?

Answer 1

Questo sembra un bug recentemente introdotto in javac.

L'argomento nella chiamata a f(..) è chiaramente di tipo String[]. Questo può, per esempio, essere mostrato risolvendo la stessa espressione come espressione autonoma:

String s1 = Stream.of("xxx").toArray(i -> new String[i])[0]; 
String[] s2 = Stream.of("xxx").toArray(i -> new String[i]).clone(); 

Questi sono accettato da tutte le versioni di compilatori.

Chiaramente, f(Integer[]) non è applicabile con un argomento di tipo String[]. Non vedo alcuna ragione per cui l'inferenza del tipo esterno costringa la risoluzione interiore a un risultato peggiore (ad es., Object[]) della risoluzione come espressione autonoma.

Ulteriori prove: la seguente dichiarazione sia correttamente respinto anche da quelle versioni di javac interessate da questo bug:

Integer[] s3 = Stream.of("xxx").toArray(i -> new String[i]); 

Quindi f(Integer[]) è chiaramente fuori dalla resa dei conti.

Answer 2

che stai ricevendo il dolore da un bug noto nella JVM http://bugs.java.com/bugdatabase/view_bug.do?bug_id=8029718 Non sei sicuro di come mettere in relazione la "versione fissa" per le generazioni disponibile sul sito di Oracle. Ma comunque dovresti lavorare nell'ultima versione e riportare le tue scoperte in quel bug. Forse l'hanno riparato e ora c'è una regressione.