断言集合元素为T的子类型时泛型类型不匹配问题排查

想要断言一个集合中的每个元素是否都是某个特定类的子类型，编写了如下Java辅助方法：

private <T> void assertContainsAllSubtypes(
        List<? extends T> list,
        Class<? extends T>... expectedSubtypes) {
    Set<Class<? extends T>> subtypeSet = 
        new HashSet<>(Arrays.asList(expectedSubtypes));

    assertThat(list)
            .isNotEmpty()
            .hasSize(subtypeSet.size())
            .extracting(T::getClass)
            .containsExactlyInAnyOrderElementsOf(subtypeSet);   // 此处报错
}

出现的错误信息：

Required type:
Iterable<? extends Class<capture of ? extends T>>

Provided:
Set<Class<? extends T>>

问题根源 #

错误出在Java泛型的捕获转换机制上：

• extracting(T::getClass)提取出的元素类型是Class<capture of ? extends T>——这是编译器为通配符生成的具体捕获类型，属于受限的、特定的通配符实例。
• 而你定义的subtypeSet是Set<Class<? extends T>>，这是未被捕获的通配符类型，两者之间不存在子类型关系，因此编译器判定类型不兼容。
• 本质上是getClass()方法的返回特性导致：该方法返回的是Class<? extends |X|>（|X|是调用者静态类型的擦除），和你声明的Class<? extends T>泛型无法直接匹配。

解决方案 #

以下是几种可行的修正方式：

方案1：强制转换统一泛型类型

通过强制转换将getClass()的返回值转为Class<? extends T>，同时添加注解消除安全警告（测试场景下该转换是安全的）：

@SuppressWarnings("unchecked")
private <T> void assertContainsAllSubtypes(
        List<? extends T> list,
        Class<? extends T>... expectedSubtypes) {
    Set<Class<? extends T>> subtypeSet = new HashSet<>(Arrays.asList(expectedSubtypes));

    assertThat(list)
            .isNotEmpty()
            .hasSize(subtypeSet.size())
            .extracting(item -> (Class<? extends T>) item.getClass())
            .containsExactlyInAnyOrderElementsOf(subtypeSet);
}

方案2：调整集合泛型为Class<?>

将预期集合和提取结果统一为Class<?>类型，避开通配符捕获的限制：

private <T> void assertContainsAllSubtypes(
        List<? extends T> list,
        Class<? extends T>... expectedSubtypes) {
    Set<Class<?>> subtypeSet = new HashSet<>(Arrays.asList(expectedSubtypes));

    assertThat(list)
            .isNotEmpty()
            .hasSize(subtypeSet.size())
            .extracting(Object::getClass)
            .containsExactlyInAnyOrderElementsOf(subtypeSet);
}

方案3：先收集实际类型集合再断言

通过流式API先收集列表中元素的类型集合，再直接和预期集合比较：

@SuppressWarnings("unchecked")
private <T> void assertContainsAllSubtypes(
        List<? extends T> list,
        Class<? extends T>... expectedSubtypes) {
    Set<Class<? extends T>> expectedSet = new HashSet<>(Arrays.asList(expectedSubtypes));
    Set<Class<? extends T>> actualSet = list.stream()
            .map(item -> (Class<? extends T>) item.getClass())
            .collect(Collectors.toSet());
    
    assertThat(list).isNotEmpty().hasSize(expectedSet.size());
    assertThat(actualSet).isEqualTo(expectedSet);
}

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