Java泛型笔记

泛型

1. 概述

泛型，即“参数化类型”。就是将类型由原来的具体的类型参数化，类似于方法中的变量参数，此时类型也定义成参数形式（可以称之为类型形参），然后在使用/调用时传入具体的类型（类型实参）。

定义的参数类型不确定时，使用重载造成重复代码，object类型进行算术运算比较困难（强制类型转换易出错），所以使用泛型（类型不确定），使用时在指定具体类型。

泛型的作用：使用泛型可以提高代码的复用率。泛型中的类型在使用时指定，不需要强制类型转换。

2. 使用

2.1 泛型类

在创建类时，指出某一个类型是泛指的类型<任意字母>，在使用时需要替换成指定的类型
定义一个泛型类：

public class Person<T>{
    private T data;

    public T getData(){
        return data;
    }
    public void setData(T data){
        this.data = data;
    }
}

在使用时需要指定泛型的类型，即在等号左侧需要指定<>中的类型，但等号右侧的<>默认与左侧相等，可以不写。

public static void main(String[] args) {   	
    Person<String> p = new Person<>();
    p.setData("bvhv");
}

编译后程序会采取去泛型化的措施，也就是说Java中的泛型，只在编译阶段有效。编译过程中，正确检验泛型结果后，会将泛型的相关信息摘出，并在队形进入和离开方法的边界处添加类型检查和类型转换的方法。也就是说，泛型信息不会进入到运行时阶段。

2.2 泛型接口

与泛型类相似

public interface Animal<A> {
    A getData();
}

实现接口时，可以指定泛型，也可以不指定泛型:

指定泛型类型

public class Lions implements Animal<String>{
    private String text;
    public String getData(){
        return text;
    }
}

也可以先不指定泛型类型，在使用这个对象时，再给泛型指定类型

public class Lions<A> implements Animal<A>{
    private A data;
    public A getData(){
        return data;
    }
}

2.3 泛型方法

public static void main(String[] args) {
    print("String:hahah");
    print(123123);
}

public static <A> void print(A data){
    System.out.println(data);
}
//输出：
//String:hahah
//123123

2.4 可以使用多个泛型

class Plate<T, A, E>{
    T data;
}

3. 泛型限制类型

在使用泛型时，可以指定泛型的限定区域，如某某类的子类，某某接口的实现类

//定义Apple是Fruit的子类
interface Fruit{}
class Apple implements Fruit{}

//extends限定了泛型必须是Fruit的子类
class Plate<T extends Fruit>{
    T data;
}

public class Demo {
    public static void main(String[] args) {
        //泛型被限定为Fruit及其实现类
        Plate<Apple> p = new Plate<>();
    }
}

4. 泛型通配符？

通过泛型的通配实现多态

interface Fruit{}
class Apple implements Fruit{}
class Plate<T extends Fruit>{
    T data;
}

public class Demo {
    public static void main(String[] args) {
    	//想要使用多态，但是此句会出错，因为左右两边盘子并没有子父关系，而是引用的内容有子父关系
    	Plate<Fruit> p = new Plate<Apple>();
    	
    	//想要使左右两边 类型的引用 可以使用父子，需要使用通配符？
        //设置泛型范围的上界，即Fruit及其子类
        Plate<? extends Fruit> p1 = new Plate<Apple>();
        //设置泛型的下界，即Apple及其父类
        Plate<? super Apple> p2 = new Plate<Fruit>();
        
        //只写？可以替换任何类型
        Plate<?> p3 = new Plate<String>();
    }
}