在Java中,由于基本;类型不是继承自Object,为了在泛型代码中可以支持基本类型,Java给每个基本类型都对应了一个包装类型。
除了int和char对应的是Integer和Character,其余基本类型的包装类都是首字母大写。
//装箱操作,新建一个Integer对象,将i的值放入对象的某个属性中 Integer ii=Integer.valueOf(i); Integer ij=new Integer(i); //拆箱操作,将Integer对象中的值取出,放到一个基本数据类型中 int j=ii.intValue();
int i=10; Integer ii=i;????????????????//自动装箱 Integer ij=(Integer)i;//自动装箱 int j=ii;? ? ? ? //自动拆箱 int k=(int)ii;//自动拆箱
一般的类和方法,只能使用具体的类型,要么是基本类型,要么是自定义的类。如果要编写可以运用于多种类型的代码,那么这种限制对代码的束缚会很大。于是就有了泛型,用通俗的方式来讲,就是对类型实现了参数化。
问题:
实现一个类,类中包含一个数组成员,使得数组中可以存放任意类型的数据,也可以根据成员方法返回数组中某个下标的值。
思路:
代码示例
class MyArray {
public Object[] array = new Object[10];
public Object getPos(int pos) {
return this.array[pos];
}
public void setVal(int pos,Object val) {
this.array[pos] = val;
}
}
public class TestDemo {
public static void main(String[] args) {
MyArray myArray = new MyArray();
myArray.setVal(0,10);
myArray.setVal(1,"hello");//字符串也可以存放
String ret = myArray.getPos(1);//编译报错
System.out.println(ret);
}
}
我们发现上述的代码:
虽然在这种情况下,当前数组任何数据都是可以存放,但是,更多情况下,我们还是希望他只能够持有 一种数据类型。而不是同时持有这么多数据类型。所以,泛型的主要目的:就是指定当前的容器,要持有什么类型的对象。让编译器去做检查。此时,就需要把类型作为参数来传递,需要什么类型就传入什么类型。
class 泛型类名称<类型形参列表> { ? ? ? ? //这里可以使用参数类型 } class ClassName<T1,T2,...,Tn> { } class泛型类名称<类型形参列表>extends继承类/*这里可以使用类型参数*/ { ? ? ? ? //这里可以使用类型参数 } class ClassName<T1,T2,...,Tn>extends ParentClass<T1>{ ? ? ? ? //可以使用部分类型参数 }
我们根据这个方式将上述的代码修改一下,如下:
class MyArray<T> {
public T[] array = (T[])new Object[10];//1
public T getPos(int pos) {
return this.array[pos];
}
public void setVal(int pos,T val) {
this.array[pos] = val;
}
}
public class TestDemo {
public static void main(String[] args) {
MyArray<Integer> myArray = new MyArray<>();//2
myArray.setVal(0,10);
myArray.setVal(1,12);
int ret = myArray.getPos(1);//3
System.out.println(ret);
myArray.setVal(2,"bit");//4
}
}
代码解释:
1.类名后的<T>代表占位符,表示当前类是一个泛型类
? ? ? ? 类型形参一般使用一个大写字母来表示,常用的名称有:
2.注释1处,不能new泛型类型数组
3.注释2处,类型后加入<Integer>指定当前类型
4.注释3处,不需要进行强制类型转换
5.注释4处,此时因为在注释2处指定类当前的类型,此时在注释4处,编译器会存放元素的时候帮助我们进行类型检查
我们先来看下关于泛型的语法:
泛型类 <类型实参> 变量名;//定义一个泛型类引用 new 泛型类 <类型实参> (构造方法实参);//实例化一个泛型类对象
示例:
MyArray<Integer> list =new MyArray<Integer>();
注意:泛型只能接受类,所有的基本数据类型必须使用包装类!
类型推导:当编译器可以根据上下文推导出类型实参时,可以省略类型实参的填写。
MyArray<Integer> list =new MyArray<>();//可以推导出实例化需要的类型实参为Integer
定义:裸类型是一个泛型类但没有带着类型实参,例如MyArrayList就是一个裸类型
MyArray list =new MyArray();
需要注意的是我们不要自己使用裸类型,裸类型是为了兼容老版本的API保留的机制下面的类型擦除部分。
小结:
在定义泛型类时,有时需要对传入的类型变量做一定的约束,可以通过类型边界来约束。
语法:
class 泛型类名称<类型实参 extends 类型边界> { ? ? ? ? ...... }
示例
public class MyArray<E extends Number> { ? ? ? ? ... }
只接受Number的子类作为E的类型实参
MyArray<Integer>I1;//正常,因为Integer是Number的子类型 MyArray<Integer>I2;//编译错误,因为String不是Number的子类型
error: type argument String is not within bounds of type-variable E ????????MyArrayList<String> l2; ? ? ? ? ? ? ? ? ? ^ where E is a type-variable: ????????E extends Number declared in class MyArrayList
没有指定类型边界E,可以视为E extends Object
语法:
方法限定符 <类型形参列表> 返回值类型 方法名称(参数列表){ ? ? ? ? ...... }
示例:
public class Util { ? ? ? ? //静态的泛型方法 需要在static后用<>声明泛型类型参数 ? ? ? ? public static <E> void swap(E[] array,int i,int j) { ? ? ? ? ? ? ? ? E t=array[i]; ? ? ? ? ? ? ? ? array[i]=array[j]; ? ? ? ? ? ? ? ? array[j]=t; ? ? ? ? } }
使用类型推导
Integer[] a={...}; swap(a,0,9); String[] b={...}; swap(b,0,9);
不使用类型推导
Integer[] a={...}; Util.<Integer>swap(a,0,9); String[] b={...}; Util.<String>swap(b,0,9);