Java泛型

Java泛型，即参数化类型。

<T>表示将类，接口或者方法声明为泛型类，泛型接口或者泛型方法，T表示泛型类型，泛型类型在整个类，接口或者方法体内都可以当作普通类型使用。在实例化或者调用泛型类，泛型接口或者泛型方法的时候传入实际具体类型，编译器会将对T进行替换。

泛型的主要优点是能够在编译时而不是运行时检测出错误。

1.泛型类

不仅我们经常使用的集合类如ArrayList<T>类，也可以为任何自定义类增加泛型声明。

 public class Test<T> {

        private T t;
        
        public Test(){
            
        }

        public void add(T t) {
            this.t = t;
        }

        public T get() {
            return t;
        }
    }

当创建带泛型声明的自定义类时，为该类定义构造方法时，不需要添加泛型声明，而在调用该构造方法实例化改类时，需要传入实际类型，如new Test<Integer>。

关于泛型的继承

class Father<T> {}

常用的几种继承包括：

class Son<T> extends Father<T>
class Son<E, T> extends Father<T>
class Son extends Father<Integer>

以下两种为错误情况

class Son extends Father {} //此时父类中的T为Object类型
class Son extends Father<T>{} //编译错误

2.泛型接口

不仅我们经常使用的集合类接口如List<T>类，还可以为任何自定义接口增加泛型声明。

interface Test<T>{
    public T test();
}

泛型接口的常用的使用有两种方式：

当定义一个类实现泛型接口时，传入实际类型。

class TestImpl implements Test<Integer>{

    @Override
    public Integer test() {
        return 0;
    }
}

当定义一个类实现泛型接口时，不传入实际类型，而是在实例化改类的时候传入实际类型。

class TestImpl<T> implements Test<T>{

    T value;
    @Override
    public T test() {
        return value;
    }
}
Test<Integer> test = new TestImpl<>(); //接口指向了接口的实现类的实例。

3.泛型方法

泛型方法的格式：

修饰符 <T> 返回值 方法名（形式参数){

//方法体 

 }

泛型方法的使用有两种方式：

调用改泛型方法时，通过T参数，传入实际类型

 public <T> void test(T value){
       System.out.print(value);
   }
   test(1);

通过返回值决定泛型方法的实际类型

 public <T> T test(Object value){
       return (T)value;
   }
   Integer i = test(1);

类型通配符

为了让泛型能处理某个范围内的数据类型，如某个类和它的子类，可以使用类型通配符 ？，如List<?>。

能用类型通配符 ? 解决的问题，都能用泛型方法替代。

类型通配符：void func(List<? extends A> list);

泛型方法替代：<T extends A> void func(List<T> list);

两者的区别是，？类型的对象是只读的，不可修改的，因为 ？类型是不确定的，如List<?>不可做add操作。

而T类型是确定的数据类型，可以修改。

<? extends T>被称为通配符的上限，代表类型T和T的子类。

<? super T>被称为通配符的下限，代表类型T和T的父类。

泛型的擦除

泛型的类型参数只存在编译期，在运行期，与泛型类型参数相关的信息会被擦除。