【Java】泛型

泛型（Generic）：它是变量类型的参数化，允许在定义类和接口的时候适用类型参数。

有了泛型之后，可以告诉编译器每个集合中接受哪些对象类型，编译期自动为你的插入进行转化，并在编译时告知是否插入了类型错误的对象，这样额可以是程序更加安全，也更加清楚。

泛型为什么出现：

在没有泛型之前，存入集合中元素可以是任何类型，当从集合中取出时，所有的元素都是Object类型，需要进行向下的强制类型转换，转换到特定的类型。

顺序表本身是一种抽象数据类型，保存的数据不只是int型。

如果没有泛型的支持，我们必须为每一种要保存的类型定义一个顺序表类。

为了解决这个问题：

第一阶段：1）Object是所有类的基类

2）多态：基类的引用可以指向任何子类的对象

class ArrayList{ int [] array; int size; } class ArrayList{ Object[] array; int size; }

(Object引用可以指向任何类的对象)

第一阶段的方案引入新的问题：

写代码的人必须一直记得顺序表中的元素类型，否则就会出现元素异常：ClassCastException

//Object[] class Person{}; ArrayList list=new ArrayList(); List.add(new Person()); String o=(String)list.get(0);

错误：String类类型的引用不可以指向Person类型的对象

由此，泛型诞生

泛型出现的原因：

1.为了解决类似顺序表这样的结构，支持通用类型元素类型

2.Object

1)Object是所有类的基类

2)基类的引用可以指向任何对

class ArrayList{ Object [] array; int size; }

3.这种解决方案，无法在编译 期间快速找到一些问题

ArrayList list =new ArrayList(); list.add(new Person()); String s=(String)list.get(0);

//list第0个下标处，实际的对象类型时Person

String 引用无法指向这个对象，运行期间会抛出异常：ClassCastException

前提：错误越早发现越好

a.写代码的时候，IDEA用~提示错误

b.编译期间java报错

c.运行期间去报错（不好）

为了让错误尽可能在编译期间出现，引入了泛型

一.泛型类

定义泛型类

[访问修饰符] class类名<T1,T2>{
   T1 泛型成员1；
   T2泛型成员2；
}

适用泛型类

new ArrayList<String>();

类型变量实参：Type Variable Argument

1.嵌套

ArrayList<String>p=……； ArrayList<> q=……；//q的元素期望是：ArrayList<String> ArrayList<ArrayList<String>>q;

2.类型推导 Type

ArrayList<String>p=new ArrayList<>();

3.多类型参数

Map <String,Integer>成绩；

泛型是编译期间的魔法，类的字节码中就没有泛型了，运行期间更没有