Warum ist `Stream.collect` typsicher und` Stream.toArray (IntFunction <A[]>) `nicht?

Question

Betrachten Sie das folgende Codefragment

String strings[] = {"test"}; 
final List<String> collect = java.util.Arrays.stream(strings).collect(java.util.stream.Collectors.toList()); 
final Double[] array = java.util.Arrays.stream(strings).toArray(Double[]::new); 

Warum kann Java die richtige Art in der Collect-Fall (Änderung der generischen Art von collect auf zB Doppel führt zu einem Fehler der Kompilierung) garantieren, aber nicht in dem Array Fall (kompiliert gut, trotz apply(int) von Double[]::new gibt Double[], nicht Object[], aber löst ArrayStoreException, wenn falsch wie oben verwendet)?

Was wäre der beste Weg, einen Kompilierzeitfehler zu generieren, wenn ich den Typ des Streams ändere, ohne die angegebene IntFunction im toArray-Aufruf zu ändern?

Answer 1

Die Signatur der Methode Stream::toArray sieht wie folgt aus. Bitte beachten Sie, dass die Typparameter T und A völlig unabhängig sind.

public interface Stream<T> { 
    <A> A[] toArray(IntFunction<A[]> generator); 
} 

In der Quelle der ReferencePipeline.java, können Sie den folgenden Kommentar finden:

Da A keine Beziehung zu U (nicht möglich zu erklären, dass A eine obere Schranke ist von U) wird es keine statische Typprüfung sein. Verwenden Sie daher einen unformatierten Typ und nehmen Sie an anstatt die Trennung von A und U in der gesamten Codebasis zu propagieren. Der Laufzeittyp von U wird nie auf Gleichheit mit dem Komponententyp des Laufzeittyps A[] geprüft. Die Laufzeitprüfung wird ausgeführt, wenn ein Element in A[] gespeichert ist. Wenn also A kein Super-Typ U ist, wird ein ArrayStoreException geworfen.