JavaSE泛型

泛型出现的背景

泛型：标签 jdk 5.0 新增

所谓泛型，就是允许在定义类、接口时通过一个标识表示类中某个属性的类型或者是某个方法的返回值及参数类型。这个类型参数将在使用时（例如，继承或实现这个接口，用这个类型声明变量、创建对象时）确定（即传入实际的类型参数，也称为类型实参）。

JDK1.5改写了集合框架中的全部接口和类，为这些接口、类增加了泛型支持，从而可以在声明集合变量、创建集合对象时传入类型实参。

package com.atguigu.java;

import org.junit.Test;

import java.util.ArrayList;

public class GenericTest {
    //在集合中使用泛型之前的情况
    @Test
    public void test1(){
        ArrayList list = new ArrayList();
        //需求：存放学生的成绩
        list.add(78);
        list.add(87);
        list.add(90);
        list.add(83);

        //问题一:类型不安全
        list.add("Tom");
        
        for(Object score : list){
            //问题二：强转时,可能出现异常
            int stuScore = (Integer)score;
            System.out.println(stuScore);
        }
    }
}

在集合中使用泛型

总结：

• 集合接口或集合类在 jdk 5.0 时都修改为带泛型的结构
• 在实例化集合类时，可以指明具体的泛型类型
• 指明完以后，在集合类或接口中凡是定义类或接口时，内部结构 (比如：方法，构造器，属性等) 使用到类的泛型的位置。都指定为实例化的泛型类型
  比如： add(E , e) ---- 实例化以后 ：add(Integer , e)
• 注意点：泛型的类型必须是类，不能是基本数据类型，需要用到基本数据类型的地方，拿包装类代替
• 如果实例化时，没有指明泛型的类型。默认类型为 java.long.Object 类型

package com.atguigu.java;

import org.junit.Test;

import java.util.*;

public class GenericTest {

    //在集合中使用泛型的情况
    @Test
    public void test2(){
        ArrayList<Integer> list = new ArrayList<Integer>();

        list.add(99);
        list.add(80);
        list.add(75);
        list.add(84);
        //编译时就会进行类型检查,保证数据的安全
        //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);
        }
    }
    //在集合中使用泛型的情况：以 HashMap 为例
    @Test
    public void test3(){
        Map<String,Integer> map = new HashMap<String,Integer>();

        map.put("Tom",86);
        map.put("Mack",90);
        map.put("Jerry",78);

        //泛型的嵌套
        Set<Map.Entry<String,Integer>>  entry = map.entrySet();
        Iterator<Map.Entry<String, Integer>> iterator = entry.iterator();
        while(iterator.hasNext()){
            Map.Entry<String,Integer> e = iterator.next();
            String key = e.getKey();
            Integer value = e.getValue();
            System.out.println(key + "------" + value);
        }

    }
}

自定义泛型结构

泛型类，泛型接口的使用

package com.atguigu.java;

import org.junit.Test;

public class GenericTest1 {

    @Test
    public void test1(){
        //如果定义了泛型类,实例化没有指明类的泛型,则认为此泛型类型为 Object类型
        //要求：如果大家定义的类是带泛型的,建议在实例化时要指明类的泛型

        Order order = new Order();
        order.setOrderT(123);
        order.setOrderT("ABC");

        //建议：实例化时要指明类的泛型
        Order<String> order1 = new Order<String>("Tom",1008,"alter");
        order1.setOrderT("AA:hello");
    }

    @Test
    public void test2(){
        SubOrder sub = new SubOrder();
        //由于子类继承带泛型的父类时,指明了泛型类型.则实例化子类对象时,
        //不再需要指明泛型
        sub.setOrderT(1122);

        SubOrder1<String> sub1 = new SubOrder1<String>();
        sub1.setOrderT("jack");
    }
}

package com.atguigu.java;

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 void setOrderT(T orderT){
        this.orderT = orderT;
    }

    public T getOrderT(){
        return this.orderT;
    }

    @Override
    public String toString() {
        return "Order{" +
                "orderName='" + orderName + '\'' +
                ", orderID=" + orderID +
                ", orderT=" + orderT +
                '}';
    }
}

package com.atguigu.java;

public class SubOrder extends Order<Integer>{
    //SubOrder:不是泛型类
}

package com.atguigu.java;

public class SubOrder1<T> extends Order<T>{
    //SubOrder1:仍是泛型类
}

泛型类、泛型接口的注意点

泛型类可能有多个参数，此时应将多个参数一起放在尖括号内。比如：<E1,E2,E3>

泛型类的构造器如下：public GenericClass(){}。而下面是错误的：public GenericClass(){}

实例化后，操作原来泛型位置的结构必须与指定的泛型类型一致

泛型不同的引用不能相互赋值。

• 尽管在编译时ArrayList和ArrayList是两种类型，但是，在运行时只有一个ArrayList被加载到JVM中。

