泛型

泛型概述

在前⾯学习集合时，我们都知道集合中是可以存放任意对象的，只要把对象存储集合后，那么这时他们都会被提升成Object类型。当我们在取出每⼀个对象，并且进⾏相应的操作，这时必须采⽤类型转换。

public class GenericDemo {
 public static void main(String[] args) {
 Collection coll = new ArrayList();
 coll.add("hello");
 coll.add("bonnie");
 coll.add(5); // 由于集合没有做任何限定，任何类型都可以给其中存放
 Iterator it = coll.iterator();
 while(it.hasNext()){
 // 需要打印每个字符串的⻓度,就要把迭代出来的对象转成String类型
 String str = (String) it.next();
 System.out.println(str.length());
 }
 } 
 }

程序在运⾏时发⽣了问题 java.lang.ClassCastException
Collection虽然可以存储各种对象，但实际上通常Collection只存储同⼀类型对象。例如都是存储
字符串对象。因此在JDK5之后，新增了泛型(Generic)语法，让你在设计API时可以指定类或⽅法
⽀持泛型，这样我们使⽤API的时候也变得更为简洁，并得到了编译时期的语法检查
泛型：本质是参数化类型，可以在类或者方法中预知地使用未知的类型。

使⽤泛型的好处

1.将运行时期的ClassCastException ,转移到了编译时期编变成了编译失败
2.避免了类型转换的麻烦

public class GenericDemo2 {
 public static void main(String[] args) {
 Collection<String> list = new ArrayList<String>();
 list.add("hello");
 list.add("bonnie");
 // list.add(5); // 当集合明确类型后，存放类型不⼀致就会编译报错
 // 集合已经明确具体存放的元素类型，那么在使⽤迭代器的时候，迭代器也同样会知道
具体遍历元素类型
 Iterator<String> it = list.iterator();
 while (it.hasNext()) {
 String str = it.next();
 // 当使⽤Iterator<String>控制元素类型后，就不需要强转了。获取到的元素直接就
是String类型
 System.out.println(str.length());
 }
 }
  }

泛型的定义与使⽤

泛型，⽤来灵活地将数据类型应⽤到不同的类、⽅法、接⼝当中。将数据类型作为参数进⾏传
递

1.定义和使⽤含有泛型的类

定义格式

修饰符 class 类名<代表泛型的变量> { }

API中的ArrayList集合

class ArrayList<E> {
 public boolean add(E e){ }
 public E get(int index){ }

}

1.在创建对象的时候确定泛型
例如， ArrayList list = new ArrayList();
此时，变量E的值就是String类型，那么我们的类型就可以理解为：

class ArrayList<String> {
 public boolean add(String e){ }
 public String get(int index){ }

}

再例如， ArrayList list = new ArrayList();
此时，变量E的值就是Integer类型，那么我们的类型就可以理解为：

class ArrayList<Integer> {
 public boolean add(Integer e) { }
 public Integer get(int index) { }
 ...
}

2.举例⾃定义泛型类

public class MyGenericClass<MVP> {
 // 没有MVP类型，在这⾥代表 未知的⼀种数据类型 未来传递什么就是什么类型
 private MVP mvp;
 
 public void setMVP(MVP mvp) {
 this.mvp = mvp;
 }
 
 public MVP getMVP() {
 return mvp;
 }
}

使用

public class GenericClassDemo {
 public static void main(String[] args) { 
 // 创建⼀个泛型为String的类
 MyGenericClass<String> my = new MyGenericClass<String>(); 
 // 调⽤setMVP
 my.setMVP("⼤胡⼦登登");
 // 调⽤getMVP
 String mvp = my.getMVP();
 System.out.println(mvp);
 // 创建⼀个泛型为Integer的类
 MyGenericClass<Integer> my2 = new MyGenericClass<Integer>();
 my2.setMVP(123); 
 Integer mvp2 = my2.getMVP();
 }
}

2 含有泛型的⽅法

定义格式：

修饰符 <代表泛型的变量> 返回值类型 ⽅法名(参数){ }

