Java中的泛型T

Java中的泛型T

一、问题：

public static <T> List<T> filter(List<T> list) {...}

这个方法签名中有3个T，乍一看第2、3个T都能理解，就是第一个T是什么意思呢？

答案：

其实第2、3个T我们的理解不准确。我们先来看下面的这个方法签名：

public static List<T> filter(List<T> list) {...}

// 我们自己写了一个类T
public class T {
  ...
}

这时候你就恍然大悟了，原来这里的T是我们自己的类，而不是泛型啊！如果我们没有一个叫做T的类，那么方法声明就会报错，找不到类T！

所以，我们再回到问题，第一个T就是指明了泛型T，而后面2个T都是引用第一个T的类型来使用的！我们再换种写法：

public static <M> List<M> filter(List<M> list) {...}

解读：该方法对任意的类型M（即泛型）：接收M类型的List对象，处理后返回一个M类型的List对象！

进阶一下：

public static <M, N> List<N> filter(List<M> list) {...}

这里，用到2个泛型。声明的时候就有2个啦！该方法接收M类型的List对象，处理后返回类型N的List对象。

二、参考文章

知乎讨论泛型T