泛型

概念

泛型的作用:可以在类或者方法中预支的使用未知的数据类型.

tips:一般在创建对象时，将未知的类型确定具体的类型。当没有指定泛型时，默认类型为Object类型。

泛型的定义与使用

1. 泛型类

定义:

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

class ArrayList<E>{}

使用:
创建对象时使用确定泛型.

ArrayList<String> list = new ArrayList<String>();
//E的值就是String类型

2. 泛型方法

定义:

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

public static <E> void show(E e){}

使用:
调用方法时,确定泛型的类型.

show("hzc");
show(123);

3. 泛型接口

定义:

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

使用:
1. 定义类时确定泛型的类型.
2. 始终不确定泛型的类型,直到创建对象时,确定泛型的类型.

泛型通配符

当使用泛型类或者接口时,传递的数据中,泛型类型不确定,可以通过通配符<?>表示.但是一旦使用泛型通配符后,只能使用Object类中的共性方法,集合元素自身的方法无法使用.

常用的通配符为： T，E，K，V，？
？ 表示不确定的 java 类型
T (type) 表示具体的一个 java 类型
K V (key value) 分别代表 java 键值中的 Key Value
E (element) 代表 Element

1. 通配符的基本使用

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){}
//？代表可以接收任意类型
//泛型不存在继承关系 Collection<Object> list = new ArrayList<String>();这种是错误的。

2. 受限泛型

指定泛型的上限和下限.

泛型的上限

• 格式: 类型名称 <? 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>();
    
    getElement(list1);
    getElement(list2);//报错
    getElement(list3);
    getElement(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){}