1.包装类
在Java中,由于基本;类型不是继承自Object,为了在泛型代码中可以支持基本类型,Java给每个基本类型都对应了一个包装类型。
1.1基本数据类型和对应的包装类
除了int和char对应的是Integer和Character,其余基本类型的包装类都是首字母大写。
1.2装箱和拆箱
//装箱操作,新建一个Integer对象,将i的值放入对象的某个属性中
Integer ii=Integer.valueOf(i);
Integer ij=new Integer(i);
//拆箱操作,将Integer对象中的值取出,放到一个基本数据类型中
int j=ii.intValue();
1.3自动拆箱和拆箱
int i=10;
Integer ii=i; //自动装箱
Integer ij=(Integer)i;//自动装箱
int j=ii; //自动拆箱
int k=(int)ii;//自动拆箱
2.泛型
2.1什么是泛型
一般的类和方法,只能使用具体的类型,要么是基本类型,要么是自定义的类。如果要编写可以运用于多种类型的代码,那么这种限制对代码的束缚会很大。于是就有了泛型,用通俗的方式来讲,就是对类型实现了参数化。
2.2引出泛型
问题:
实现一个类,类中包含一个数组成员,使得数组中可以存放任意类型的数据,也可以根据成员方法返回数组中某个下标的值。
思路:
- 数组的特点就是,只能存放指定类型的元素,例如:int[] array =new int[10];String[] strs=new String[10];第一个定义了一个int类型的数组能存放10个int类型的元素,第二个定义了String类型的数组能存放10个String类型的元素。
- 所有的父类,默认为Object类。数组是否可以创建为Object?
代码示例
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);
}
}
我们发现上述的代码:
- 任何类型的数据都可以存放
- 1号下标本身就是字符串,但是却编译报错。必须进行强制类型转换
虽然在这种情况下,当前数组任何数据都是可以存放,但是,更多情况下,我们还是希望他只能够持有 一种数据类型。而不是同时持有这么多数据类型。所以,泛型的主要目的:就是指定当前的容器,要持有什么类型的对象。让编译器去做检查。此时,就需要把类型作为参数来传递,需要什么类型就传入什么类型。
2.3关于语法
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>代表占位符,表示当前类是一个泛型类
类型形参一般使用一个大写字母来表示,常用的名称有:
- E 表示 Element
- K 表示 Key
- V 表示 Value
- N 表示 Number
- T 表示 Type
- S,U,V等等 第二,第三,第四个类型
2.注释1处,不能new泛型类型数组
3.注释2处,类型后加入<Integer>指定当前类型
4.注释3处,不需要进行强制类型转换
5.注释4处,此时因为在注释2处指定类当前的类型,此时在注释4处,编译器会存放元素的时候帮助我们进行类型检查
2.4关于使用
我们先来看下关于泛型的语法:
泛型类 <类型实参> 变量名;//定义一个泛型类引用
new 泛型类 <类型实参> (构造方法实参);//实例化一个泛型类对象
示例:
MyArray<Integer> list =new MyArray<Integer>();
注意:泛型只能接受类,所有的基本数据类型必须使用包装类!
类型推导:当编译器可以根据上下文推导出类型实参时,可以省略类型实参的填写。
MyArray<Integer> list =new MyArray<>();//可以推导出实例化需要的类型实参为Integer
2.5裸类型
定义:裸类型是一个泛型类但没有带着类型实参,例如MyArrayList就是一个裸类型
MyArray list =new MyArray();
需要注意的是我们不要自己使用裸类型,裸类型是为了兼容老版本的API保留的机制下面的类型擦除部分。
小结:
- 泛型是将数据类型参数话,进行传递
- 使用<T>表示当前类是一个泛型类
- 泛型的优点:数据类型参数化,编译时自动进行类型检查和转换
2.6泛型的上界
在定义泛型类时,有时需要对传入的类型变量做一定的约束,可以通过类型边界来约束。
语法:
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 EMyArrayList<String> l2;^where E is a type-variable:E extends Number declared in class MyArrayList
2.7泛型方法
语法:
方法限定符 <类型形参列表> 返回值类型 方法名称(参数列表){
......
}
示例:
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);