15

我正在尝试决定每次在使用参数化可变参数时收到 Java 堆污染警告时该怎么做，例如

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

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

阅读有关该主题的内容后，我注意到提供的示例非常人为。例如，Java 文档显示了以下错误方法：

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
}

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

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如果我没有以丢失输入信息或错误混合类型的方式转换变量，我是否有理由使用？换句话说，我是否有理由将此警告视为不是很重要的形式？

4

2 回答 2

9

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

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

这是@SafeVarargs很好，安全的地方。

第二个是您关心数组中元素的运行时类型的地方（即使是偶然的）。数组，在java中，不能是泛型的，所以你不能创建一个类型T [] ts = new T[10]，但你可以声明一个类型T[] ts...，因为数组是协变的，你可以将anObject[]转换为a 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;
}

它仍然行不通。

于 2018-01-02T21:44:35.967 回答
3

在 Java 中声明泛型数组T[]是有问题的，因为它们的类型在编译时是未知的，因此它们可能被滥用，如问题中的示例所示。因此，每当完成此操作时，Java 编译器都会发出警告。

例如，如果我们声明一个泛型数组，如

T[] tArray = (T[]) new Object[] { 42 };

我们收到“未经检查的演员表”警告。

除了这样的转换之外，将泛型数组引入程序的唯一其他方法是使用泛型可变参数。例如，在

void bar() {
    foo(new Integer[]{ 42 })
}

void foo(T... args) {
}

这里再次引入了一个通用数组，但与未经检查的强制转换方式不同，因此它会收到自己的特定警告，以确保用户没有滥用它。

实际上，只要不将数组转换为不同类型的数组，似乎 using@SafeVarargs应该是安全的，除非进行非典型的类型转换。

于 2018-11-11T21:40:52.813 回答