什么是泛型
泛型就是适用于许多类型,一个泛型类或者一个泛型方法可以应用于多种类型,从代码上讲,就是对类型实现了参数化(换句话说就是使类型也可以传参)
引出泛型
实现一个类,类中包含一个数组成员,使得数组中可以存放任何类型的数据,也可以根据成员方法返回数组中的某个下标的值
看起来很合理,用到了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代表什么。