public class MyGenericMethod { 
 public <MVP> void show(MVP mvp) {
 System.out.println(mvp.getClass());
 }
 public <MVP> MVP show2(MVP mvp) {
 return mvp;
 }
}

3含有泛型的接⼝

定义格式：

修饰符 interface接⼝名<代表泛型的变量> { }

public interface MyGenericInterface<E> {
 public abstract void add(E e);
 
 public abstract E getE(); 
}

使⽤格式：
1、定义类时确定泛型的类型
例如 实现类实现接口：

public class MyImp1 implements MyGenericInterface<String> {
 @Override
 public void add(String e) {
 // 省略...
 }
 @Override
 public String getE() {
 return null;
 } }

此时 泛型E的值就是String类型
2、始终不确定泛型的类型，直到创建对象时，确定泛型的类型

public class MyImp2<E> implements MyGenericInterface<E> {
 @Override
 public void add(E e) {
 // 省略...
 }
 @Override
 public E getE() {
 return null;
 } }

确定泛型：

/*
* 使⽤
*/
public class GenericInterface {
 public static void main(String[] args) {
 //实例化时 确定要用打的泛型类型 String
 MyImp2<String> my = new MyImp2<String>(); 
 my.add("aa");
 }
}

泛型通配符

当使用泛型或者接口时，传递的数据中，泛型类型不确定，可以通过通配符<?> 表示。但是一旦使用泛型得到的通配符后，只能使用object 类中共性方法，集合中元素自身方法无法使用。
通配符基本使⽤
泛型的通配符：不知道使⽤什么类型来接收的时候，此时可以使⽤?，?表示未知通配符。
此时只能接受数据，不能往该集合中存储数据

public static void main(String[] args) {
 Collection<Intger> list1 = new ArrayList<Integer>();
 getElement(list1);
 Collection<String> list2 = new ArrayList<String>();
 getElement(list2);
}
public static void getElement(Collection<?> coll){ }
// ？代表可以接收任意类型

通配符⾼级使⽤ – 受限泛型
泛型的上限：

格式： 类型名称 <? extends 类 > 对象名称
意义： 只能接收该类型及其⼦类

泛型的下限：

格式： 类型名称 <? super 类 > 对象名称
意义： 只能接收该类型及其⽗类型
⽐如：现已知Object类，String 类，Number类，Integer类，其中Number是Integer的⽗类

public static void main(String[] args) {
 Collection<Integer> list1 = new ArrayList<Integer>();
 Collection<String> list2 = new ArrayList<String>();
 Collection<Number> list3 = new ArrayList<Number>();
 Collection<Object> list4 = new ArrayList<Object>();
 getElement1(list1);
 getElement1(list2); // 报错
 getElement1(list3);
 getElement1(list4); // 报错
 getElement2(list1); // 报错
 getElement2(list2); // 报错
 getElement2(list3);
 getElement2(list4);
}
// 泛型的上限：此时的泛型?，必须是Number类型或者Number类型的⼦类
public static void getElement1(Collection<? extends Number> coll) { }
// 泛型的下限：此时的泛型?，必须是Number类型或者Number类型的⽗类
public static void getElement2(Collection<? super Number> coll) { }

泛型补充

1.创建泛型对象的时候，一定要指出类型变量T的具体类型。争取让编译器检查出错误，而不是留给JVM运行的时候抛出类不匹配的异常。 2、JVM如何理解泛型概念 —— 类型擦除。事实上，JVM并不知道泛型，所有的泛型在编译阶段就已经被处理成了普通类和方法。 处理方法很简单，我们叫做类型变量T的擦除(erased) 。
3. 总结：泛型代码与JVM
① 虚拟机中没有泛型，只有普通类和方法。
② 在编译阶段，所有泛型类的类型参数都会被Object或者它们的限定边界来替换。(类型擦除)
③ 在继承泛型类型的时候，桥方法的合成是为了避免类型变量擦除所带来的多态灾难。 无论我们如何定义一个泛型类型，相应的都会有一个原始类型被自动提供。原始类型的名字就是擦除类型参数的泛型类型的名字。