为什么泛型方法的定义中有时会省略返回类型前的尖括号

Question

我正在阅读《有效Java》第5章关于泛型的内容，特别是关于偏好泛型方法的内容。我注意到，有时返回类型之前的方法声明中的类型参数（尖括号之间）会被省略。类似的案例有很多，但例如第二版第135页：

public void popAll(Collection<E> dst) {
while (!isEmpty())
dst.add(pop());
} 

另一方面，我看到了类似的泛型方法与声明

public <E> void ...

第一个是错别字吗？如果不是，我什么时候可以省略声明中的括号？

谢啦

Answer 1

匿名用户

答案是…不是。“泛型方法”被定义为在返回类型之前声明类型变量的方法：

如果方法声明了一个或多个类型变量，则它是泛型的。（JLS 8.4.4）

因此，popAll不是“泛型方法”。

因为该方法不声明类型参数< code>E，所以必须在封闭范围内定义它；几乎可以肯定是包含该方法的类(“泛型类”)。

Answer 2

不同之处在于，在第一种情况下，整个类被声明为泛型，而在第二种情况下，只有方法是泛型的。

Answer 3

E是一个类型变量——它代表其他类型，如String或整数。所以就像你不能理解dst.add（op（））而不知道dst是在哪里以及如何定义的一样，你也不能理解像PopAll（集合

/**A Stack of elements
  *
  *@param E The type of elements in the stack */
public class Stack<E>{
    public void popAll(Collection<E> dst){ ... }
}

另一方面，当您看到像公共这样的方法声明时

在这两种情况下，E类型变量在做什么？它告诉我们两种不同的类型必须如何相互关联。在PopAll中，它告诉我们要将弹出的元素放入集合的元素类型必须与弹出它们的堆栈的元素类型相匹配。

类似地，以第136页的示例为例：

public class ListUtils{
    public static <E> E reduce(List<E> list, Function<E> f, E initVal);
}

这里，Etype变量告诉我们list的元素类型必须与f的参数类型和initVal的类型相匹配。周围的类没有为我们定义E，它只在减少方法声明的范围内有意义。