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);
    }
}

这是因为我们不知道？所指类型，因此除了null外的所有类型我们都不能往里面添加。同样的，我们不能初始化一个Set类型为？，如下

Set<?> set = new HashSet<?>();

2、Set vs Set<?>

看如下代码，是不会报错的。

public static void printSet(Set s) {
    s.add("2");
    for (Object o : s) {
        System.out.println(o);
    }
}

因为原生态类型没有限制，所以它很容易是集合混乱，换句话说，无界通配符是安全的而原生态类型不是安全的。

3、何时使用Set<?>

当你使用泛型(generic type)，但是你又不想关心实际泛型是什么的时候，使用无界通配符。如下：

public static void main(String[] args) {
    HashSet<Integer> s1 = new HashSet<Integer>(Arrays.asList(1,2,3));
    HashSet<Integer> s2 = new HashSet<Integer>(Arrays.asList(4,2,3));
 
    System.out.println(getUnion(s1, s2));
}
 
public static int getUnion(Set<?> s1, Set<?> s2){
    int count = s1.size();
    for(Object o : s2){
        if(!s1.contains(o)){
            count++;
        }
    }
    return count;

转自我的博客园 http://cnblogs.com/qins/