Java基础语法之泛型

什么是泛型

泛型就是适用于许多类型，一个泛型类或者一个泛型方法可以应用于多种类型，从代码上讲，就是对类型实现了参数化（换句话说就是使类型也可以传参）

引出泛型

实现一个类，类中包含一个数组成员，使得数组中可以存放任何类型的数据，也可以根据成员方法返回数组中的某个下标的值

看起来很合理，用到了Object类

但在使用时，的确可以放任何类型的数据，不过在取数据时，必须进行类型强转，否则会报错

而泛型的目的是：指定当前容器要持有什么样的数据类型，然后交给编译器去检查，而不是想让当前容同时放油多种数据类型。

基于这个目的，每次取数据时进行类型强转就有点复杂了（因为都是同一种数据类型，没必要每次都强转）

此时就要把数据类型作为参数进行传递，需要什么类型，就传什么参数

泛型类，<T>

class 类名<T>

表示当前类是一个泛型类，T只是一个占位符

如上，首先arr数组的类型最好还是Object类，下面会讲原因；关键就在于方法的擦桉树和返回值要设计成T类型，同时注意返回值是T类型时，一定要进行类型强转，因为arr的类型是Object，转为T相当于向下转型，必须强转

1.不能new一个泛型类型的数组

T [ ] arr=new T [ ];是错误的

泛型是编译时期存在的，当程序在JVM运行时就没有泛型的概念了，所以如果new一个T数组，那么运行时JVM就不知道这个数组是个什么类型，就无法正常运行啦

2.泛型类的使用

前面说了泛型的目的是：指定当前容器要持有什么样的数据类型，然后交给编译器去检查，而不是想让当前容同时放油多种数据类型。

所以每次用时，会传入一个特定的类，拿String类举例：

这样写对吗？看结果：

出现了类型不匹配异常，这是因为我们直接用了arr数组，而它时Object类，要想用就得强转。但这有违背了我们的初衷。所以要用到我们写的方法来设置和获取数据，如下：

这次就不会报错啦

3.擦除机制

在编译时期，T会被擦除成Object

那这样说的话，new一个T类型的数组也可以呀，最后不都换成Object了吗？的确是换了，但Java规定，在编译时就得确定数组类型，所以不能有T类型的数组

那么，下面这种方法也可以，它可在编译时骗过编译器，本质上是Object类的数组，只不过发生了向上转型

不管是这种方法还是直接new一个Object类型的，都会有缺陷，但一般使用new一个Object类型的

缺陷如下：

我写了一个getArr的方法

不管是否进行类型强转，编译器都会报错终止程序进行

想要得到数组，就要用到反射

泛型的上界

1.继承关系

表示要传入的类型必须是Number本身或其子类，这时就不可以传入String了

2.接口的实现

中间有一句报错啦，因为不是所有类型都可以直接比较，而且T代表的是包装类，不是基本数据类型，是引用类型，直接比较就是在比较所指的对象，所以不能这样比较，所以要用到compareTo方法，要想用这个方法，T就必须实现Comparable接口，如下：

这时T的上界就是要实现Comparable接口

那么在main方法中如何使用呢？

这样完全不对

首先，findMax方法的参数类型是T【】，即使一个包装类，而不是简单的基本数据类型，所以对arr的定义应该使用其包装类，即Integer【】（这时对于arr中的各个数字，就相当于进行了装箱操作）

其次，A是一个泛型类，我们在创建对象时，要传入类型参数

具体如下：

泛型方法

在方法限定符后面加上T即可,如下就是在普通类里面定义了一个泛型方法

在main中使用如下

也可以 Integer b=a.<Integer>findMax(arr);? 对于Integer b=a.findMax(arr);这种方法，它会根据传入的参数来推到T代表什么。