泛型的知识总结

泛型

概述

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

使用

泛型类

public  class className(T){
    private T age;
    public T getAge(){
        return age;
    }
    public void setAge(T t){
        this.age = t;
    }

}

泛型接口

在定义的时候使用泛型，在实现接口的可以去确定泛型的类型也可以不确定泛型的具体类型

    定义泛型接口
	public interface IntercaceName<T>{
    	T getData();
    }

	实现接口时，可以选择指定泛型类型，也可以选择不指定， 如下：
	指定类型：
    public class Interface1 implements IntercaceName<String> {
       	   
        	private String text;
        	@Override
            public String getData() {
            return text;
            }
    }

	不指定类型：
		
        public class Interface1<T> implements IntercaceName<T> {
        private T data;
            
        @Override
        public T getData() {
        return data;
        }
	}

泛型方法

//泛型类在使用的时候，只能定义引用类型，不能定义成基本数据类型
//jdk 1.8后可以把后面指定类型的部分省略
public static <T> T 方法名 （T 参数1，T 参数2）{

}

泛型的限定类型

//限定了泛型的类型必须是 Person 的子类，在使用的时候如果定义成其他非Perosn子类就会报错
public class Teacher<T extends Person> {
    


}

泛型中的通配符 < ？>

//限定泛型的上界
Teacher<? extends  Person>  s = new Teacher<Student>();
? 指定了没有限定的泛型

//学校里的学生不是学校里的人
School<Person> sh = new School<Student>();		//会报错
School<? extends  Person> sh = new School<Student>(); 	//正确的表达形式

通配符的上下限

类型通配符上限通过形如 Box<? extends Number>形式定义，相对应的，类型通配符下限为 Box<? super Number> 形式，其含义与类型通配符上限正好相反

//限定上限
School<? extends  Person> sh = new School<Student>();
//限定下限
School<? super Student> sh = new School<Person>();

作用

提高代码的复用
泛型中的类型在使用时指定,不需要强制类型转换(类型安全，编译器会检查类型)

注意

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