理解Java中的泛型（一）

摘要：参数化的类型其中是参数化的类型。类型参数的实例或实际类型参数其中是类型参数的实例或实际类型参数。它们并没有重载，而且泛型中也不存在重载这一说法。除此之外，我们应该尽量地多用泛型方法，而减少对整个类的泛化，因为泛型方法更容易把事情说明白。

泛型是适用于许多许多的类型 ---《JAVA编程思想》

在Java的面向对象编程过程中， 或许你知道运用继承、接口等一系列面向对象的动作来实现代码复用，解耦等目的。 但是你知道的，原始类的继承是单继承，而接口更是把类型协议写死了。我们的代码能否不要这么死板（当然你可以认为那是完美的）， 我们的代码能否适用于更多的不具体的类型？代码更加通用？甚至这个类型你自己都不知道？，没错，在JDK1.5中，JAVA引入了一个新的代码泛化机制---泛型。

原始类型

List users=new ArrayList();
其中List是原始类型。

参数化的类型

List users=new ArrayList<>();
其中List是参数化的类型。 即把原始类型参数化了。

泛型类型

List users=new ArrayList<>();  
其中List是泛型类型。 

类型变量或类型参数

List users=new ArrayList<>();
其中是类型变量或类型参数。 即一个指向某种类型的变量。 大家知道函数形成参，这里可以看做是"类型形参”。

类型参数的实例或实际类型参数

List users=new ArrayList<>();
其中是类型参数的实例或实际类型参数。  大家知道函数实参，这里可以看做是"类型实参”。

在JDK1.5版本以前，我们使用List集合get数据是需要转型的，如下

List users=new ArrayList<>();

users.add("armstrong");

String user = (String) users.get(0);

上面代码中，List集合是可以传入任何Object及它的子类的。我们传入一个String类型的数据，取出来默认是Object，所以你需要转型。使用原始类型的弊端：在程序运行起来的时候，可能会出现转型失败的异常。那么补救方法呢？

Jdk1.5里面是这样定义List：

public interface List extends Collection {    
         
  int size();
       
  boolean isEmpty();
         
   T[] toArray(T[] a);
        
  boolean add(E e);

        ...
 }

你可以看到List类这个原始类型，定义成了接口List泛型类型。类、接口的泛型定义方式是一样的，那么我们可以这样编写之前那段代码：

List  usersGenertor=new ArrayList<>();

usersGenertor.add("armstrong");

String userS =   usersGenertor.get(0);

而且，此时List这个泛型类型集合里面只能添加String类型的对象，其他任何类型的不能添加。这样就保证了我们在编写代码的时候（甚至是编译期间）就能发现代码可能会暴漏隐患的地方。下面代码不能编译：

 List  usersGenertor=new ArrayList<>();
 
 usersGenertor.add(new Object());// error，此处不能添加Object类型
 
 usersGenertor.add(123);// error，此处不能添加Integer类型
 
 String userS =   usersGenertor.get(0);

为了更好的解释泛型的概念。打个比方，我们知道达尔文的《进化论》中说人和猴子的祖先都是猿。但是人只能生人 猴子只能生猴子，虽然有共同的祖先，但是人类不等于猴类 我们也不能说人是猿。人不等于猿~ 那么List后面跟着一个类型变量T，就是指List只能持有指定类型的元素，如果T如果被String替代，那么List就只能持有String, 而List