【Java修行之路】--巧妙的泛型类

泛型类

诞生原因

我们为了区分不同类型的数据并实施不同的操作方式，就有了数据类型的概念。
为了实现算法和数据类型的无关性以及容器（数据结构）与数据类型的无关性，泛型应运而生

简介

泛型的本质是数据类型参数化，也就是说，所操作的数据类型被指定为一个参数。这种类型变量可以用在类、接口和方法的创建上。

List <Apple> box = new ArrayList<Apple>();
box.add(new Apple());
Apple apple= box.get(0);

这种get方法返回的就是Apple类型，而不是Object类型。

能力与实战

1.自动类型推断

List <Apple> box = new ArrayList<>();
box.add(new Apple());
Apple apple= box.get(0);

上述第1行代码，编译器自动推断等号右边的尖括号中的泛型为Apple。

2.强化的推断能力

(1)支持通过上下文推断泛型目标类型。
(2)支持在方法调用链路当中，泛型类型推断传递到最后一个方法。
【官方例子】

class List<E>{
   static <z> List <z> nil(){...};
   static <z> List <z> cons(z head,List<z> tail){...};
   E head(){....}
   }

• 通过方法赋值的目标参数来自动推断泛型的类型

List<String> I = List.nil():
--------------------------------------
而不是显性地指定类型:
List<String> I= List.<String>nil();

• 通过前面方法参数类型推断泛型地类型

List.cons(42,List.nil());
--------------------------------------
而不是显性地指定类型：
List.cons(42,List.<Integer>nil());

3.局限性

• 不能使用泛型的形参创建对象和数组。

T o=new T();   // 不允许

T[] b = new T[10]; //错误

• 在泛型类中，不能给静态成员变量定义泛型

    public static T t; //错误
    public T getA(){  //正确

• 不能装基本数据类型（int、char、

Student<int> Stu= new Student<>()//错误

在泛型中不能使用基本数据类型，如果需要使用基本数据类型，那么就使用基本数据类型对应的包装类型。

byte —-> Byte

short —-> Short

int —-> Integer

long —-> Long

double —-> Double

float —-> Float

boolean—-> Boolean

char —-> Character