JAVA高级（3）—— 泛型

一、泛型的基本概念

1、概述

泛型的本质：参数化类型，也就是说所操作的数据类型被指定为一个参数，在用到的时候再指定具体的类型。

Java语言中的泛型只在源码中存在，在编译后的字节码文件中，就已经被替换为原来的原始类型了，并且在相应的地方插入了强制转型代码，因此对于运行期的Java语言来说，ArrayList<int>与ArrayList<String>就是同一个类。所以说泛型技术实际上是Java语言的一颗语法糖，基于这种方法实现的泛型被称为伪泛型。泛型提供了更好的安全性和可读性。

2、基本术语

泛型类型：整个成为ArrayList<E>
类型变量或者类型参数：ArrayList<E>中的 E
参数化的类型：整个ArrayList<Integer>
类型参数的实例：ArrayList<Integer>中的Integer
原始类型：ArrayList

二、泛型的使用

泛型的参数类型可以用在类、接口和方法的创建中，分别称为泛型类、泛型接口和泛型方法。

1、泛型类的定义

class Pair<T,U> {  
    ...
}  

2、泛型接口的定义

interface Show<T,U>{  
    void show(T t,U u);  
}  

3、泛型方法的定义

public static <T, U> T get(T t, U u) {  
    ... 
}  

三、泛型变量的类型限定

有的时候，类、接口或方法需要对类型变量加以约束。看下面的例子：

public static <T> T get(T t1,T t2) {  
        if(t1.compareTo(t2)>=0);//编译错误  
        return t1;  
}  

因为，在编译之前，也就是我们还在定义这个泛型方法的时候，我们并不知道这个泛型类型T，到底是什么类型，所以，只能默认T为原始类型Object。所以它只能调用来自于Object的那几个方法，而不能调compareTo方法。可我的本意就是要比较t1和t2，怎么办呢？这个时候，就要使用类型限定，对类型变量T设置限定来做到这一点。

我们知道，所有实现Comparable接口的方法，都会有compareTo方法。所以，可以对<T>做如下限定：

public static <T extends Comparable> T get(T t1,T t2) { //添加类型限定  
        if(t1.compareTo(t2)>=0);  
        return t1;  
}  

类型限定在泛型类、泛型接口和泛型方法中都可以使用，不过要注意下面几点：

• 不管限定是类还是接口，统一都使用关键字 extends（super）
• 可以使用&符号给出多个限定，比如
  public static <T extends Comparable&Serializable> T get(T t1,T t2)
• 如果限定既有接口也有类，那么类必须只有一个，并且放在首位置
  public static <T extends Object&Comparable&Serializable> T get(T t1,T t2)
• 类型通配符：? 表示任何类型
  void deal(List<? extends T> list)
• A是B的子类，则A[ ] 是 B[ ]的子类，但是List<A>不是List<B>的子类

参考文献

java泛型（一）、泛型的基本介绍和使用