泛型如果不指定，将被擦除，泛型对应的类型均按照Object处理，但不等价于Object。经验：泛型要使用一路都用。要不用，一路都不要用

jdk1.7，泛型的简化操作：ArrayList flist = new ArrayList<>();

泛型的指定中不能使用基本数据类型，可以使用包装类替换。

在类/接口上声明的泛型，在本类或本接口中即代表某种类型，可以作为非静态属性的类型、非静态方法的参数类型、非静态方法的返回值类型。但在静态方法中不能使用类的泛型

异常类不能是泛型的

父类有泛型，子类可以选择保留泛型也可以选择指定泛型类型：

• 子类不保留父类的泛型：按需实现
  • 没有类型 擦除
  • 具体类型
• 子类保留父类的泛型：泛型子类
  • 全部保留
  • 部分保留

class Father<T1, T2> {
}
// 子类不保留父类的泛型
// 1)没有类型 擦除
class Son1 extends Father {// 等价于class Son extends Father<Object,Object>{
}
// 2)具体类型
class Son2 extends Father<Integer, String> {
}
// 子类保留父类的泛型
// 1)全部保留
class Son3<T1, T2> extends Father<T1, T2> {
}
// 2)部分保留
class Son4<T2> extends Father<Integer, T2> {
}

泛型方法的使用

package com.atguigu.java;

import com.sun.xml.internal.bind.v2.runtime.unmarshaller.XsiNilLoader;

import java.util.ArrayList;
import java.util.List;

//
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 void setOrderT(T orderT){
        this.orderT = orderT;
    }

    public T getOrderT(){
        return this.orderT;
    }

    @Override
    public String toString() {
        return "Order{" +
                "orderName='" + orderName + '\'' +
                ", orderID=" + orderID +
                ", orderT=" + orderT +
                '}';
    }

    //泛型方法：在方法中出现了泛型的结构,泛型参数与类的泛型参数没有任何关系
    //换句话说：泛型方法所属的类 与 泛型类 之间没有关系
    //泛型方法,可以声明为静态的.原因：泛型参数是在调用方法时确定的,并非是在实例化类是确定
    public <E> List<E> copyFromArrayToList(E[] arr){
        ArrayList<E> list = new ArrayList<E>();
        for(E e:list){
            list.add(e);
        }
        return list;
    }
}

package com.atguigu.java;

import org.junit.Test;

import java.util.List;

public class GenericTest1 {

    //测试泛型方法
    @Test
    public void test3(){
        Order<String> o1 = new Order<String>();
        Integer[] arr = new Integer[]{1,2,3,4};
        //泛型方法在调用时,指明泛型参数的类型
        List<Integer> integers = o1.copyFromArrayToList(arr);

        System.out.println(integers);
    }
}

泛型在继承上的体现

虽然 类A 是 类B 的父类，但是 G 和 G 二者不具备子父类关系，二者是并列关系

补充： 类A 是 类B 的父类，A 是 B 的父类

package com.atguigu.java;

import org.junit.Test;

import java.util.AbstractList;
import java.util.ArrayList;
import java.util.List;

public class GenericTest2 {
    //泛型在继承方面的体现
    @Test
    public void test1(){
        Object obj = null;
        String str = null;
        obj = str;

        Object[] arr1 = null;
        String[] arr2 = null;
        arr1 = arr2;

        List<Object> list1 = null;
        List<String> list2 = null;
        //此时的 list1 和 list2 的类型不具有子父类关系
        //编译不通过
        //list1 = list2;
    }

    @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<?>

package com.atguigu.java;

import org.junit.Test;

import java.util.AbstractList;
import java.util.ArrayList;
import java.util.Iterator;
import java.util.List;

public class GenericTest2 {

    @Test
    public void test3(){
        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);
        }
    }

    @Test
    public void test4(){
        List<?> list = null;

        List<String> list1 = new ArrayList<>();
        list1.add("AA");
        list1.add("BB");
        list1.add("CC");
        list = list1;

        //添加(写入)：对于 List<?> 就不能向其内部添加数据
        //null 除外
        //编译错误  list.add("DD");

        list.add(null);

        //获取(读取)：允许正常读取数据,读取的数据类型为 Object
        Object o = list.get(0);
        System.out.println(o);

    }
}

有限制条件的通配符的使用

package com.atguigu.java;

import org.junit.Test;

import java.util.AbstractList;
import java.util.ArrayList;
import java.util.Iterator;
import java.util.List;

public class GenericTest2 {
    
    /*
    有限制条件的通配符的使用、
    ? extends Person:可以接受 [ 负无穷 -- Person) 之间的对象
    ? super Person: 可以接受 [ Person -- 正无穷 ) 之间对象
     */
    @Test
    public void test5(){
        // 前提 Student entends Person
        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;//失败 超出范围

        //list2 = list3;//失败 超出范围
        list2 = list4;
        list2 = list5;

        //读取数据： 采用较大的 类 来接受
        list1 = list3;
        Person p = list1.get(0);
        //不能采用 Student 类 接受

        list2 = list4;
        Object obj = list2.get(0);
        //不能采用 Person 类 接受

        //写入数据:只能写入 较小类的 数据
        //list1 的范围无法写入数据

        //list2 只能接受  [ 负无穷 -- Person) 的数据
        list2.add(new Person());
        list2.add(new Student());
        
    }
}

