泛型方法如何定义，各个部分起什么作用

Question

public static > T max(Collection<? extends T> coll)
我想知道>再这里起什么作用？哪位大神帮忙指导一下

Answer 1

以下回答参考 皆我百晓生、券券喵儿 等免费微信小程序相关内容作答，并由本人整理回复。

在Java中，<T> 是一个泛型符号（Type Parameter），它表示允许接收的类型。在这个例子中，T 代表了 Collection<T> 中的元素。

具体来说：

• <T>：这个符号表明这是一个泛型符号，用于指定接受的参数类型。
• max: 这个方法名是 max 的 Java 方法，它返回传入的集合中的最大值。
• Collection<? extends T>: 这是一个泛型方法签名。? extends T 表示方法可以接收任何类型的元素，并且这些元素必须是 T 类型的对象的子类或接口的实现。
• T: 这个变量代表了一个可能的泛型参数类型，例如 Integer 或者 String 等等。
• Collection<? extends T> : 这个表达式表示的是一个泛型集合，其中的元素可以是任意类型的对象，但必须是 T 类型的子类或者接口的实现。

所以，整个方法签名的意思是，方法接受一个泛型集合作为输入参数，然后返回这个集合中的最大值。

public static <T extends Comparable<T>> T max(Collection<? extends T> collection) {
    return Collections.max(collection);
}

上面的代码使用了 extends 关键字来确保所有元素都是 Comparable<T> 接口的实现。这样就可以保证所有的元素都可以进行比较和排序。