Java泛型（Generics Type)

术语：
formal parameters  形式参数
type parameters  类型参数
raw type 原型类型

1. 为什么使用泛型(Generics)
简单来说，泛型就是在定义类，接口和方法时，能够使用类型（classes和interface）作为参数。正如在方法定义中使用形式参数一样，泛型提供了一种在不同类型的输入情况下能够使用同样的方法代码。只是对于形式参数而言，输入的是值。而对于类型参数而言，输入的是类型。
使用泛型的优点：
1）在编译时，泛型会有强类型检查。当其违反类型安全时，会报错。
2）避免类型转换
List list = new ArrayList();

list.add("hello");

String s = (String)list.get(0);

     由于ArrayList中存储的是Object类型，所以get必须转型为String。

List<String> list = new ArrayList<String>();

list.add("hello");

list.get(0);

3）方便开发者实现泛型算法
  
2. 泛型的使用
从一个简单的Box类来说明。
public class Box {
private Object object;
public void set(Object object) { this.object = object;}
public Object get(){ return object;}
}
从上面的例子可以看出，Box类的set方法可以接受任何类型，赋值给Object对象。对于这种情况，由于在编译时没有类型检测，无法检测Box类的使用。很可能出现我们需要得到一个Integer类型，却传进去一个String类型，导致运行时错误。
但是，如果我们将其转化为泛型，就不会出现这种问题。
public class Box<T> {
private T t;
public void set(T t) {this.t = t;}
public T get(){ return t;}
}
3. 泛型的命名
  泛型通常命名形式如下：

E   Element(Java Collections FW的扩展)

K   Key

  N   Number

  T   Type

V   Value

S,U,V etc    2nd,3rd,4th types

4. 引用和实例化泛型
  泛型引用时，必须将T用具体类型替代，如integer。
Box<integer> b;
  使用泛型的类的实例化：
Box<integer> b = new Box<integer>();
5. Raw Types
  Raw type就是未指定具体类型的泛型类或接口，对于泛型类Box:
public class Box<T> {
public void set(T){…}
…
  }
  Raw Type:  Box rawBox = new Box();
  我们在开发中经常使用的ArrayList,就是一个泛型类，其Raw Type为：
ArrayList list = new ArrayList();
  我们在开发中应避免使用raw type.

6. 泛型方法
  泛型方法引入了自己的类型参数，参数的范围仅限于方法内。静态与非静态的泛型方法都是允许的。
  泛型方法语法：
public class Util{
public static <K,V> boolean compare(Pair<K,V> p1,Pair<K,V>p2) {
return p1.getKey().equals(p2.getKey()) && p1.getValue().equal(p2.getValue());
}
}

public class Pair<K,V> {
private K key;
private V value;

public void setKey(K key){ this.key = key; }
public K getKey() { return key;}
…
}

  泛型方法的调用：

    Pair<Integer,String> p1 = new Pair<>(1,”apple”);

Pair<Integer,String> p2 = new Pair<>(2,”pear”);

Boolean same = Util.<Integer,String>compare(p1,p2); //<Integer,String>可省略

未完待续。。。