Kann nicht überladene Methode mit generischen Lambda lösen

Question

Dieser Code:

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])); 
} 

kompiliert Erfolg mit jdk8u45 aber jdk8u60 druckt die folgende Fehlermeldung:

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 

Ist es die JSL folgen, Warum Compiler kann nicht Überladene Methoden auflösen? War es ein fester Fehler in jdk8u45?

Answer 1

Das sieht wie ein Fehler aus, der vor kurzem in javac eingeführt wird. Das Argument im Aufruf an f(..) ist eindeutig vom Typ String[].

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

Diese sind von allen Versionen von Compilern akzeptiert: Dies kann beispielsweise durch Auflösen des gleichen Ausdrucks als eigenständigen Ausdruck dargestellt werden.

Offensichtlich ist f(Integer[]) nicht anwendbar mit einem Argument vom Typ String[]. Ich sehe keinen Grund, warum der äußere Typschluss die innere Auflösung zu einem schlechteren Ergebnis (z. B. Object[]) zwingen würde als die Auflösung als eigenständiger Ausdruck.

Ein zusätzlicher Beweis: die folgende Aussage richtig abgelehnt selbst von diesen Versionen von javac von diesem Fehler betroffen:

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

Daher f(Integer[]) deutlich aus der Rechnung ist.

Answer 2

Sie bekommen die Schmerzen von einem bekannten Fehler in der Jvm http://bugs.java.com/bugdatabase/view_bug.do?bug_id=8029718 nicht sicher, wie die „feste Version“ beziehen sich auf die auf der Oracle Website aufbaut. Aber trotzdem sollten Sie in der neuesten Version arbeiten und Ihre Ergebnisse in diesem Fehler melden. Vielleicht haben sie es behoben und jetzt gibt es eine Regression.