java——泛型

泛型

泛型：只存在编译期间

泛型:是指将"类型参数化",就是将参数类型也定义为变量

import java.util.ArrayList;
import java.util.Collection;

public class Demo {
    public static void main(String[] args) {
        //不明确类型,默认为Object类型,无论什么类型都要向上转为Object类型,在需要时向下转型,此时可能会出现类型转换异常
        Collection c = new ArrayList();
        c.add("a");
        c.add(1);//自动装箱为Integer类型
        //java希望一个集合中存储的是同一类型的数据,使用泛型语法,在创建对象时,将数据类型当做参数传递,这样集合的类型就会明确
        Collection<Integer> c1 = new ArrayList<Integer>();//需要注意的是<>中的参数类型必须是引用类型,此时c1集合只能存入Integer类型的值
    }

泛型类

//自定义一个泛型类
public class FXlei <T> {
    private int num;
    private T data;
    public int getNum() {
        return num;
    }

    public void setNum(int num) {
        this.num = num;
    }

    public T getData() {
        return data;
    }

    public void setData(T data) {
        this.data = data;
    }
    public static void main(String[] args) {
        FXlei<String> fx = new FXlei<String>();
        fx.setData("老师");
        System.out.println(fx.getData());
    }
}

从泛型类派生子类

子类也是泛型类,子类和父类的泛型类型要一至.

class Chird<T> extends Demo<T>

子类不是泛型类,父类就要明确泛型的数据类型(因为子类不是泛型,所以在创建子类对象时不能传入类型,父类类型也就无法明确)

class Chird extends Demo<String>

泛型接口

泛型接口：与泛型类相似，实现泛型接口的类，不是泛型类时，在实现接口就要传入类型参数。

泛型通配符(?)

类型通配符—>?

类型通配符一般是使用"?"代替具体的类型实参,所以类型通配符是实参,而不是类型形参。

无边界的通配符<?>

public class FXlei <T> {
    private int num;
    
    //使用类型通配符
    public void test(FXlei<?> s){//在不知道具体类型时使用<?>

    }

    public static void main(String[] args) {
        FXlei<String> s = new FXlei<>();
        FXlei<Integer> i = new FXlei<>();
        s.test(s);
        i.test(s);
    }

}

上边界的通配符<? extends E>

上边界的通配符是指：E及其的子类才能被传入。

public class FXlei <T> {
    private int num;
 
    public void test(FXlei<?> s){

    }
    //<? extends 类型>  称作类型上限 只能传入类型以及类型的子类
    public void test1(FXlei<? extends Number> s){

    }

    public static void main(String[] args) {
        FXlei<Number> s = new FXlei<>();
        FXlei<Integer> i = new FXlei<>();
        s.test1(s);
        i.test(i);
        
    }

}

下边界的通配符<? super E>

下边界的通配符是指：E及其父类能被传入。

public class FXlei <T> {
    private int num;
 
    public void test(FXlei<?> s){

    }
   
    //<? super 类型> 称作类型下限  只能传入类型以及类型的父类
    public void test2(FXlei<? super Number> s){

    }

    public static void main(String[] args) {
        FXlei<Number> s = new FXlei<>();
        FXlei<Object> i = new FXlei<>();
        s.test1(s);
        i.test(i);
        
    }

}

类型擦除

泛型是java 1.5版本才引进的概念, 泛型只存在于编译期间对类型进行明确的,在进入jam之前,于泛型相关的信息会被擦除掉,我们称之为 —> 类型擦除

ArrayList<String> list = new ArrayList<>;
     Class c = list.getClass();
     Fild f = c.getDeclaredFild("elementData");
     System.out.println(f.getName()+"::"+f.getType());