问题与此 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 类如何规避这个问题,和/或我怎么做?我尝试按照上述链接中的建议在构造函数中创建一个中间变量 - 但它没有用。

最佳答案

这将编译:

@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,因此如果泛型类型错误,它不会立即失败。这可能会导致稍后出现意外的 ClassCastException

  • 有关此问题的更完整解释和示例,请参阅我的回答 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 可用,因此如果您想更好地了解其内部工作原理,请随时查看它。
  • 10-06 15:48