Java高级-泛型

概念

      泛型即参数化类型，是JDK1.5中引入的一个新特性。 泛型提供了编译时类型安全检测机制，该机制允许程序员在编译时检测到非法的类型。

     泛型的本质为参数化类型（在不创建新的类型的情况下，通过泛型指定的不同类型来控制形参具体限制的类型）。

定义

     如下所示：

//泛型类
public class Box<T>{
    //泛型变量
    public T t;  
    
    Person(T t){
        this.t = t;
    }
    
    public T getValue(){
        return t;
    }
}

        泛型可以声明多个类型参数，使用逗号分隔开。

使用

     如下所示：

public class Test{
    public static void main(String[] args){
        Box<Integer> box1 = new Box<>(2); //后面的<>里面可以省略Integer
        Box<String> box2 = new Box<String>("hello");
        System.out.println(box1.getValue());
        System.out.println(box2.getValue());
    }
}
结果：
2
hello

泛型方法

      定义：

• 所有泛型方法声明都有一个类型参数声明部分（由尖括号分隔），该类型参数声明部分在方法返回类型之前（在下面例子中的<E>）。
• 每一个类型参数声明部分包含一个或多个类型参数，参数间用逗号隔开。一个泛型参数，也被称为一个类型变量，是用于指定一个泛型类型名称的标识符。
• 类型参数能被用来声明返回值类型，并且能作为泛型方法得到的实际参数类型的占位符。
• 泛型方法体的声明和其他方法一样。注意类型参数只能代表引用型类型，不能是原始类型（像int,double,char的等）。

类型通配符

      类型通配符是使用?代替具体的类型参数。例如 List<?> 在逻辑上是List<String>,List<Integer> 等所有List<具体类型实参>的父类。

非限定通配符

      形如<?>，表示通配符泛型值接受所有类型。

限定通配符上限

      <? extends T>表示该通配符所代表的类型是T类型及T类型的子类。

限定通配符下限

     形如<? super T>，表示通配符所代表的类型是T类型的父类，只能接收T及其三层父类类型。

注意事项

• 泛型类型参数不能使用基本数据类型指定，基本数据类型要写成其包装类型。

          例如使用new ArrayList<int>()是不合法的。因为类型擦除后会替换成Object(如果通过extends设置了上限，则替换成上限类型)，int显然无法替换成Object，所以泛型参数必须是引用类型。

• 泛型类型参数是使用new对象时确定。若不指定泛型类型，则默认使用Object类型。
• 在JDK1.7以后，指定泛型可以省略最后"<>"中的类型。

泛型的优点

• 减少了强制类型转换的操作
• 在编译时期进行类型检查，避免了很多运行时期才能发现的错误

参考：

https://www.jianshu.com/p/5972220efc9a

https://www.runoob.com/java/java-generics.html