Warum ist es `<T> Type` als Rückgabetyp in Java Generics und nicht` Type <T> `?

Question

Ich schrieb gerade eine einfache JUnit Matcher für assertThat(), die Generics erfordert, natürlich.

Mit etwas Glück fand ich die richtige Syntax für den Rückgabetyp von static <T>Matcher not(Matcher<T> m)..., obwohl ich verstehe nicht, warum

• im Rückgabetyp seine <T>Matcher und
• in der Argumentliste seine Matcher<T>

Warum ist es <T>Matcher im Rückgabetyp? Was ist das Konzept dahinter?

Ich komme aus C++ und kann seine Vorlagen dort ziemlich gut behandeln. Ich weiß, dass Generics anders arbeiten, aber das ist, warum das für mich verwirrend ist.

Hier ist meine eigene Matcher Klasse. Schauen Sie sich die statische Hilfs not:

import org.hamcrest.*; 

/** assertThat(result, not(hasItem("Something"))); */ 
class NotMatcher<T> extends BaseMatcher<T> { 
    /** construction helper factory */ 
    static <T>Matcher not(Matcher<T> m) { //< '<T>Matcher' ??? 
     return new NotMatcher<T>(m); 
    } 
    /** constructor */ 
    NotMatcher(Matcher<T> m) { /* ... */ } 
    /* ... more methods ... */ 
} 

Answer 1

Sie wollen wirklich

static <T> Matcher<T> 

Sie müssen die ersten ‚T‘ den Typ für die generische Methode zu erklären. Das zweite 'T' ist der Typparameter für die Matcher-Klasse.

Answer 2

Towi Ich hoffe, diese Abbildung hilft.

Die obige Abbildung ist eine direkte Reaktion auf den Titel der Frage: Warum es <T>Type als Rückgabetyp in Java Generics und nicht Type<T>?

Es gibt noch einige zusätzliche Punkte, die im Towi-Beispiel zu beachten sind, siehe Kommentarfunktion.