Java 泛型什么时候需要 <扩展 T> 而不是 并且切换有什么缺点吗

给定以下示例(将JUnit与Hamcrest匹配器一起使用):

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. 在JUnit中泛化assertThat方法有什么意义吗？Matcher类似乎不需要它，因为JUnit调用matches方法，该方法没有任何泛型类型，看起来只是试图强制执行类型安全性，而该安全性不起任何作用，因为Matcher实际上不会匹配，而且测试无论如何都会失败.没有涉及不安全的操作(或者看起来是这样).

以下是assertThat的JUnit实现供参考:

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());
    }
}