Java 泛型：为什么我的 @SuppressWarnings("unchecked") 在这种情况下有效，而在另一种情况下无效？

Question

问题与Why do we have to use an intermediary variable for @SuppressWarnings("unchecked")? 类似，但我无法从该问题中找到解决方案。

作为一个练习，我正在从头开始构建一个哈希表结构。于是我写了一个类LinkedListDemo辅助HashTableDemo； LinkedListDemo 类测试非常好。特别是，以下子例程在运行时不会导致 ClassCastException 错误：

    public LinkedListDemo<S, T> reverse() {

        if (count == 0)
            return null;

        @SuppressWarnings("unchecked")
        S[] keys = (S[]) new Object[count];
        @SuppressWarnings("unchecked")
        T[] vals = (T[]) new Object[count];

        ListNode<S, T> runner = head;
        for (int k = 0; k < count; k++) {

            keys[k] = runner.pair.getKey();
            vals[k] = runner.pair.getValue();

            runner = runner.next;

        }

        ArrayUtils.reverse(keys);
        ArrayUtils.reverse(vals);

        return new LinkedListDemo<S, T>(keys, vals);

    }

而以下，在我的 HashTable 类中：

public class HashTableDemo<S, T> {

    private LinkedListDemo<S, T>[] table = (LinkedListDemo<S, T>[]) new Object[10]; 

// more code...

}

有谁知道 Java 的 HashMap 类是如何规避这个问题的，和/或我该怎么做？我尝试按照上面链接中的建议在构造函数中创建一个中间变量 - 但它没有用。

Answer 1

这将编译：

@SuppressWarnings("unchecked") // this is okay because [insert reasoning here]
private LinkedListDemo<S, T>[] table =
        (LinkedListDemo<S, T>[]) new LinkedListDemo<?, ?>[10];

您的代码错误的原因是因为Object[] 不是LinkedListDemo[]，类似于Object 不是LinkedListDemo。

早期的未检查强制转换有效，因为 S[] 和 T[] 在运行时已从 erased 变为 Object[]。

一般来说，不鼓励参数化类型的数组，因为它们的存在本身就是不安全的。这是因为：

• 数组是协变的 - LinkedListDemo<S, T>[] 是 Object[]。因此，可以将table 分配给Object[] 变量，然后将String 作为元素分配——这在编译时是合法的，但至少在运行时会因ArrayStoreException 而失败，因为数组会进行运行时类型检查.
• 通用类型信息在运行时不可用，因为它已被编译器擦除。可以再次将table 分配给Object[] 变量，但这次将LinkedListDemo<String, Integer> 分配为元素。在运行时，数组只会看到添加了一个普通的LinkedListDemo，因此如果泛型类型错误，它不会立即失败。这可能会导致稍后出现意外的ClassCastExceptions。

请参阅我的回答 here 以获取有关此问题的更完整说明和示例。另请参阅 Angelika Langer 的泛型常见问题解答的精彩解释：Can I create an array whose component type is a concrete parameterized type?

要点是简单地使用List<LinkedListDemo<S, T>> 会更容易和更安全。如果您最终决定坚持使用LinkedListDemo<S, T>[]，请确保将其作为实现细节小心隐藏，并注意它会如何被滥用。

其他一些杂记：

• @SuppressWarnings("unchecked") 除了抑制未经检查的强制转换编译器警告外，什么都不做。它本质上是在说“相信我，我知道我在做什么”——但你仍然需要小心不要滥用未经检查的演员表。有关更多信息，请参阅此帖子：How do I address unchecked cast warnings?
• 与所有核心 API 类一样，source for HashMap 可用，因此如果您想更好地了解其内部工作原理，可以随时查看它。