合并两个Set时出现类型不匹配错误：所需与提供类型不符

问题原因 #

你代码里的Set<? extends Element>是通配符类型，表示这是某个未知的Element子类的集合。当声明Set<? extends Element> c时，编译器会为c生成一个专属捕获类型（比如capture#1 of ? extends Element），而b的捕获类型是另一个独立的标识（capture#2 of ? extends Element）。由于这两个捕获类型可能对应完全不同的Element子类，编译器无法保证将b的元素添加到c是类型安全的，因此抛出编译错误。

解决方案 #

方案1：使用具体父类类型（推荐，场景允许时优先）

如果a和b中的元素都可以向上转型为Element，直接将集合类型声明为Set<Element>：

Set<Element> a = getSetA();
Set<Element> b = getSetB();
Set<Element> c = new HashSet<>(a);
c.addAll(b);

明确元素类型后，编译器能确认addAll操作的合法性，错误自然消失。

方案2：用泛型方法统一捕获类型

如果必须保留通配符，可以通过泛型方法让编译器捕获到同一个子类类型：

// 辅助泛型方法
private static <T extends Element> Set<T> mergeSets(Set<T> setA, Set<T> setB) {
    Set<T> merged = new HashSet<>(setA);
    merged.addAll(setB);
    return merged;
}

// 调用示例
Set<? extends Element> a = getSetA();
Set<? extends Element> b = getSetB();
Set<? extends Element> c = mergeSets(a, b);

注意：这个方法仅当a和b的实际运行时类型是同一个Element子类时才能正常编译——这是合理限制，不同子类的集合本来就不能安全合并到一个泛型集合中。

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