泛型（Generic）

        泛型是Java SE 1.5的新特性，泛型的本质是参数化类型，也就是说所操作的数据类型被指定为一个参数。这种参数类型可以用在类、接口和方法的创建中，分别称为泛型类、泛型接口、泛型方法。Java语言引入泛型的好处是安全简单。

        在Java SE 1.5之前，没有泛型的情况的下，通过对类型Object的引用来实现参数的“任意化”，“任意化”带来的缺点是要做显式的强制类型转换，而这种转换是要求开发者对实际参数类型可以预知的情况下进行的。对于强制类型转换错误的情况，编译器可能不提示错误，在运行的时候才出现异常，这是一个安全隐患。泛型的好处是在编译的时候检查类型安全，并且所有的强制转换都是自动和隐式的，提高代码的重用率。

ArrayList<String> str1 = new ArrayList<String>();//泛型用法。告诉编译器str1里装的是String类型

        泛型是提供给javac编译器使用的，可以限定集合中的输入类型，让编译器挡住源程序中的非法输入，编译器编译带类型说明的集合时会去掉“类型”信息，使程序运行效率不受影响，对于参数化的泛型类型，个体Class（）方法的返回值和原始类型完全一样。由于编译生成的字节码会去掉泛型的类型信息，只要能跳过编译器，就可以往某个泛型集合中加入其他类型的输入。

做一个简单实验，代码如下。

package com.itheima.shipin.fanxing;

import java.lang.reflect.Constructor;
import java.util.ArrayList;

public class GenericTest {

	public static void main(String[] args) throws Exception {

		//查看两种泛型设置的参数类型
		ArrayList<String> str1 = new ArrayList<String>();
		ArrayList<Integer> str2 = new ArrayList<Integer>();

		System.out.println(str1.getClass() == str2.getClass());

	}
}

运行结果

true

泛型规则和限制

1、泛型的类型参数只能是类类型（包括自定义类），不能是简单类型。

2、同一种泛型可以对应多个版本（因为参数类型是不确定的），不同版本的泛型类实例是不兼容的。

3、泛型的类型参数可以有多个。

4、泛型的参数类型可以使用extends语句，例如<T extends superclass>。习惯上称为“有界类型”。

5、泛型的参数类型还可以是通配符类型。例如Class<?> classType = Class.forName("java.lang.String");

参数化类型与原始类型的兼容性：

      参数化类型可以引用一个原始类型的对象，编译报告警告

Collection<String> c=new Vector();

      原始类型可以引用一个参数化类型的对象，编译报告警告

Collection c=new Vector<String>();//原来的方法接受一个集合参数，新的类型也要能传进去

参数化类型不考虑类型参数的继承关系：

Vector<String> v=new Vector<Object>();//错误，不写<Object>没错。

Vector<Object> v=new Vector<String>();//错误

在创建数组实例时，数组的元素不能使用参数化的类型，例如下面语句有错误：

Vector<Integer> vectorList[]=new Vector<Integer>[10];