泛型机制
本质是参数化类型(与方法的形式参数比较，方法是参数化对象)。
优势:将类型检查由运行期提前到编译期。减少了很多错误。
泛型是jdk5.0的新特性。
集合中使用泛型
总结：
- ① 集合接口或集合类在jdk5.0时都修改为带泛型的结构
- ② 在实例化集合类时，可以指明具体的泛型类型
- ③ 指明完以后，在集合类或接口中凡是定义类或接口时，内部结构(比如：方法、构造器、属性)使用到类的泛型的位置，都指定为实例化的泛型类型。
- 比如：add(E e) ---->实例化以后：add(Integer e)
- ④ 注意点：泛型的类型必须是类，不能是基本数据类型。需要用到基本数据类型的位置，拿包装类替换。
- ⑤ 如果实例化时，没有指明泛型的类型。默认类型为java.lang.Object类型。
public class GenericTest {
@Test
public void test(){
//没有使用泛型机制
ArrayList list = new ArrayList();
list.add(111);
list.add(112);
//问题一：类型不安全
list.add("tom");
for (Object score : list){
//问题二：强制转换时，可能会报java.lang.ClassCastException
int sc = (int) score;
System.out.println(sc);
}
}
@Test
public void test1(){
//使用泛型，以ArrayList为例
ArrayList<Integer> list = new ArrayList<Integer>();
list.add(122);
list.add(44);
//编译时，会进行类型检查，保证数据的安全
//list.add("tom");
//方式一:
for (Integer score:list) {
//避免了强制转换操作
System.out.println(score);
}
//方式二：Iterator
Iterator<Integer> iterator = list.iterator();
while (iterator.hasNext()){
int score = iterator.next();
System.out.println(score);
}
//使用泛型，以HashMap为例
Map<String, Integer> map = new HashMap<>();
//jdk7新特性：类型推断
HashMap<String, Integer> map1 = new HashMap<>();
map.put("tom",111);
map.put("jerry",25);
//泛型的嵌套
Set<Map.Entry<String, Integer>> entries = map.entrySet();
Iterator<Map.Entry<String, Integer>> iterator1 = entries.iterator();
while (iterator1.hasNext()){
Map.Entry<String, Integer> next = iterator1.next();
System.out.println(next);
}
}
}
自定义泛型结构
泛型类
public class Order<T> {
String orderName;
int orderId;
//类的内部结构就可以使用类的泛型,可以把它看作是一个类型。
T orderT;
public Order(){}
public Order(String orderName,int orderId,T orderT){
this.orderName = orderName;
this.orderId = orderId;
this.orderT = orderT;
}
public T getOrderT() {
return orderT;
}
public void setOrderT(T orderT) {
this.orderT = orderT;
}
@Override
public String toString() {
return "Order{" +
"orderName='" + orderName + '\'' +
", orderId=" + orderId +
", orderT=" + orderT +
'}';
}
}
测试
public void test(){
//如果定义了泛型类，实例化没有指明类的泛型，则认为此类型为Object类型。
//要求：如果大家定义了类时带泛型的，建议在实例化时要指明类的泛型。
Order order = new Order();
order.setOrderT(123);
order.setOrderT("aaa");
//建议实例化时指明类的泛型
Order<String> order1 = new Order<String>("aaa",101,"AA");
order1.setOrderT("AA:hello");
System.out.println(order.toString());
}
自定义泛型类、泛型接口注意点补充
1、泛型类可能有多个参数，此时应将多个参数一起放在尖括号内。比如：<E1,E2,E3>
2、泛型类的构造器如下：public GenericClass(){}，而下面的是错误的：public GenericClass(){}
3、实例化后，操作原来的泛型位置的结构必须与指定的泛型类型一致。
4、泛型不同的引用不能相互赋值。(尽管在编译时ArrayList 和 ArrayList 是两种类型，但是，在运行时只有一个ArrayList被加载到JVM中。)
5、泛型如果不指定，将被擦除，泛型对应的类型均按照Object处理，但不等价与Object。经验：泛型要使用一路都用。要不用，一路都不用。
6、如果泛型类是一个接口或抽象类，则不能创建泛型对象。
7、jdk1.7，泛型的简化操作：ArrayList flist = new ArrayList<>();
8、泛型的指定中不能使用基本数据类型，可以使用包装类替换。
9、在类/接口上声明的泛型，在本类或本接口中即代表某种类型，可以作为非静态属性的类型、非静态方法的参数类型、非静态方法的返回值类型。但在静态方法中不能使用类的泛型。
10、异常类不能是泛型的。
11、不能使用new E[]。但是可以：E[] elements = (E[]) new Object[capacity];参考：ArrayList源码中声明：Object[] elementData，而非泛型参数类型数组。
12、父类有泛型，子类可以选择保留泛型也可以选择指定泛型类型：
- 子类不保留父类的泛型：按需实现
没有类型 擦除
具体类型 - 子类保留父类的泛型：泛型子类
全部保留
部分保留 - 结论：子类必须是“富二代”，子类出了指定或保留父类的泛型，还可以增加自已的泛型
静态方法中不能使用泛型说明
//静态方法中不能使用泛型
// public static void show(T orderT){
// System.out.println(orderT);
//
在程序运行时，首先加载静态变量和静态方法，而参数T orderT的泛型定义时在加载静态变量和方法之后的
泛型方法
//泛型方法：在方法中出现了泛型结构，泛型方法与类的泛型参数没有任何关系。
//换句话说，泛型方法所属类是不是泛型类没有任何关系。
//泛型方法，可以声明为静态的。原因：泛型参数时在调用方法时确定的，并不是在实例化类时确定。
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<A> 和 G<B>不具备子父类，关系，是并列关系。
public void test1(){
Object obj = null;
String str = null;
obj = str;
List<Object> list1 = null;
List<String> list2 = null;
//此时的List1和List2类型不具有子父类关系。
//编译不通过
// list1 = list2;
}
扩展：类A是类B的父类,A<G>是B<G>的父类。
public void test2(){
List<String> list1 = null;
ArrayList<String> list2 = null;
list1 = list2;
}
通配符的使用
类A是类B的父类，G<A> 和 G<B>是没有关系的，二者的共同父类是：G<?>
public class Test1 {
@Test
public void test1(){
List<Object> list1 = null;
List<String> list2 = null;
List<?> list = null;
list = list1;
list = list2;
print(list1);
print(list2);
}
public void print(List<?> list){
Iterator<?> iterator = list.iterator();
while (iterator.hasNext()){
Object obj = iterator.next();
System.out.println(obj);
}
}
}
使用通配符后读取写入的要求
List<?> list = null;
List<String> list3 = new ArrayList<>();
list3.add("aa");
list3.add("bb");
list = list3;
//添加(写入):对于List<?>就不能向其内部添加数据。
//出了添加NULL之外。
//List.add("DD");编译器异常
list.add(null);
//获取(读取):允许读取数据，读取的数据类型为Object
Object o = list.get(0);
有限制条件的通配符使用
通配符指定上限：extends，使用时指定的类型必须是继承某个类，或者实现某个接口，即<= 。
<? extends Number> (无穷小，Number]：只允许泛型为Number即Number子类的引用调用。 <? super Number> [Number，无穷大)：只允许泛型为Number即Number父类的引用调用。 <? extends Comparable>：只允许泛型为实现Comparable接口的实现类的引用调用。
通配符指定下限：super，使用时指定的类型不能小于操作的类，即>= 。
举例：
测试
创建了两个类，Student，Person，Person是Student的父类
/*
? extends Person:G<? extends Person>可以作为G<A>和G<B>的父类，其中B是A的子类。
? super Person:G<? super Person>可以作为G<A>和G<B>的父类，其中B是A的父类。
*/
public void test2(){
List<? extends Person> list1 = null;
List<? super Person> list2 = null;
List<Student> list3 = null;
List<Person> list4 = null;
List<Object> list5 = null;
list1 = list3;
list1 = list4;
//list1 = list5;编译期异常
//list2 = list3;编译期异常
list2 = list4;
list2 = list5;
//读取数据
list1 = list4;
Person person = list1.get(0);
//编译不通过
//Student s = list1.get(0);
list2 = list4;
Object obj = list2.get(0);
//编译不通过
//Person p = list2.get(0);
//写入数据
//list1.add(new Student());编译不通过，list1 ？可能是比Student还要小的类，故不能添加。
//编译通过
list2.add(new Person());
list2.add(new Student());
}