泛型应用举例

定义个泛型类 DAO，在其中定义一个 Map 成员变量，Map 的键为 String 类型，值为 T 类型。

分别创建以下方法：
public void save(String id,T entity)： 保存 T 类型的对象到 Map 成员变量中
public T get(String id)：从 map 中获取 id 对应的对象
public void update(String id,T entity)：替换 map 中 key 为 id 的内容,改为 entity 对象
public List list()：返回 map 中存放的所有 T 对象
public void delete(String id)：删除指定 id 对象

定义一个 User 类：
该类包含：private 成员变量（int 类型） id，age；（String 类型）name。

定义一个测试类：
创建 DAO 类的对象， 分别调用其 save、get、update、list、delete 方法来操作 User 对象，

使用 Junit 单元测试类进行测试。

package com.atguigu.exer;

import java.util.*;

public class DAO<T> {
    private Map<String,T> map = new HashMap<String,T>();

    //保存 T 类型的对象到 Map 成员变量中
    public void save(String id,T entity){
        map.put(id,entity);
    }

    //从 map 中获取 id 对应的对象
    public T get(String id){
        T obj = map.get(id);
        return obj;
    }

    //替换 map 中 key 为 id 的内容,改为 entity 对象
    public void update(String id,T entity){
        if(map.containsKey(id)){
            map.put(id,entity);
        }
    }

    //返回 map 中存放的所有 T 对象
    public List<T> list(){
        //错误的
        //Collection<T> values = map.values();
        //return (List<T>) values;

        //正确的
        List<T> list = new ArrayList<T>();
        Collection<T> values = map.values();

        for(T t : values){
            list.add(t);
        }
        return list;
    }

    //删除指定 id 对象
    public void delete(String id){
        map.remove(id);
    }
}

package com.atguigu.exer;

public class User {

    private int id;
    private int age;
    private String name;

    public User() {
    }

    public User(int id, int age, String name) {
        this.id = id;
        this.age = age;
        this.name = name;
    }

    public int getId() {
        return id;
    }

    public void setId(int id) {
        this.id = id;
    }

    public int getAge() {
        return age;
    }

    public void setAge(int age) {
        this.age = age;
    }

    public String getName() {
        return name;
    }

    public void setName(String name) {
        this.name = name;
    }

    @Override
    public String toString() {
        return "User{" +
                "id=" + id +
                ", age=" + age +
                ", name='" + name + '\'' +
                '}';
    }

    @Override
    public boolean equals(Object o) {
        if (this == o) return true;
        if (o == null || getClass() != o.getClass()) return false;

        User user = (User) o;

        if (id != user.id) return false;
        if (age != user.age) return false;
        return name != null ? name.equals(user.name) : user.name == null;
    }

    @Override
    public int hashCode() {
        int result = id;
        result = 31 * result + age;
        result = 31 * result + (name != null ? name.hashCode() : 0);
        return result;
    }
}

package com.atguigu.exer;

import org.junit.Test;

import java.util.List;

public class DAOTest {
    @Test
    public void test1(){
        DAO<User> dao = new DAO<User>();

        dao.save("1001",new User(1001,24,"周杰伦"));
        dao.save("1002",new User(1002,34,"昆凌"));
        dao.save("1003",new User(1002,29,"蔡依林"));

        dao.update("1003",new User(1003,30,"范文山"));

        dao.delete("1002");

        List<User> list = dao.list();
        System.out.println(list);
    }

}

练习

开发一个泛型Apple类，要求有一个重量属性weight在测试类中实例化不同的泛型对象，要求对象a1的这一属性是String类型，对象a2的这一属性是Integer型，a3的这一属性是Double型。分别为a1，a2，a3的重量属性赋值为：”500克”，500,500.0，在测试类中通过对象调用访问器得到属性值并输出。另外思考，为什么a2和a3的属性需要是Integer和Double而不是int和double？

package com.atguigu.com;
public class AppleTest{
    public static void main(String[] args) {
        Apple<String> a1 = new Apple<String>("500克");
        System.out.println(a1.weight);

        Apple<Integer> a2 = new Apple<Integer>(500);
        System.out.println(a2.weight);

        Apple<Double> a3 = new Apple<Double>(500.0);
        System.out.println(a3.weight);
    }
}

class Apple<T> {
    T weight;

    public Apple(T weight){
        this.weight = weight;
    }
}

500克
500
500.0

泛型的类型必须是类，不能是基本数据类型，需要用到基本数据类型的地方，拿包装类代替

参考资料

尚硅谷-Java零基础教程