Java泛型擦除

我们都知道无界通配符(unbounded wildcard) Set<?>可以处理任意类型数据，原生态类型(raw type)Set也能处理任意类型数据，但是他们区别是什么呢。

1.关于Set<?>的两个要点。

• 因为符号？可以匹配任意类型，因此Set<?>可以处理任意类型的数据。
• 因为我们不知道?指的是什么类型，因此我们不能忘Set里面添加任何类型的数据。

这两点看起来是不是很矛盾，其实并不矛盾，看下面的两个例子

• 第一要点代码如下

//代码不报错
public static void main(String[] args) {
    HashSet<Integer> s1 = new HashSet<Integer>(Arrays.asList(1, 2, 3));
    printSet(s1);
 
    HashSet<String> s2 = new HashSet<String>(Arrays.asList("a", "b", "c"));
    printSet(s2);
}
 
public static void printSet(Set<?> s) {
    for (Object o : s) {
        System.out.println(o);
    }
}

• 第二要点代码如下

public static void printSet(Set<?> s) {
    s.add(10);// 本行代码报错
    for (Object o : s) {
        System.out.println(o);
    }
}

这是