015_泛型概念

1. 泛型的概念

1.1. 泛型的定义: 泛型就是参数化类型。

1.2. 泛型是JDK 1.5的一项新特性, 它的本质是参数化类型(Parameterized Type)的应用, 也就是说所操作的数据类型被指定为一个参数, 在用到的时候在指定具体的类型。

2. 参数化类型

2.1. 参数可以简单分为: 形参, 实参, 类型形参, 类型实参。

2.2. 参数, 最熟悉的就是定义方法时有形参, 然后调用此方法时传递实参。

2.3. 参数化类型就是将原来的具体的类型参数化, 类似于方法中的变量参数，此时类型也定义成参数形式(可以称之为类型形参), 然后在使用/调用时传入具体的类型(类型实参)。

2.4. 参数类型可以用在类、接口和方法的定义中，分别称为泛型类、泛型接口和泛型方法。

3. 为什么会出现泛型

3.1. 泛型思想早在C++语言的模板(Templates)中就开始生根发芽, 在Java语言处于还没有出现泛型的版本时, 只能通过Object是所有类型的父类和类型强制转换两个特点的配合来实现类型泛化。例如在哈希表的存取中, JDK 1.5之前使用HashMap的get()方法, 返回值就是一个Object对象, 由于Java语言里面所有的类型都继承于java.lang.Object, 那Object转型为任何对象成都是有可能的。但是也因为有无限的可能性, 就只有程序员和运行期的虚拟机才知道这个Object到底是个什么类型的对象。在编译期间, 编译器无法检查这个Object的强制转型是否成功, 如果仅仅依赖程序员去保障这项操作的正确性,许多ClassCastException的风险就会被转嫁到程序运行期之中。

4. 真实泛型

泛型技术在C#和Java之中的使用方式看似相同，但实现上却有着根本性的分歧，C#里面泛型无论在程序源码中、编译后的IL中(Intermediate Language, 中间语言, 这时候泛型是一个占位符)或是运行期的CLR中都是切实存在的, List与List就是两个不同的类型(泛型占位符可能是不一样的), 它们在系统运行期生成, 有自己的虚方法表和类型数据,这种实现称为类型膨胀，基于这种方法实现的泛型被称为真实泛型。

5. 伪泛型

5.1. java语言中的泛型则不一样，它只在程序源码中存在，在编译后的字节码文件中，就已经被替换为原来的原始类型(Raw Type，也称为裸类型)了, 并且在相应的地方插入了强制转型代码，因此对于运行期的java语言来说，ArrayList与ArrayList就是同一个类型(运行时已经是原始类型, 所以是同一类型)。所以说泛型技术实际上是java语言的一颗语法糖，java语言中的泛型实现方法称为类型擦除，基于这种方法实现的泛型被称为伪泛型。

5.2. 泛型确实是在编译阶段起作用，在生成的class文件中就没有了泛型信息，但是运行时是怎么找到原本的类型信息的呢? 其实还是强制类型转换，编译器将之前用到从泛型对象的地方自动添加了强制类型转换。

6. Java泛型的作用

6.1. 减少运行时期的类型转换异常, 增加编译的时候对类型的检查, 具有更好的安全性和易读性。

6.2. 泛型程序设计(Generic Programming)意味着编写的代码可以被很多不同类型的对象所重用。