夯实Java基础系列13：深入理解Java中的泛型

目录

• • java技术江湖

本系列文章将整理到我在github上的《java面试指南》仓库，更多精彩内容请到我的仓库里查看

https://github.com/h2pl/java-tutorial

喜欢的话麻烦点下star、fork、watch三连哈，感谢你的支持。

文章首发于我的个人博客：

www.how2playlife.com

本文是微信公众号【java技术江湖】的《夯实java基础系列博文》其中一篇，本文部分内容来源于网络，为了把本文主题讲得清晰透彻，也整合了很多我认为不错的技术博客内容，引用其中了一些比较好的博客文章，如有侵权，请联系作者。

该系列博文会告诉你如何从入门到进阶，一步步地学习java基础知识，并上手进行实战，接着了解每个java知识点背后的实现原理，更完整地了解整个java技术体系，形成自己的知识框架。为了更好地总结和检验你的学习成果，本系列文章也会提供每个知识点对应的面试题以及参考答案。

@
如果对本系列文章有什么建议，或者是有什么疑问的话，也可以关注公众号【java技术江湖】联系作者，欢迎你参与本系列博文的创作和修订。

泛型概述

泛型在java中有很重要的地位，在面向对象编程及各种设计模式中有非常广泛的应用。

什么是泛型？为什么要使用泛型？

泛型，即“参数化类型”。一提到参数，最熟悉的就是定义方法时有形参，然后调用此方法时传递实参。那么参数化类型怎么理解呢？顾名思义，就是将类型由原来的具体的类型参数化，类似于方法中的变量参数，此时类型也定义成参数形式（可以称之为类型形参），然后在使用/调用时传入具体的类型（类型实参）。

泛型的本质是为了参数化类型（在不创建新的类型的情况下，通过泛型指定的不同类型来控制形参具体限制的类型）。也就是说在泛型使用过程中，操作的数据类型被指定为一个参数，这种参数类型可以用在类、接口和方法中，分别被称为泛型类、泛型接口、泛型方法。

一个栗子

一个被举了无数次的例子：

list arraylist = new arraylist();
arraylist.add("aaaa");
arraylist.add(100);

for(int i = 0; i< arraylist.size();i++){
    string item = (string)arraylist.get(i);
    log.d("泛型测试","item = " + item);
}

毫无疑问，程序的运行结果会以崩溃结束：

java.lang.classcastexception: java.lang.integer cannot be cast to java.lang.string

arraylist可以存放任意类型，例子中添加了一个string类型，添加了一个integer类型，再使用时都以string的方式使用，因此程序崩溃了。为了解决类似这样的问题（在编译阶段就可以解决），泛型应运而生。

我们将第一行声明初始化list的代码更改一下，编译器会在编译阶段就能够帮我们发现类似这样的问题。

list arraylist = new arraylist();
...
//arraylist.add(100); 在编译阶段，编译器就会报错

特性

泛型只在编译阶段有效。看下面的代码：

list<string> stringarraylist = new arraylist<string>();
list<integer> integerarraylist = new arraylist<integer>();

class classstringarraylist = stringarraylist.getclass();
class classintegerarraylist = integerarraylist.getclass();

if(classstringarraylist.equals(classintegerarraylist)){
    log.d("泛型测试","类型相同");
}

通过上面的例子可以证明，在编译之后程序会采取去泛型化的措施。也就是说java中的泛型，只在编译阶段有效。在编译过程中，正确检验泛型结果后，会将泛型的相关信息擦出，并且在对象进入和离开方法的边界处添加类型检查和类型转换的方法。也就是说，泛型信息不会进入到运行时阶段。

对此总结成一句话：泛型类型在逻辑上看以看成是多个不同的类型，实际上都是相同的基本类型。

泛型的使用方式

泛型有三种使用方式，分别为：泛型类、泛型接口、泛型方法

泛型类

