java - 造成堆污染的 Java 代码的明显正确示例是什么？

Question

当我使用参数化的可变参数时，每次收到 Java 堆污染警告时，我都在尝试决定要做什么，例如

public static <T> LinkedList<T> list(T... elements) {
    ...
}

在我看来，如果我有信心不在我的方法中使用一些奇怪的转换，我应该只使用 @SafeVarargs 并继续。但这是正确的，还是我需要更加小心？使用参数化可变参数时，是否存在表面上正确但实际上不安全的代码？

阅读该主题时，我注意到所提供的示例非常人为。例如，Java documentation显示以下错误方法:

public static void faultyMethod(List<String>... l) {
    Object[] objectArray = l;     // Valid
    objectArray[0] = Arrays.asList(42);
    String s = l[0].get(0);       // ClassCastException thrown here
}

这是说教的，但很不现实；有经验的程序员不太可能编写这样的代码。另一个example是

Pair<String, String>[] method(Pair<String, String>... lists) { 
   Object[] objs = lists; 
   objs[0] = new Pair<String, String>("x", "y");  
   objs[1] = new Pair<Long, Long>(0L, 0L);  // corruption !!! 
   return lists; 
} 

这显然又以一种不切实际的方式混合了类型。

那么，在参数化可变参数下，是否存在更微妙的堆污染情况？如果我没有以丢失输入信息或错误混合类型的方式转换变量，我是否有理由使用 @SafeVarargs？换句话说，我是否有理由将此警告视为一种不太重要的形式？

Answer 1

好问题。这也困扰了我一段时间。这里有两件事 - 您不关心数组中元素的实际运行时类型，就像您展示的示例:

public static <T> LinkedList<T> list(T... elements) {
    // suppose you iterate over them and add
}

这是 @SafeVarargs 非常安全的地方。

第二个是您确实关心数组中元素的运行时类型的地方(即使是偶然的)。在 Java 中，数组不能是通用的，因此您不能创建类型T [] ts = new T[10]，但您可以声明 类型 T[] ts... 因为数组是协变的，所以你可以将 Object[] 转换为 T[] - 如果您知道类型匹配。

当您传递一个通用数组时，这一切都会变得有趣:

// create a single element "generic" array
static <T> T[] singleElement(T elem) {
    @SuppressWarnings("unchecked")
    T[] array = (T[]) new Object[] { elem };
    return self(array);
}

// @SafeVarargs
static <T> T[] self(T... ts) {
    return ts;
}

用 Integer[] ints = singleElement(1); 调用它看起来完全合法，但会在运行时中断，这是放置 @SafeVarargs 的地方是不安全的。

它会中断，因为转换 (T[]) 实际上是无用的，并且不会执行任何编译时检查。即使您将该方法重写为:

 static <T> T[] singleElement(T elem) {
    @SuppressWarnings("unchecked")
    T[] array = (T[]) new Object[]{elem};
    System.out.println(array.getClass());
    return array;
}

还是不行。