什么时候Java泛型要求<？扩展T>而不是<T>并且是否存在切换的缺点？

Question

什么时候Java泛型要求<？扩展T>而不是<T>并且是否存在切换的缺点？

给出以下示例（使用带有Hamcrest匹配器的JUnit）：

Map<String, Class<? extends Serializable>> expected = null;Map<String, Class<java.util.Date>> result = null;assertThat(result, is(expected));

这不能使用JUnit assertThat方法签名编译：

public static <T> void assertThat(T actual, Matcher<T> matcher)

编译器错误消息是：

Error:Error:line (102)cannot find symbol method
assertThat(java.util.Map<java.lang.String,java.lang.Class<java.util.Date>>,org.hamcrest.Matcher<java.util.Map<java.lang.String,java.lang.Class
    <? extends java.io.Serializable>>>)

但是，如果我将assertThat方法签名更改为：

public static <T> void assertThat(T result, Matcher<? extends T> matcher)

然后编译工作。

所以有三个问题：

1. 为什么当前版本没有编译？虽然我模糊地理解这里的协方差问题，但如果必须的话，我当然无法解释它。

2. 将assertThat方法更改为Matcher<? extends T>？是否有任何缺点？如果你这样做，还有其他案例会破裂吗？

3. assertThat在JUnit 中对方法进行泛化是否有任何意义？该Matcher级似乎并不需要它，因为JUnit的调用matches方法，它不与任何普通类型的，只是看起来像一个企图迫使一个类型安全这并不做任何事情，因为Matcher实际上只会不匹配，无论如何测试都会失败。不涉及不安全的操作（或似乎如此）。

供参考，以下是JUnit的实现assertThat：

public static <T> void assertThat(T actual, Matcher<T> matcher) {
    assertThat("", actual, matcher);}public static <T> void assertThat(String reason, T actual, Matcher<T> matcher) {
    if (!matcher.matches(actual)) {
        Description description = new StringDescription();
        description.appendText(reason);
        description.appendText("\nExpected: ");
        matcher.describeTo(description);
        description            .appendText("\n     got: ")
            .appendValue(actual)
            .appendText("\n");

        throw new java.lang.AssertionError(description.toString());
    }}