java - 如何在解释的情况下使用java中的泛型类型声明？

Question

我很难理解使用泛型类型参数的最佳方法。

考虑一个优先级队列实现，它实现一个接口(interface)并要求所有元素与其类型可比较。该类有一个输入类型集合的构造函数，它提供初始元素。这里有一些替代方案。你能解释一下差异吗？并提供这种声明的最通用的方式？

public class HeapMinPQ<E extends Comparable<E>> implements MinPQ<E> {
     ...
     public HeapMinPQ( Collection<? extends Comparable<E>> source) {
     ...
     }
}


public class HeapMinPQ<E extends Comparable<E>> implements MinPQ<E> {
     ...
     public HeapMinPQ( Collection<? extends E> source) {
     ...
     }
}


public class HeapMinPQ<E extends Comparable<? super E>> implements MinPQ<E> {
     ...
     public HeapMinPQ( Collection<? extends Comparable<E>> source) {
     ...
     }
}

Answer 1

您的构造函数不应使用 Collection<? extends E>但是Collection<E>作为参数的类型。另外，你的例子不完整；它们没有显示如何使用这些参数。

在第一种情况下，source包含保证类型为 capture ? of Comparable<E> 的元素。基本类型可能与 E 兼容，也可能不兼容。 。因此，从 source 中提取元素不一定是安全的。并将其用于 E实例。

第二个，source包含保证类型为 capture ? of E 的元素，这意味着基本类型与E兼容。 。它将可用于 E 的实例只要特定的子类型并不重要。

第三，上课时间很奇怪。它说E与其父类(super class)型具有可比性，但对于可比类型来说通常并非如此。这可能会让你心痛，而且也不能保证capture ? of Comparable<E> source 的基本类型将与 E 进行比较或以其他方式与 E 兼容。

通常您不想弄乱 E 的捕获在 E 之上的通用类型中，但完整的细节很复杂。我推荐 Angelika Langer 的优秀网站，http://www.angelikalanger.com/ ，特别是http://www.angelikalanger.com/GenericsFAQ/JavaGenericsFAQ.html ，获取更多知识，以及 Developerworks 和 Oracle 教程中的文章。