为何Hamcrest中Matchers.hasItem与contains返回的Matcher泛型类型不同？

1. hasItem的设计：逆变? super T的合理性 #

hasItem(T item)的核心功能是验证集合中存在至少一个与item相等的元素。使用? super T（逆变）的原因在于：

• 从匹配逻辑看，只要集合的元素类型是T的父类（或T本身），就可以和T类型的item做相等性比较。比如，我们可以用hasItem("test")去匹配Iterable<Object>或Iterable<CharSequence>——因为String是这两个类型的子类，集合中的元素可以和String实例进行比较。
• 逆变的泛型声明让hasItem的匹配器能适配更广泛的集合类型，不会因为集合元素是T的父类而无法使用，完全贴合“检查存在性”的宽松需求。

2. contains的设计：协变? extends T的必要性 #

contains(T... items)的核心功能是验证集合的元素与传入的元素在顺序、数量、内容上完全匹配。使用? extends T（协变）的原因在于：

• 严格匹配的逻辑要求集合中的每个元素都能被安全地转型为T类型，和传入的items逐一比对。比如，我们可以用contains(1, 2)（T为Number）去匹配Iterable<Integer>——因为Integer是Number的子类，集合元素可以向上转型为Number进行匹配；但反过来，不能用这个匹配器去匹配Iterable<Object>，因为Object类型元素无法保证能和Number实例匹配。
• 协变的泛型声明确保了匹配器只能应用于元素类型是T子类（或T本身）的集合，符合“严格全匹配”的严谨需求。

总结 #

两者的泛型差异完全是为了适配各自的功能逻辑：

• hasItem追求匹配范围的广泛性，因此用逆变? super T；
• contains追求匹配的严谨性，因此用协变? extends T。

内容的提问来源于stack exchange，提问作者thecoop