我正在从OracleDocGenericMethod中阅读有关泛型方法的信息。当比较指出何时使用通配符以及何时使用通用方法时，我对此感到非常困惑。引用文档。

interface Collection<E> {
    public boolean containsAll(Collection<?> c);
    public boolean addAll(Collection<? extends E> c);
}

我们可以在这里使用通用方法：

interface Collection<E> {
    public <T> boolean containsAll(Collection<T> c);
    public <T extends E> boolean addAll(Collection<T> c);
    // Hey, type variables can have bounds too!
}

[…]这告诉我们类型参数正在用于多态。它的唯一作用是允许在不同的调用站点使用各种实际的参数类型。在这种情况下，应使用通配符。通配符旨在支持灵活的子类型化，这就是我们在此要表达的内容。

我们难道不认为像通配符一样(Collection<? extends E> c);也支持某种多态性吗？那么为什么在这种情况下通用方法的使用被认为不好呢？

它继续说，

通用方法允许使用类型参数来表示方法的一个或多个参数的类型和/或其返回类型之间的依赖性。如果没有这种依赖性，则不应使用通用方法。

这是什么意思？

他们举了例子

class Collections {
    public static <T> void copy(List<T> dest, List<? extends T> src) {
    ...
}

[…]

我们可以以另一种方式编写此方法的签名，而根本不使用通配符：

class Collections {
    public static <T, S extends T> void copy(List<T> dest, List<S> src) {
    ...
}

该文档不鼓励使用第二种声明，而是提倡使用第一种语法？第一个和第二个声明之间有什么区别？两者似乎都在做同一件事？

有人可以照亮这个区域吗？