泛型
理解
所谓泛型,就是允许在定义类、接口时通过一个标识表示类中某个属性的类型或者是某个方法的返回值及参数类型。
这个类型参数将在使用时(例如,继承或实现这个接口,用这个类型声明变量、创建对象时确定(即传入实际的类型参数,也称为类型实参)。
(在定义类、接口时标识了某一类型,当有对象实现方法时,方法的返回值或参数类型需与标识的类型一致)
引入原因
集合容器类在设计阶段/声明阶段不能确定这个容器到底实际存的是什么类型的对象,所以在JDK1.5之前只能把元素类型设计为Object,JDK1.5之后使用泛型来解决。
因为这个时候除了元素的类型不确定,其他的部分是确定的,例如关于这个元素如何保存,如何管理等是确定的,因此此时把元素的类型设计成一个参数,这个类型参数叫做泛型。Collection,List,ArrayList 这个就是类型参数,即泛型。
对比
//使用泛型之前
@Test
public void test1(){
ArrayList list = new ArrayList();
//需求:存放学生的成绩
list.add(78);
list.add(76);
list.add(89);
list.add(88);
//问题一:类型不安全
// list.add("Tom");
for(Object score : list){
//问题二:强转时,可能出现ClassCastException
int stuScore = (Integer) score;
System.out.println(stuScore);
}
}
//使用泛型
@Test
public void test2(){
ArrayList<Integer> list = new ArrayList<Integer>();
list.add(78);
list.add(87);
list.add(99);
list.add(65);
//编译时,就会进行类型检查,保证数据的安全
// list.add("Tom");
//方式一:
// for(Integer score : list){
// //避免了强转操作
// int stuScore = score;
//
// System.out.println(stuScore);
//
// }
//方式二:
Iterator<Integer> iterator = list.iterator();
while(iterator.hasNext()){
int stuScore = iterator.next();
System.out.println(stuScore);
}
}
总结
-
集合接口或集合类在jdk5.0时都修改为带泛型的结构。
-
在实例化集合类时,可以指明具体的泛型类型。
-
指明完以后,在集合类或接口中凡是定义类或接口时,内部结构(比如:方法、构造器、属性等)使用到类的泛型的位置,都指定为实例化的泛型类型。
比如:add(E e) —>实例化以后:add(Integer e)
-
注意点:泛型的类型必须是类,不能是基本数据类型。需要用到基本数据类型的位置,拿包装类替换
-
如果实例化时,没指明泛型的类型。默认类型为java.lang.Object类型。
自定义泛型、接口
泛型类、接口
public class Order<T> {
String orderName;
int orderId;
//类的内部结构就可以使用类的泛型
T orderT;
public Order(String orderName,int orderId,T orderT){
this.orderName = orderName;
this.orderId = orderId;
this.orderT = orderT;
}
}
public class SubOrder extends Order<Integer> {//SubOrder:不是泛型类
public static <E> List<E> copyFromArrayToList(E[] arr){
ArrayList<E> list = new ArrayList<>();
for(E e : arr){
list.add(e);
}
return list;
}
}
public class SubOrder1<T> extends Order<T> {//SubOrder1<T>:仍然是泛型类
}
@Test
public void test1(){
//如果定义了泛型类,实例化没有指明类的泛型,则认为此泛型类型为Object类型
//要求:如果大家定义了类是带泛型的,建议在实例化时要指明类的泛型。
Order order = new Order();
order.setOrderT(123);
order.setOrderT("ABC");
//建议:实例化时指明类的泛型
Order<String> order1 = new Order<String>("orderAA",1001,"order:AA");
}
注意
//1.
public Order(){
//编译不通过
//T[] arr = new T[10];
//编译通过
T[] arr = (T[]) new Object[10];
}
//2.异常类不能是泛型的
public void show(){
//编译不通过
// try{
//
// }catch(T t){
//
// }
}
//3.静态方法中不能使用类的泛型。因为泛型是在对象的实例化才声明,而静态方法早于实例化,因此不能用
// public static void show(T orderT){
// System.out.println(orderT);
// }
//4.jdk7新特性:类型推断
// Map<String,Integer> map = new HashMap<String,Integer>();
Map<String,Integer> map = new HashMap<>();
//5.子类在继承带泛型的父类时,指明了泛型类型。则实例化子类对象时,不再需要指明泛型。
SubOrder sub1 = new SubOrder();
sub1.setOrderT(1122);
SubOrder1<String> sub2 = new SubOrder1<>();
sub2.setOrderT("order2...");
//6.泛型不同的引用不能相互赋值。
ArrayList<String> list1 = null;
ArrayList<Integer> list2 = new ArrayList<Integer>();
// list1 = list2;
泛型方法
泛型方法:在方法中出现了泛型的结构,泛型参数与类的泛型参数没有任何关系。
//换句话说,泛型方法所属的类是不是泛型类都没有关系。
//泛型方法,可以声明为静态的。原因:泛型参数是在调用方法时确定的,并非在实例化类时确定,只要在调用的时候声明好参数的类型就可以,因此类也可以调用静态的。
public static <E> List<E> copyFromArrayToList(E[] arr){
ArrayList<E> list = new ArrayList<>();
for(E e : arr){
list.add(e);
}
return list;
}
泛型在继承上的体现
若类A是类B的父类,但是G 和G二者不具备子父类关系,二者是并列关系。
补充:类A是类B的父类,A
@Test
public void test1(){
Object obj = null;
String str = null;
obj = str;
Object[] arr1 = null;
String[] arr2 = null;
arr1 = arr2;
//编译不通过
// Date date = new Date();两个完全不相关的类进行赋值会出错,
// 只有两者有子父类关系,且是子类赋给父类才允许
// str = date;
List<Object> list1 = null;
List<String> list2 = new ArrayList<String>();
//此时的list1和list2的类型不具子父类关系,
//只是两者的泛型类型是有子父类关系
//list1 = list2;编译不通过
/*
反证法:
假设list1 = list2;
list1.add(123);导致混入非String的数据。出错。
*/
show(list1);
show1(list2);
}
public void show1(List<String> list){
}
public void show(List<Object> list){
}
@Test
public void test2(){
AbstractList<String> list1 = null;
List<String> list2 = null;
ArrayList<String> list3 = null;
list1 = list3;
list2 = list3;
List<String> list4 = new ArrayList<>();
}
通配符
作用
通配符:?
类A是类B的父类,G和G是没关系的,二者共同的父类是:G<?>
//涉及通配符的集合的数据的写入和读取:
@Test
public void test3(){
List<Object> list1 = new ArrayList<>();
List<String> list2 = new ArrayList<>();
list1.add("adad");
List<?> list = null;
list = list1;
list = list2;
//编译通过
print(list1);//adad
print(list2);//由于没有添加因此没有任何结果
List<String> list3 = new ArrayList<>();
list3.add("AA");
list3.add("BB");
list3.add("CC");
list = list3;
//1.添加(写入):对于List<?>就不能向其内部添加数据。
//list.add("DD");出错
//除了添加null之外。
list.add(null);
//2.获取(读取):允许读取数据,读取的数据类型为Object。
Object o = list.get(0);
System.out.println(o);//结果为AA
}
public void print(List<?> list){
Iterator<?> iterator = list.iterator();
while(iterator.hasNext()){
Object obj = iterator.next();
System.out.println(obj);
}
}
有限制条件的通配符
? extends A(extends相当于 小于等于)
G<? extends A> 可以作为G和G的父类,其中B是A的子类
? super A(super相当于 大于等于)
G<? super A> 可以作为G和G的父类,其中B是A的父类
@Test
public void test4(){
List<? extends Person> list1 = null;
List<? super Person> list2 = null;
List<Student> list3 = new ArrayList<Student>();
List<Person> list4 = new ArrayList<Person>();
List<Object> list5 = new ArrayList<Object>();
list1 = list3;
list1 = list4;
//list1 = list5;泛型object类大于Person类,因此编译不通过
//list2 = list3;泛型Student类小于Person类,因此编译不通过
list2 = list4;
list2 = list5;
//读取数据:
list1 = list3;
Person p = list1.get(0);
//Student s = list1.get(0);
//编译不通过,因为?extend Person的原因,list1可选的泛型类型范围在[负无穷,Person],因此只能取 Person或者其父类才不会出现编译错误,否则便会出现父类赋值给子类的编译型错误
list2 = list4;
Object obj = list2.get(0);
//Person obj = list2.get(0);
//编译不通过,因为?super Person的原因,list2可选的泛型类型范围在[Person,正无穷],当取Person的 父类时便会出现编译错误
//写入数据:
//编译不通过
//list1.add(new Student());要是list1泛型选择比student类还小,则会出现报错
//编译通过
list2.add(new Person());//list泛型类型选择最小可选Person类,因此要达到子类赋值给父类,只能写小于等于Pe
list2.add(new Student());
}