泛型类型用于类的定义中，被称为泛型类。通过泛型可以完成对一组类的操作对外开放相同的接口。最典型的就是各种容器类，如：list、set、map。

泛型类的最基本写法（这么看可能会有点晕，会在下面的例子中详解）：

class 类名称 <泛型标识：可以随便写任意标识号，标识指定的泛型的类型>{
  private 泛型标识 /*（成员变量类型）*/ var; 
  .....

  }

一个最普通的泛型类：

//此处t可以随便写为任意标识，常见的如t、e、k、v等形式的参数常用于表示泛型

//在实例化泛型类时，必须指定t的具体类型
public class generic<t>{
    //在类中声明的泛型整个类里面都可以用，除了静态部分，因为泛型是实例化时声明的。
    //静态区域的代码在编译时就已经确定，只与类相关
    class a <e>{
        t t;
    }
    //类里面的方法或类中再次声明同名泛型是允许的，并且该泛型会覆盖掉父类的同名泛型t
    class b <t>{
        t t;
    }
    //静态内部类也可以使用泛型，实例化时赋予泛型实际类型
    static class c <t> {
        t t;
    }
    public static void main(string[] args) {
        //报错，不能使用t泛型，因为泛型t属于实例不属于类
//        t t = null;
    }

    //key这个成员变量的类型为t,t的类型由外部指定
    private t key;

    public generic(t key) { //泛型构造方法形参key的类型也为t，t的类型由外部指定
        this.key = key;
    }

    public t getkey(){ //泛型方法getkey的返回值类型为t，t的类型由外部指定
        return key;
    }
}

12-27 09:20:04.432 13063-13063/? d/泛型测试: key is 123456

12-27 09:20:04.432 13063-13063/? d/泛型测试: key is key_vlaue

定义的泛型类，就一定要传入泛型类型实参么？并不是这样，在使用泛型的时候如果传入泛型实参，则会根据传入的泛型实参做相应的限制，此时泛型才会起到本应起到的限制作用。如果不传入泛型类型实参的话，在泛型类中使用泛型的方法或成员变量定义的类型可以为任何的类型。

看一个例子：

generic generic = new generic("111111");
generic generic1 = new generic(4444);
generic generic2 = new generic(55.55);
generic generic3 = new generic(false);

log.d("泛型测试","key is " + generic.getkey());
log.d("泛型测试","key is " + generic1.getkey());
log.d("泛型测试","key is " + generic2.getkey());
log.d("泛型测试","key is " + generic3.getkey());

d/泛型测试: key is 111111
d/泛型测试: key is 4444
d/泛型测试: key is 55.55
d/泛型测试: key is false

注意：
泛型的类型参数只能是类类型，不能是简单类型。
不能对确切的泛型类型使用instanceof操作。如下面的操作是非法的，编译时会出错。
if(ex_num instanceof generic){
}

泛型接口

泛型接口与泛型类的定义及使用基本相同。泛型接口常被用在各种类的生产器中，可以看一个例子：

//定义一个泛型接口
public interface generator<t> {
    public t next();
}

当实现泛型接口的类，未传入泛型实参时：

/**
 * 未传入泛型实参时，与泛型类的定义相同，在声明类的时候，需将泛型的声明也一起加到类中
 * 即：class fruitgenerator<t> implements generator<t>{
 * 如果不声明泛型，如：class fruitgenerator implements generator<t>，编译器会报错："unknown class"
 */
class fruitgenerator<t> implements generator<t>{
    @override
    public t next() {
        return null;
    }
}

当实现泛型接口的类，传入泛型实参时：

/**
 * 传入泛型实参时：
 * 定义一个生产器实现这个接口,虽然我们只创建了一个泛型接口generator<t>
 * 但是我们可以为t传入无数个实参，形成无数种类型的generator接口。
 * 在实现类实现泛型接口时，如已将泛型类型传入实参类型，则所有使用泛型的地方都要替换成传入的实参类型
 * 即：generator<t>，public t next();中的的t都要替换成传入的string类型。
 */
