问 @泛型数组声明中的抑制警告

EN

在编写良好的代码中， @SuppressWarnings("unchecked") 有时是正确的和不可避免的.创建一个泛型类型数组就是一个例子。如果您可以通过使用泛型的 Collection<T> 或 List<T> 来解决这个问题，那么我建议您这样做，但是如果只使用一个数组，那么您就无能为力了。

转换为泛型类型是另一种类似的情况。泛型强制转换无法在运行时进行验证，因此您将收到警告，例如

List<Integer> numbers = (List<Integer>) object;

这并不意味着拥有通用类型的模式是糟糕的。它仅仅反映了Java中泛型设计方式的局限性。

为了承认我是故意用警告来编写代码的，我已经将在任何这样的行中添加注释作为一项规则。这使得这一选择显得格外突出。它还使识别这些行变得很容易，因为 @SuppressWarnings 并不总是可以直接在目标行上使用。如果它位于方法的顶部，那么哪一行或哪一行生成警告可能并不明显。

((List<Integer>) object).add(1);   // warning: [unchecked] unchecked cast

另外，为了明确起见，您不应该使用原始类型( List 而不是 List<T> )来解决这个问题。那是个坏主意。如果启用 -Xlint ，它也会产生警告，因此无论如何也不会使情况变得更好。

基于您询问是否应该使用 ArrayList 的事实，我假设使用数组不是必需的。我将使用 ArrayList 或其他集合，并依赖接口而不是实现来引用它：

List<Integer> myInts = new ArrayList<Integer>();
myInts.add(4);

Java泛型的处境很艰难。一方面，Java有一个自我强加(但很好)的目标，就是向后兼容。由于泛型本质上与前1.5字节码不兼容，这将导致 类型擦除 。本质上，泛型类型在编译时被移除，泛型方法调用和访问由类型强制转换来增强。另一方面，这种限制有时会使泛型引用变得非常混乱，有时您必须对未检查的和原始的类型使用 @SuppressWarnings 。

这意味着依赖方法调用的集合可以很好地将集合的用户与存储隔离开来，但是 数组被具体化 (这意味着根据语言，数组类型必须在运行时可用)。这与集合相反，正如我提到的，集合中删除了泛型类型。示例：

String[] array1 = new String[1];
Object[] array2 = array1;

尽管引用 array2 被声明为 Object[] ，但JVM知道它的目标数组只能包含字符串。因为这些类型是可引用的，所以它们本质上与泛型不兼容。

StackOverflow有许多关于Java泛型和数组的问题，下面是我发现的几个好问题：

• 如何:创建泛型数组
• Java中的泛型数组

在本例中，

完全可以禁止未检查的强制转换警告.

这是一个未检查的强制转换，因为在运行时不知道 E 。因此，运行时检查只能检查转换到 Object[] ( E[] 的擦除)，但实际上不能检查到 E[] 本身。(例如，如果 E 是 Integer ，那么如果对象的实际运行时类是 String[] ，则即使它不是 Integer[] ，也不会被检查捕获。)

Array.newInstance() 返回 Object ，而不是 E[] ( E 将是 Class 参数的类型参数)，因为它可以用于创建原语数组和引用数组。类型变量(如 E )不能表示原语类型，而基元类型数组的唯一超级类型是 Object 。表示基本类型的 Class 对象是 Class 参数化的，其包装类作为类型参数，例如 int.class 具有 Class<Integer> 类型。但是，如果将 int.class 传递给 Array.newInstance() ，您将创建一个 int[] ，而不是 E[] (即 Integer[] )。但是如果您传递一个表示引用类型的 Class<E> ， Array.newInstance() 将返回一个 E[] 。

因此，基本上，使用一个 Array.newInstance() 调用 Class<E> 总是会返回一个 E[] 或一个原语数组。原语数组类型不是 Object[] 的子类型，因此它将无法对 Object[] 进行运行时检查。换句话说，如果结果是 Object[] ，则保证为 E[] 。因此，即使此强制转换只在运行时检查 Object[] ，并且不检查从 Object[] 到 E[] 的部件，在这种情况下，对 Object[] 的检查就足以保证它是 E[] ，因此在这种情况下，未检查的部分不是问题，它实际上是一个完全检查的强制转换。

顺便说一句，从您所展示的代码中，您不需要传递类对象来初始化 GenSet 或使用 Array.newInstance() 。只有当您的类在运行时实际使用类 E 时，这才是必要的。但是它没有，它所做的就是创建一个数组(它不会暴露在类的外部)，并从中获取元素。这可以使用 Object[] 来实现。在取出元素时，只需将其转换为 E (如果只将 E s放入其中，则无需检查元素是否安全)：

public class GenSet<E> {
  private Object[] a;
  public GenSet(int s) {
    this.a = new Object[s];