Warum der leeren() -Methode hat (ohne Parameter) von java.util.stream.Stream in Java 8 einen Typparameter enthält

Question

In Java 8 Stream Bibliothek, fand ich eine interessante Frage in gleichen Methoden in java.util.stream.Stream:

• static <T> Stream<T> empty()

Wie wir sehen können, dass es keine Parameter in der Methode ist Unterschrift. Nach meinem Verständnis, in diesem Fall sollte es nicht Typ Parameter - <T> - nach der optionale Spezifikation - static sein. Zum Beispiel wird in der Methode Optional<T> findAny() kein Typ Parameter wie erwartet angegeben.

Also könnte jemand erklären, warum static <T> Stream<T> empty() einen Typparameter enthält?

Answer 1

Lassen Sie uns zunächst unsere eigene Art erklären, um besser zu verstehen, warum:

static interface Stream<T> { 

    public static Stream<T> empty() { // will not compile here 
     return new Stream<T>() { 
     }; 
    } 

} 

Wie dieser Code jetzt ist, wäre es nicht kompilieren, sagen, dass can not make a static reference to the non-static type T, die IMO durchaus Sinn macht. Dies geschieht, weil der statische Kontext völlig unabhängig von Typparametern ist (dies sollte Ihre erste Frage beantworten).

Um dies zu beheben, müssen wir den Typ Parameter an die Methode hinzuzufügen:

public static <T> Stream<T> empty() { // notice the extra <T> 
    return new Stream<T>() { 
    }; 
} 

Das gerade übersetzt werden können, aber es ist ein verstecktes Problem - die Klasse T und das Verfahren T sind völlig unabhängig und habe keine Beziehung zwischen ihnen.

Dies wie dies mit der exakt gleichen Effekt hätte geschrieben werden können (und sauberer IMO):

public static <R> Stream<R> empty() { 
    return new Stream<R>() { 
    }; 
} 

weil Sie diese haben: return new Stream<R>()... wir effektiv R und T gleichwertig gemacht haben, kann dieser Grund ist, kann die warum sie immer noch T in der Deklaration von empty() statt einer anderen Art verwendet.

Nun wollen wir die gleiche Logik zu findAny gelten:

public <T> Optional<T> findAny(); 

dies eine Warnung generiert wird -, dass Sie die <T> verstecken, die auf Klassenebene (Stream<T>) und dem in der Methode deklariert wird. Das passiert, weil findAnyist nicht statische und es verwendet den Typ Parameter bereits deklariert - die Sie verstecken, indem Sie eine andere <T>, die keine Beziehung mit der einen Form der Klassenstufe haben würde.