是否有一种干净的方法将泛型类分配给变量？

Question

鉴于此代码:

List<Integer> ints = new ArrayList<Integer>();

// Type mismatch: 
// cannot convert from Class<capture#1-of ? extends List> to Class<List<Integer>>       
Class<List<Integer>> typeTry1 = ints.getClass(); 

// Type safety: 
// Unchecked cast from Class<capture#2-of ? extends List> to Class<List<Integer>>
Class<List<Integer>> typeTry2 = (Class<List<Integer>>) ints.getClass();

// List is a raw type. References to generic type List<E> should be parameterized
Class<? extends List> typeTry3 = ints.getClass(); 

有没有办法在没有错误或警告Class的List<Integer>情况下获得？我可以很容易地抑制警告,但如果Java要求我禁止对这个有效代码发出警告,我会非常失望.

另一方面,如果警告抑制是唯一的方法,最安全的压制是什么？

Answer 1

这是Java中真正的Catch-22.

如果您不添加泛型类型,编译器会发出警告List:

// WARN: List is not typed
Class<? extends List> typeTry3 = ints.getClass();

这是因为,在大多数情况下,最好输入您的列表.

但是,由于类型擦除,Java无法List在运行时找出泛型类型,并且编译器知道这一点.因此,没有方法Class会返回一个类型化的对象:

// ERROR: ints.getClass() doesn't return a Class<List<Integer>>, it returns a Class<List>
Class<? extends List<? extends Integer>> var = ints.getClass();

因此,您必须将其强制转换为类型列表.但是,正如您所知,由于没有运行时类型检查,Java会警告您对类型化变量的任何转换:

// WARN: Casting to typed List
Class<List<Integer>> typeTry2 = (Class<List<Integer>>) ints.getClass();

任何解决这个问题的尝试本质上都是混淆编译器的一种手段,并且不可避免地会令人费解.

那么你最好的选择是选择B:

另一方面,如果警告抑制是唯一的方法,最安全的压制是什么？

抑制此警告的最安全方法是使@SuppressWarnings("unchecked")注释尽可能本地化.将它们放在每个未经检查的演员表上方.这样就绝对清楚是谁造成了警告.