关于 Java 泛型的下限用法： ?超级T [重复]

Question

我试图深入了解下限通配符的用法。我正在尝试编写一个通用方法copy，它将一个List 的内容复制到另一个。我想出了这个方法签名：

<T> void copy(List<T> dest, List<? extends T> src)

我认为这个签名很全面，可以解决所有场景。但是，我看到在 Java Collections 类中，方法签名是这样的：

<T> void copy(List<? super T> dest, List<? extends T> src)

我不明白他们为什么使用List<? super T> dest 而不仅仅是List<T> dest。他们的签名是否有一些额外的灵活性？

Answer 1

没有明确的类型见证没有实际区别。

没有像 Eran 那样指定类型见证，两种方法在灵活性上没有区别。

从本质上讲，? super T 而非 T 的使用只是一种风格上的差异，但它是更好的做法，这可以通过应用一些良好代码的原则来看出：

• 显式意图：? super T 更明确地显示 dest 应采用的类型。
• Modularity：您根本不需要查看 src 上的类型约束即可知道 dest 可以采用哪些类型。
• Producer Extends, Consumer Super (PECS)：生产者参数（下面的“in”）应该使用 extends，而消费者参数（下面的“out”）应该使用 super 关键字。

Java tutorials 也推荐使用? super T（他们甚至使用copy 函数）：

出于本次讨论的目的，将变量视为提供以下两种功能之一会很有帮助：

一个“入”变量
“in”变量为代码提供数据。想象一个带有两个参数的copy 方法：copy(src, dest)。 src 参数提供了要复制的数据，所以它是“in”参数。

“输出”变量
“out”变量保存在其他地方使用的数据。在copy 示例copy(src, dest) 中，dest 参数接受数据，因此它是“out”参数。

在决定是否使用通配符以及哪种类型的通配符合适时，您可以使用“入”和“出”原则。以下列表提供了要遵循的准则：

通配符指南：

• “in”变量使用上限通配符定义，使用 extends 关键字。
• “out”变量定义为下界 通配符，使用 super 关键字。

Answer 2

这是一个例子：

以下 sn-p 使用签名 <T> void copy(List<? super T> dest, List<? extends T> src) 通过编译，但不适用于签名 <T> void copy(List<T> dest, List<? extends T> src)：

YourClass obj = new YourClass ();
List<HashMap<String,String>> lhm = new ArrayList<>();
List<Map<String,String>> lm = new ArrayList<>();
obj.<HashMap<String,String>>copy (lm,lhm);