public class fruitgenerator implements generator<string> {

    private string[] fruits = new string[]{"apple", "banana", "pear"};

    @override
    public string next() {
        random rand = new random();
        return fruits[rand.nextint(3)];
    }
}

泛型通配符

我们知道ingeter是number的一个子类，同时在特性章节中我们也验证过generic与generic实际上是相同的一种基本类型。那么问题来了，在使用generic作为形参的方法中，能否使用generic的实例传入呢？在逻辑上类似于generic和generic是否可以看成具有父子关系的泛型类型呢？

为了弄清楚这个问题，我们使用generic这个泛型类继续看下面的例子：

public void showkeyvalue1(generic<number> obj){
    log.d("泛型测试","key value is " + obj.getkey());
}

generic<integer> ginteger = new generic<integer>(123);
generic<number> gnumber = new generic<number>(456);

showkeyvalue(gnumber);

// showkeyvalue这个方法编译器会为我们报错：generic<java.lang.integer> 
// cannot be applied to generic<java.lang.number>
// showkeyvalue(ginteger);

通过提示信息我们可以看到generic不能被看作为`generic的子类。由此可以看出:同一种泛型可以对应多个版本（因为参数类型是不确定的），不同版本的泛型类实例是不兼容的。

回到上面的例子，如何解决上面的问题？总不能为了定义一个新的方法来处理generic类型的类，这显然与java中的多台理念相违背。因此我们需要一个在逻辑上可以表示同时是generic和generic父类的引用类型。由此类型通配符应运而生。

我们可以将上面的方法改一下：

public void showkeyvalue1(generic<?> obj){
    log.d("泛型测试","key value is " + obj.getkey());

类型通配符一般是使用？代替具体的类型实参，注意， 此处的？和number、string、integer一样都是一种实际的类型，可以把？看成所有类型的父类。是一种真实的类型。

可以解决当具体类型不确定的时候，这个通配符就是 ? ；当操作类型时，不需要使用类型的具体功能时，只使用object类中的功能。那么可以用 ? 通配符来表未知类型

public void showkeyvalue(generic obj){
system.out.println(obj);
}

generic<integer> ginteger = new generic<integer>(123);
generic<number> gnumber = new generic<number>(456);

public void test () {
//        showkeyvalue(ginteger);该方法会报错
    showkeyvalue1(ginteger);
}

public void showkeyvalue1(generic<?> obj) {
    system.out.println(obj);
}
// showkeyvalue这个方法编译器会为我们报错：generic<java.lang.integer>
// cannot be applied to generic<java.lang.number>
// showkeyvalue(ginteger);

。

泛型方法

在java中,泛型类的定义非常简单，但是泛型方法就比较复杂了。

尤其是我们见到的大多数泛型类中的成员方法也都使用了泛型，有的甚至泛型类中也包含着泛型方法，这样在初学者中非常容易将泛型方法理解错了。
泛型类，是在实例化类的时候指明泛型的具体类型；泛型方法，是在调用方法的时候指明泛型的具体类型 。

/**
 * 泛型方法的基本介绍
 * @param tclass 传入的泛型实参
 * @return t 返回值为t类型
 * 说明：
 *     1）public 与 返回值中间<t>非常重要，可以理解为声明此方法为泛型方法。
 *     2）只有声明了<t>的方法才是泛型方法，泛型类中的使用了泛型的成员方法并不是泛型方法。
 *     3）<t>表明该方法将使用泛型类型t，此时才可以在方法中使用泛型类型t。
 *     4）与泛型类的定义一样，此处t可以随便写为任意标识，常见的如t、e、k、v等形式的参数常用于表示泛型。
 */
    public <t> t genericmethod(class<t> tclass)throws instantiationexception ,
      illegalaccessexception{
            t instance = tclass.newinstance();
            return instance;
    }

object obj = genericmethod(class.forname("com.test.test"));

泛型方法的基本用法

光看上面的例子有的同学可能依然会非常迷糊，我们再通过一个例子，把我泛型方法再总结一下。

/** 
 * 这才是一个真正的泛型方法。
 * 首先在public与返回值之间的<t>必不可少，这表明这是一个泛型方法，并且声明了一个泛型t
 * 这个t可以出现在这个泛型方法的任意位置.
 * 泛型的数量也可以为任意多个 
 *    如：public <t,k> k showkeyname(generic<t> container){
 *        ...
 *        }
 */

    public class 泛型方法 {
    @test
    public void test() {
        test1();
        test2(new integer(2));
        test3(new int[3],new object());

        //打印结果
//        null
//        2
//        [i@3d8c7aca
//        java.lang.object@5ebec15
    }
    //该方法使用泛型t
    public <t> void test1() {
        t t = null;
        system.out.println(t);
    }
    //该方法使用泛型t
    //并且参数和返回值都是t类型
    public <t> t test2(t t) {
        system.out.println(t);
        return t;
    }

    //该方法使用泛型t,e
    //参数包括t,e
    public <t, e> void test3(t t, e e) {
        system.out.println(t);
        system.out.println(e);
    }
}

​

类中的泛型方法

当然这并不是泛型方法的全部，泛型方法可以出现杂任何地方和任何场景中使用。但是有一种情况是非常特殊的，当泛型方法出现在泛型类中时，我们再通过一个例子看一下

//注意泛型类先写类名再写泛型，泛型方法先写泛型再写方法名
//类中声明的泛型在成员和方法中可用
class a <t, e>{
    {
        t t1 ;
    }
    a (t t){
        this.t = t;
    }
    t t;

    public void test1() {
        system.out.println(this.t);
    }

    public void test2(t t,e e) {
        system.out.println(t);
        system.out.println(e);
    }
}
@test
public void run () {
    a <integer,string > a = new a<>(1);
    a.test1();
    a.test2(2,"ds");
//        1
//        2
//        ds
}

static class b <t>{
    t t;
    public void go () {
        system.out.println(t);
    }
}

泛型方法与可变参数

再看一个泛型方法和可变参数的例子：

public class 泛型和可变参数 {
    @test
    public void test () {
        printmsg("dasd",1,"dasd",2.0,false);
        print("dasdas","dasdas", "aa");
    }
    //普通可变参数只能适配一种类型
    public void print(string ... args) {
        for(string t : args){
            system.out.println(t);
        }
    }
    //泛型的可变参数可以匹配所有类型的参数。。有点无敌
    public <t> void printmsg( t... args){
        for(t t : args){
            system.out.println(t);
        }
    }
        //打印结果：
    //dasd
    //1
    //dasd
    //2.0
    //false

}

静态方法与泛型

静态方法有一种情况需要注意一下，那就是在类中的静态方法使用泛型：静态方法无法访问类上定义的泛型；如果静态方法操作的引用数据类型不确定的时候，必须要将泛型定义在方法上。

即：如果静态方法要使用泛型的话，必须将静态方法也定义成泛型方法 。

public class staticgenerator<t> {
    ....
    ....
    /**
     * 如果在类中定义使用泛型的静态方法，需要添加额外的泛型声明（将这个方法定义成泛型方法）
     * 即使静态方法要使用泛型类中已经声明过的泛型也不可以。
     * 如：public static void show(t t){..},此时编译器会提示错误信息：
          "staticgenerator cannot be refrenced from static context"
     */
    public static <t> void show(t t){

    }
}

泛型方法总结

泛型方法能使方法独立于类而产生变化，以下是一个基本的指导原则：

无论何时，如果你能做到，你就该尽量使用泛型方法。也就是说，如果使用泛型方法将整个类泛型化，那么就应该使用泛型方法。另外对于一个static的方法而已，无法访问泛型类型的参数。所以如果static方法要使用泛型能力，就必须使其成为泛型方法。

泛型上下边界

在使用泛型的时候，我们还可以为传入的泛型类型实参进行上下边界的限制，如：类型实参只准传入某种类型的父类或某种类型的子类。

为泛型添加上边界，即传入的类型实参必须是指定类型的子类型

public class 泛型通配符与边界 {
    public void showkeyvalue(generic<number> obj){
        system.out.println("key value is " + obj.getkey());
    }
    @test
    public void main() {
        generic<integer> ginteger = new generic<integer>(123);
        generic<number> gnumber = new generic<number>(456);
        showkeyvalue(gnumber);
        //泛型中的子类也无法作为父类引用传入
//        showkeyvalue(ginteger);
    }
    //直接使用？通配符可以接受任何类型作为泛型传入
    public void showkeyvalueyeah(generic<?> obj) {
        system.out.println(obj);
    }
    //只能传入number的子类或者number
    public void showkeyvalue1(generic<? extends number> obj){
        system.out.println(obj);
    }

    //只能传入integer的父类或者integer
    public void showkeyvalue2(generic<? super integer> obj){
        system.out.println(obj);
    }

    @test
    public void testup () {
        //这一行代码编译器会提示错误，因为string类型并不是number类型的子类
        //showkeyvalue1(generic1);
        generic<string> generic1 = new generic<string>("11111");
        generic<integer> generic2 = new generic<integer>(2222);
        generic<float> generic3 = new generic<float>(2.4f);
        generic<double> generic4 = new generic<double>(2.56);

        showkeyvalue1(generic2);
        showkeyvalue1(generic3);
        showkeyvalue1(generic4);
    }

    @test
    public void testdown () {

        generic<string> generic1 = new generic<string>("11111");
        generic<integer> generic2 = new generic<integer>(2222);
        generic<number> generic3 = new generic<number>(2);
//        showkeyvalue2(generic1);本行报错，因为string并不是integer的父类
        showkeyvalue2(generic2);
        showkeyvalue2(generic3);
    }
}

== 关于泛型数组要提一下 ==

看到了很多文章中都会提起泛型数组，经过查看sun的说明文档，在java中是”不能创建一个确切的泛型类型的数组”的。

也就是说下面的这个例子是不可以的：

list<string>[] ls = new arraylist<string>[10];  

而使用通配符创建泛型数组是可以的，如下面这个例子：

list<?>[] ls = new arraylist<?>[10];  

这样也是可以的：

list<string>[] ls = new arraylist[10];

下面使用sun的一篇文档的一个例子来说明这个问题：

list<string>[] lsa = new list<string>[10]; // not really allowed.    
object o = lsa;    
object[] oa = (object[]) o;    
list<integer> li = new arraylist<integer>();    
li.add(new integer(3));    
oa[1] = li; // unsound, but passes run time store check    
string s = lsa[1].get(0); // run-time error: classcastexception.

这种情况下，由于jvm泛型的擦除机制，在运行时jvm是不知道泛型信息的，所以可以给oa[1]赋上一个arraylist而不会出现异常，但是在取出数据的时候却要做一次类型转换，所以就会出现classcastexception，如果可以进行泛型数组的声明，上面说的这种情况在编译期将不会出现任何的警告和错误，只有在运行时才会出错。

而对泛型数组的声明进行限制，对于这样的情况，可以在编译期提示代码有类型安全问题，比没有任何提示要强很多。
下面采用通配符的方式是被允许的:数组的类型不可以是类型变量，除非是采用通配符的方式，因为对于通配符的方式，最后取出数据是要做显式的类型转换的。

list<?>[] lsa = new list<?>[10]; // ok, array of unbounded wildcard type.    
object o = lsa;    
object[] oa = (object[]) o;    
list<integer> li = new arraylist<integer>();    
li.add(new integer(3));    
oa[1] = li; // correct.    
integer i = (integer) lsa[1].get(0); // ok 

最后

本文中的例子主要是为了阐述泛型中的一些思想而简单举出的，并不一定有着实际的可用性。另外，一提到泛型，相信大家用到最多的就是在集合中，其实，在实际的编程过程中，自己可以使用泛型去简化开发，且能很好的保证代码质量。

泛型常见面试题

1. java中的泛型是什么 ? 使用泛型的好处是什么?

这是在各种java泛型面试中，一开场你就会被问到的问题中的一个，主要集中在初级和中级面试中。那些拥有java1.4或更早版本的开发背景的人 都知道，在集合中存储对象并在使用前进行类型转换是多么的不方便。泛型防止了那种情况的发生。它提供了编译期的类型安全，确保你只能把正确类型的对象放入 集合中，避免了在运行时出现classcastexception。

1. java的泛型是如何工作的 ? 什么是类型擦除 ?

这是一道更好的泛型面试题。泛型是通过类型擦除来实现的，编译器在编译时擦除了所有类型相关的信息，所以在运行时不存在任何类型相关的信息。例如 list在运行时仅用一个list来表示。这样做的目的，是确保能和java 5之前的版本开发二进制类库进行兼容。你无法在运行时访问到类型参数，因为编译器已经把泛型类型转换成了原始类型。根据你对这个泛型问题的回答情况，你会 得到一些后续提问，比如为什么泛型是由类型擦除来实现的或者给你展示一些会导致编译器出错的错误泛型代码。请阅读我的java中泛型是如何工作的来了解更 多信息。

1. 什么是泛型中的限定通配符和非限定通配符 ?

这是另一个非常流行的java泛型面试题。限定通配符对类型进行了限制。有两种限定通配符，一种是<? extends t>它通过确保类型必须是t的子类来设定类型的上界，另一种是<? super t>它通过确保类型必须是t的父类来设定类型的下界。泛型类型必须用限定内的类型来进行初始化，否则会导致编译错误。另一方面<?>表 示了非限定通配符，因为<?>可以用任意类型来替代。更多信息请参阅我的文章泛型中限定通配符和非限定通配符之间的区别。

1. list<? extends t>和list <? super t>之间有什么区别 ?

这和上一个面试题有联系，有时面试官会用这个问题来评估你对泛型的理解，而不是直接问你什么是限定通配符和非限定通配符。这两个list的声明都是 限定通配符的例子，list<? extends t>可以接受任何继承自t的类型的list，而list<? super t>可以接受任何t的父类构成的list。例如list<? extends number>可以接受list或list。在本段出现的连接中可以找到更多信息。

1. 如何编写一个泛型方法，让它能接受泛型参数并返回泛型类型?

编写泛型方法并不困难，你需要用泛型类型来替代原始类型，比如使用t, e or k,v等被广泛认可的类型占位符。泛型方法的例子请参阅java集合类框架。最简单的情况下，一个泛型方法可能会像这样:

public v put(k key, v value) {

return cache.put(key, value);

}

1. java中如何使用泛型编写带有参数的类?

这是上一道面试题的延伸。面试官可能会要求你用泛型编写一个类型安全的类，而不是编写一个泛型方法。关键仍然是使用泛型类型来代替原始类型，而且要使用jdk中采用的标准占位符。

1. 编写一段泛型程序来实现lru缓存?

对于喜欢java编程的人来说这相当于是一次练习。给你个提示，linkedhashmap可以用来实现固定大小的lru缓存，当lru缓存已经满 了的时候，它会把最老的键值对移出缓存。linkedhashmap提供了一个称为removeeldestentry()的方法，该方法会被put() 和putall()调用来删除最老的键值对。当然，如果你已经编写了一个可运行的junit测试，你也可以随意编写你自己的实现代码。

1. 你可以把list传递给一个接受list

对任何一个不太熟悉泛型的人来说，这个java泛型题目看起来令人疑惑，因为乍看起来string是一种object，所以 list应当可以用在需要list