Java泛型

1.泛型概述

泛型的本质是为了参数化类型（即限制参数类型为我们指定泛型类型）

如这样：给list集合指定类型String

//比如给List集合指定一个泛型（String），那么存入List集合中的元素必须要是String类型
List<String> list= new ArrayList<String>();

2.泛型的优点

• 限制变量的类型，我们的类型是安全的（编译时的类型检测）
• 消除源码中的强制类型转换

3.泛型分类

（1）泛型类

当我们在类中操作的引入数据类型不确定时，可以根据需要自定义泛型支持的类

下面为一个定义泛型类的例子

//此处T可以写任意标识
//在实例化泛型类时，必须指定T的具体类型
public class Generic<T>{
  //private 泛型标识 成员变量名  
    private T key;    
    
    public Generic(T key){
        this.key=key;
    } 
    
    public T set(){
        return null ;
    }
}

实例化泛型类

Generic<String> generic1 = new Generic<String>("Hello");
Generic<Integer> generic2 = new Generic<Integer>(123456);

（2）泛型接口

泛型接口与泛型类的定义与使用基本相同，下面为定义泛型接口和实现的例子

定义：

public interface Generic_interface<T,E> {
     //T,E为我们指定的泛型类型，此处也是返回值和参数
     public T set(T t);
     public E get(E e);
}

实现：

• 实现泛型接口的类“没有”传入泛型实参

实例代码如下：

public class Generics<T,E> implements Generic_interface<T,E>{

    @Override
    public T set(T t) {
        return null;
    }

    @Override
    public E get(E e) {
        return null;
    }
}

• 实现泛型接口的类“有”传入泛型实参

实例代码如下：

public class Generics<String,Integer> implements Generic_interface<String,Integer>{

    @Override
    public String set(String string) {
        return null;
    }

    @Override
    public Integer get(Integer integer) {
        return null;
    }
}

（3）泛型方法

当我们只需关心某个方法时，我们可以直接定义泛型方法

定义与实现

public class Generics{
    public static<T> void set(T[] t){
        for(T element:t){
            System.out.println(element);
        }
    }

    public static void main(String[] args) {
        Integer[] array={1,2,4};
        String[] array1={"Java","C++"};
        set(array);
        set(array1);
    }
}

4.泛型擦除

Java泛型是一种伪泛型，Java在编译期间，所有的泛型都会被擦除（类型擦除）

比如说把泛型T擦除为Object，T extends xxx擦除为限定类型xxx

例子：

List<Integer> list = new ArrayList<>();
list.add(12);
//1.编译期间直接添加会报错
//list.add("a");
Class<? extends List> clazz = list.getClass();
Method add = clazz.getDeclaredMethod("add", Object.class);
//2.运行期间通过反射添加，是可以的
add.invoke(list, "kl");

System.out.println(list)

5.泛型通配符

在泛型类和泛型方法中，类型一旦确定就不能更改，但在有些情况下，我们需要指定可以操作的类型为某个类的父类和子类。这时应使用泛型通配符

• 上界通配符

如“List<? extends Generics>”，其中的“？”代表Generics类和ta的子类

• 下界通配符

如“List<? super Generics>”，其中的“？”代表Generics类和ta的父类

• 无界通配符

如“List<? >”不加任何修饰，可以代表任意未知类型