我正在从OracleDocGenericMethod中阅读有关泛型方法的信息。当比较指出何时使用通配符以及何时使用通用方法时,我对此感到非常困惑。引用文档。
interface Collection {
public boolean containsAll(Collection> c);
public boolean addAll(Collection extends E> c);
}
我们可以在这里使用通用方法:
interface Collection {
public boolean containsAll(Collection c);
public boolean addAll(Collection c);
// Hey, type variables can have bounds too!
}
[…]这告诉我们类型参数正在用于多态。它的唯一作用是允许在不同的调用站点使用各种实际的参数类型。在这种情况下,应使用通配符。通配符旨在支持灵活的子类型化,这就是我们在此要表达的内容。
我们难道不认为像通配符一样(Collection extends E> c);也支持某种多态性吗?那么为什么在这种情况下通用方法的使用被认为不好呢?
它继续说,
通用方法允许使用类型参数来表示方法的一个或多个参数的类型和/或其返回类型之间的依赖性。如果没有这种依赖性,则不应使用通用方法。
这是什么意思?
他们举了例子
class Collections {
public static void copy(List dest, List extends T> src) {
...
}
[…]
我们可以以另一种方式编写此方法的签名,而根本不使用通配符:
class Collections {
public static void copy(List dest, List src) {
...
}
该文档不鼓励使用第二种声明,而是提倡使用第一种语法?第一个和第二个声明之间有什么区别?两者似乎都在做同一件事?
有人可以照亮这个区域吗?