您的原始代码不能编译的原因是<?>的意思不是“任何扩展Serializable的类”，而是“一些未知但特定的扩展Serializable的类”。

例如，给定所编写的代码，将新的TreeMap<String, Long.class>()赋值给expected是完全有效的。如果编译器允许代码编译，assertThat()可能会中断，因为它期望的是Date对象，而不是它在映射中发现的Long对象。

这可以归结为:

Class<? extends Serializable> c1 = null;
Class<java.util.Date> d1 = null;
c1 = d1; // compiles
d1 = c1; // wont compile - would require cast to Date

您可以看到Class引用c1可以包含一个Long实例(因为给定时间的底层对象可能是List<Long>)，但显然不能转换为Date，因为不能保证“未知”类是Date。它不是类型安全的，所以编译器不允许它。

然而，如果我们引入一些其他对象，比如List(在你的例子中，这个对象是Matcher)，那么下面的情况就会成立:

List<Class<? extends Serializable>> l1 = null;
List<Class<java.util.Date>> l2 = null;
l1 = l2; // wont compile
l2 = l1; // wont compile

.．.但是，如果List的类型变成?扩展T而不是T....

List<? extends Class<? extends Serializable>> l1 = null;
List<? extends Class<java.util.Date>> l2 = null;
l1 = l2; // compiles
l2 = l1; // won't compile

我认为通过将Matcher<T>更改为Matcher<?扩展T>，你基本上引入了类似于赋值l1 = l2的场景;

嵌套通配符仍然很令人困惑，但希望这有助于理解为什么通过查看如何将泛型引用分配给彼此来理解泛型。当你调用函数时，编译器会推断T的类型(你没有显式地告诉它是T是)，这也让人更加困惑。

我理解通配符的一种方法是认为通配符并没有指定给定泛型引用可以“拥有”的可能对象的类型，而是它与其他泛型引用兼容的类型(这听起来可能令人困惑…)因此，第一个答案的措辞非常具有误导性。

换句话说，List<?扩展Serializable>意味着您可以将该引用赋值给其他列表，其中类型为某个未知类型或Serializable的子类。不要认为它是一个单一的列表，可以容纳Serializable的子类(因为这是不正确的语义，会导致对泛型的误解)。

如果你使用

Map<String, ? extends Class<? extends Serializable>> expected = null;

首先，我要把你引向http://www.angelikalanger.com/GenericsFAQ/JavaGenericsFAQ.html——她做得非常棒。

基本思想是你用

<T extends SomeClass>

当实际参数可以是SomeClass或它的任何子类型时。

在你的例子中，

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

您是说expected可以包含表示实现Serializable的任何类的Class对象。结果映射表示它只能保存Date类对象。

当你传递result时，你将T设置为精确的Map of String to Date类对象，它不会将Map of String匹配到任何可序列化的对象。

有一件事要检查——你确定你想要Class<Date>而不是Date?String到Class<Date>的映射在一般情况下听起来不是特别有用(它只能保存Date. Class作为值，而不是Date的实例)

至于泛化assertThat，其思想是该方法可以确保传入符合结果类型的Matcher。

您的原始代码不能编译的原因是<?>的意思不是“任何扩展Serializable的类”，而是“一些未知但特定的扩展Serializable的类”。

例如，给定所编写的代码，将新的TreeMap<String, Long.class>()赋值给expected是完全有效的。如果编译器允许代码编译，assertThat()可能会中断，因为它期望的是Date对象，而不是它在映射中发现的Long对象。