java12----------泛型

泛型：泛型是使类型可以参数传递。

好处：

1、可以让编译器更多的检查，同时简化了编写方法，杜绝了模型显式转化

2、代码的重复利用

泛型的类：可以是类，也可以是接口、数组类型、或者一种泛型。

泛型的定义：class name<T1, T2, ..., Tn> { /* ... */ }

泛型的声明与实例化：Box<Integer> integerBox = new Box<Integer>()

考虑java具有推测功能，会自动推测第二个的类型传递所以：可以写为

Box<Integer> integerBox = new Box<>()

 

原始类型：当没有对泛型的进行参数传递而定义的变量。：

Box rawBox = new Box()。原始类型引用可以赋类泛型变量，而泛型变量不能付原始类型

Box rawBox = new Box();           // rawBox is a raw type of Box<T>
Box<Integer> intBox = rawBox;     // warning: unchecked conversion

 @SuppressWarnings("unchecked") 

函数

 

泛型函数：泛型的类型定义在返回类型之前用<>表示。

statct <T>   T   get(T  t){}

object.<Integer> get(10);

 

类型参数的边界：当参数类型得边界限制为一种类型与类型的子类时，可以采用  extends 类型名表示。当有多个类型限制的时候采用&连接。

<T extends B1 & B2 & B3>

 

泛型的子类定义：

首先：box<Number>与box<Integer>没有关系

泛型的继承关系定义如下：
interface PayloadList<E,P> extends List<E> {
  void setPayload(int index, P val);
  ...
}