类型删除在这里工作？

Question

有人可以帮我找出如何应用类型擦除/泛型，使其工作。

Set<? extends Object> ss = new HashSet<Integer>(); 
Set<? extends Object> sa = new HashSet<Integer>(); 
ss.addAll(sa); 

现在它抛出编译错误，因为它会在编译时检查类型。

Answer 1

先做你知道它为什么不起作用吗？

它们是两个独立的通配符。尽管它们看起来一样，但它们仍然是分开的。因此，第一个? extends Object（实际上你可以简单地写它?）与第二个不同。

而且，无论何时使用通配符，都不要期望引用该类型。但是，您在addAll()中这样做需要进行类型检查。

如果你有一个方法，这些逻辑，你可以给你的方法给予适当的类型参数：

public static <T> void addToFirst(Set<T> first, Set<T> second) { 
    first.addAll(second); 
} 

所以可以做这种类型的检查，以确保第一和第二是同一类型的。

使用原始类型可能是另一种选择。

问问自己是否真的需要在类型参数中使用通配符。只需使用Set<Integer>应该是最直接的。

Answer 2

我相信你可以考虑你的类型擦除源将看起来像

Set ss = new HashSet(); 
set sa = new HashSet(); 
ss.addAll(sa); // compilation error 

如果它编译

$ cat Erased.java 
import java.util.*; 

public class Erased { 

    public static void main(final String[] args) { 

     final Set<Integer> ss = new HashSet<Integer>(); 
     final Set<Integer> sa = new HashSet<Integer>(); 

     ss.addAll(sa); 
    } 
} 

$ javap -c Erased 
Compiled from "Erased.java" 
public class Erased { 
    public Erased(); 
    Code: 
     0: aload_0 
     1: invokespecial #1     // Method java/lang/Object."<init>":()V 
     4: return 

    public static void main(java.lang.String[]); 
    Code: 
     0: new   #2     // class java/util/HashSet 
     3: dup 
     4: invokespecial #3     // Method java/util/HashSet."<init>":()V 
     7: astore_1 
     8: new   #2     // class java/util/HashSet 
     11: dup 
     12: invokespecial #3     // Method java/util/HashSet."<init>":()V 
     15: astore_2 
     16: aload_1 
     17: aload_2 
     18: invokeinterface #4, 2   // InterfaceMethod java/util/Set.addAll:(Ljava/util/Collection;)Z 
     23: pop 
     24: return 
} 

这里来反编译源代码

import java.util.HashSet; 
import java.util.Set; 

public class Erased 
{ 
    public static void main(String[] paramArrayOfString) 
    { 
    HashSet localHashSet1 = new HashSet(); 
    HashSet localHashSet2 = new HashSet(); 

    localHashSet1.addAll(localHashSet2); 
    } 
}