为什么 Java 泛型中的返回类型是 `<T>Type` 而不是 `Type<T>`？

Question

我刚刚为assertThat() 写了一个简单的JUnit Matcher，当然它需要泛型。

幸运的是，我为static <T>Matcher not(Matcher<T> m)... 的返回类型找到了正确的语法，虽然我不明白为什么

• 在返回类型它的<T>Matcher和
• 在参数列表中是Matcher<T>

为什么返回类型中是<T>Matcher？这背后的概念是什么？

我来自 C++，可以很好地处理它的 模板。我知道泛型的工作方式不同，但这就是为什么这让我感到困惑。

这是我自己的Matcher 课程。看静态助手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

我希望这个插图对您有所帮助。

上图是对问题标题的直接回应：为什么Java泛型中的返回类型是<T>Type而不是Type<T>？

在 Towi 的示例中还有其他几点需要考虑，请参阅评论跟踪。

Answer 2

你真的想要

static <T> Matcher<T>

您需要第一个“T”来声明泛型方法的类型。第二个“T”是 Matcher 类的类型参数。