Dlaczego to jest `<T> Typ` jako typ zwracany w języku Java Generics, a nie `Type <T>`?

Question

Właśnie napisałem prostą JUnit Matcher dla assertThat(), która wymaga oczywiście Generics.

Dzięki odrobinie szczęścia znalazłem właściwą składnię typu powrotnej z static <T>Matcher not(Matcher<T> m)..., chociaż ja nie rozumiem, dlaczego

• w rodzaju powrotnej jego <T>Matcher i
• w lista argumentów jego Matcher<T>

Dlaczego w typie zwracanym jest <T>Matcher? Jaka jest koncepcja tego rozwiązania?

Pochodzę z C++ i mogę obsługiwać jego Szablony tam całkiem dobrze. Wiem, że Generics działa inaczej, ale właśnie dlatego jest to mylące dla mnie.

Oto moja własna klasa Matcher. Spójrz na statycznych pomocnika 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

Naprawdę chcesz

static <T> Matcher<T> 

Trzeba pierwszy „T” zadeklarować typ dla metody rodzajowe. Drugie "T" jest parametrem typu dla klasy Matchera.

Answer 2

Towi Mam nadzieję, że ta ilustracja pomoże.

Powyższa ilustracja jest bezpośrednią odpowiedzią na pytanie w tytule: Dlaczego <T>Type jako typ zwracany w Java rodzajowych i nie Type<T>?

Jest jeszcze kilka dodatkowych punktów do rozważenia w przykładzie Towi, zobacz komentarz.