java泛型，未经检查的警告

Question

这里是oracle页面教程的一部分：

考虑以下示例：

List l = new ArrayList<Number>();
List<String> ls = l; // unchecked warning
l.add(0, new Integer(42)); // another unchecked warning
String s = ls.get(0); // ClassCastException is thrown

具体来说，当静态类型为List的List对象l被分配给另一个List对象时，就会发生堆污染情况, ls，它有一个不同的静态类型 List // 这是来自 oracle 教程

我的问题是为什么静态类型是 List 而不是只是列表 ?? 后来另一个问题来自我的研究代码：

public class GrafoD extends Grafo {

protected int numV, numA;
protected ListaConPI<Adyacente> elArray[];

*/** Construye un Grafo con un numero de vertices dado*
* @param numVertices: numero de Vertices del Grafo
*/
@SuppressWarnings("unchecked")
public GrafoD(int numVertices){
numV = numVertices; numA=0;
elArray = new ListaConPI[numVertices+1];
for (int i=1; i<=numV; i++) elArray= new LEGListaConPI<Adyacente>();
}

为什么在这段代码中我们不写 elArray = new ListaConPI[numVertices+1] 而不是 elArray = new ListaConPI[numVertices+1] ]？

多谢 ！

Answer 1

请阅读类型擦除。现在，在删除类型后重新考虑您的代码（我只做第一个示例）：

List l = new ArrayList(); // Compiler remembers that it should check that only numbers can be added
List ls = l; // Compiler remembers that it should cast everything back to a String
l.add(0, new Integer(42)); // the compiler checks that the second parameter is a Number.
String s = ls.get(0); // The compiler casts the result back to a String, so you get an exception

出于同样的原因，您不能拥有这样的类：

class A<T> {
    public void method(T obj) { }
    public void method(Object obj) { }
}

Answer 2

我的问题是为什么静态类型是 List 而不仅仅是 List？

这样编译器就可以在编译时而不是运行时捕获上述错误。这是泛型的要点。

为什么在这段代码中我们不写 elArray = new ListaConPI[numVertices+1] 而不是 elArray = new ListaConPI[numVertices+1]？ p>

因为您无法实例化泛型类型的数组（尽管您可以将此类数组声明为变量或方法参数）。请参阅我之前对同一问题的回答。

Answer 3

List l = // something;

l 是什么类型？它是一个列表，这是它的静态类型，它可以是任何旧的列表。因此，如果您在编译时分配

List<String> listOfString = l;

编译器无法知道这是否安全。您显示的示例表明它是不安全的，并且会产生 ClassCastException。