夯實(shí)Java基礎(chǔ)系列13:深入理解Java中的泛型

本系列文章將整理到我在GitHub上的《Java面試指南》倉(cāng)庫(kù),更多精彩內(nèi)容請(qǐng)到我的倉(cāng)庫(kù)里查看

https://github.com/h2pl/Java-Tutorial

喜歡的話麻煩點(diǎn)下Star、Fork、Watch三連哈,感謝你的支持。

文章首發(fā)于我的個(gè)人博客:

www.how2playlife.com

本文是微信公眾號(hào)【Java技術(shù)江湖】的《夯實(shí)Java基礎(chǔ)系列博文》其中一篇,本文部分內(nèi)容來(lái)源于網(wǎng)絡(luò),為了把本文主題講得清晰透徹,也整合了很多我認(rèn)為不錯(cuò)的技術(shù)博客內(nèi)容,引用其中了一些比較好的博客文章,如有侵權(quán),請(qǐng)聯(lián)系作者。

該系列博文會(huì)告訴你如何從入門到進(jìn)階,一步步地學(xué)習(xí)Java基礎(chǔ)知識(shí),并上手進(jìn)行實(shí)戰(zhàn),接著了解每個(gè)Java知識(shí)點(diǎn)背后的實(shí)現(xiàn)原理,更完整地了解整個(gè)Java技術(shù)體系,形成自己的知識(shí)框架。為了更好地總結(jié)和檢驗(yàn)?zāi)愕膶W(xué)習(xí)成果,本系列文章也會(huì)提供每個(gè)知識(shí)點(diǎn)對(duì)應(yīng)的面試題以及參考答案。

@[toc]
如果對(duì)本系列文章有什么建議,或者是有什么疑問(wèn)的話,也可以關(guān)注公眾號(hào)【Java技術(shù)江湖】聯(lián)系作者,歡迎你參與本系列博文的創(chuàng)作和修訂。

泛型概述

泛型在java中有很重要的地位,在面向?qū)ο缶幊碳案鞣N設(shè)計(jì)模式中有非常廣泛的應(yīng)用。

什么是泛型?為什么要使用泛型?

泛型,即“參數(shù)化類型”。一提到參數(shù),最熟悉的就是定義方法時(shí)有形參,然后調(diào)用此方法時(shí)傳遞實(shí)參。那么參數(shù)化類型怎么理解呢?顧名思義,就是將類型由原來(lái)的具體的類型參數(shù)化,類似于方法中的變量參數(shù),此時(shí)類型也定義成參數(shù)形式(可以稱之為類型形參),然后在使用/調(diào)用時(shí)傳入具體的類型(類型實(shí)參)。

泛型的本質(zhì)是為了參數(shù)化類型(在不創(chuàng)建新的類型的情況下,通過(guò)泛型指定的不同類型來(lái)控制形參具體限制的類型)。也就是說(shuō)在泛型使用過(guò)程中,操作的數(shù)據(jù)類型被指定為一個(gè)參數(shù),這種參數(shù)類型可以用在類、接口和方法中,分別被稱為泛型類、泛型接口、泛型方法。

一個(gè)栗子

一個(gè)被舉了無(wú)數(shù)次的例子:

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("泛型測(cè)試","item = " + item);
}

毫無(wú)疑問(wèn),程序的運(yùn)行結(jié)果會(huì)以崩潰結(jié)束:

java.lang.ClassCastException: java.lang.Integer cannot be cast to java.lang.String

ArrayList可以存放任意類型,例子中添加了一個(gè)String類型,添加了一個(gè)Integer類型,再使用時(shí)都以String的方式使用,因此程序崩潰了。為了解決類似這樣的問(wèn)題(在編譯階段就可以解決),泛型應(yīng)運(yùn)而生。

我們將第一行聲明初始化list的代碼更改一下,編譯器會(huì)在編譯階段就能夠幫我們發(fā)現(xiàn)類似這樣的問(wèn)題。

List<String> arrayList = new ArrayList<String>();
...
//arrayList.add(100); 在編譯階段,編譯器就會(huì)報(bào)錯(cuò)

特性

泛型只在編譯階段有效??聪旅娴拇a:

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("泛型測(cè)試","類型相同");
}

通過(guò)上面的例子可以證明,在編譯之后程序會(huì)采取去泛型化的措施。也就是說(shuō)Java中的泛型,只在編譯階段有效。在編譯過(guò)程中,正確檢驗(yàn)泛型結(jié)果后,會(huì)將泛型的相關(guān)信息擦出,并且在對(duì)象進(jìn)入和離開方法的邊界處添加類型檢查和類型轉(zhuǎn)換的方法。也就是說(shuō),泛型信息不會(huì)進(jìn)入到運(yùn)行時(shí)階段。

對(duì)此總結(jié)成一句話:泛型類型在邏輯上看以看成是多個(gè)不同的類型,實(shí)際上都是相同的基本類型。

泛型的使用方式

泛型有三種使用方式,分別為:泛型類、泛型接口、泛型方法

泛型類

泛型類型用于類的定義中,被稱為泛型類。通過(guò)泛型可以完成對(duì)一組類的操作對(duì)外開放相同的接口。最典型的就是各種容器類,如:List、Set、Map。

泛型類的最基本寫法(這么看可能會(huì)有點(diǎn)暈,會(huì)在下面的例子中詳解):

class 類名稱 <泛型標(biāo)識(shí):可以隨便寫任意標(biāo)識(shí)號(hào),標(biāo)識(shí)指定的泛型的類型>{
  private 泛型標(biāo)識(shí) /*(成員變量類型)*/ var; 
  .....

  }

一個(gè)最普通的泛型類:

//此處T可以隨便寫為任意標(biāo)識(shí),常見的如T、E、K、V等形式的參數(shù)常用于表示泛型

//在實(shí)例化泛型類時(shí),必須指定T的具體類型
public class Generic<T>{
    //在類中聲明的泛型整個(gè)類里面都可以用,除了靜態(tài)部分,因?yàn)榉盒褪菍?shí)例化時(shí)聲明的。
    //靜態(tài)區(qū)域的代碼在編譯時(shí)就已經(jīng)確定,只與類相關(guān)
    class A <E>{
        T t;
    }
    //類里面的方法或類中再次聲明同名泛型是允許的,并且該泛型會(huì)覆蓋掉父類的同名泛型T
    class B <T>{
        T t;
    }
    //靜態(tài)內(nèi)部類也可以使用泛型,實(shí)例化時(shí)賦予泛型實(shí)際類型
    static class C <T> {
        T t;
    }
    public static void main(String[] args) {
        //報(bào)錯(cuò),不能使用T泛型,因?yàn)榉盒蚑屬于實(shí)例不屬于類
//        T t = null;
    }

    //key這個(gè)成員變量的類型為T,T的類型由外部指定
    private T key;

    public Generic(T key) { //泛型構(gòu)造方法形參key的類型也為T,T的類型由外部指定
        this.key = key;
    }

    public T getKey(){ //泛型方法getKey的返回值類型為T,T的類型由外部指定
        return key;
    }
}

12-27 09:20:04.432 13063-13063/? D/泛型測(cè)試: key is 123456

12-27 09:20:04.432 13063-13063/? D/泛型測(cè)試: key is key_vlaue

定義的泛型類,就一定要傳入泛型類型實(shí)參么?并不是這樣,在使用泛型的時(shí)候如果傳入泛型實(shí)參,則會(huì)根據(jù)傳入的泛型實(shí)參做相應(yīng)的限制,此時(shí)泛型才會(huì)起到本應(yīng)起到的限制作用。如果不傳入泛型類型實(shí)參的話,在泛型類中使用泛型的方法或成員變量定義的類型可以為任何的類型。

看一個(gè)例子:

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

Log.d("泛型測(cè)試","key is " + generic.getKey());
Log.d("泛型測(cè)試","key is " + generic1.getKey());
Log.d("泛型測(cè)試","key is " + generic2.getKey());
Log.d("泛型測(cè)試","key is " + generic3.getKey());

D/泛型測(cè)試: key is 111111
D/泛型測(cè)試: key is 4444
D/泛型測(cè)試: key is 55.55
D/泛型測(cè)試: key is false

注意:
泛型的類型參數(shù)只能是類類型,不能是簡(jiǎn)單類型。
不能對(duì)確切的泛型類型使用instanceof操作。如下面的操作是非法的,編譯時(shí)會(huì)出錯(cuò)。
if(ex_num instanceof Generic<Number>){
}

泛型接口

泛型接口與泛型類的定義及使用基本相同。泛型接口常被用在各種類的生產(chǎn)器中,可以看一個(gè)例子:

//定義一個(gè)泛型接口
public interface Generator<T> {
    public T next();
}

當(dāng)實(shí)現(xiàn)泛型接口的類,未傳入泛型實(shí)參時(shí):

/**
 * 未傳入泛型實(shí)參時(shí),與泛型類的定義相同,在聲明類的時(shí)候,需將泛型的聲明也一起加到類中
 * 即:class FruitGenerator<T> implements Generator<T>{
 * 如果不聲明泛型,如:class FruitGenerator implements Generator<T>,編譯器會(huì)報(bào)錯(cuò):"Unknown class"
 */
class FruitGenerator<T> implements Generator<T>{
    @Override
    public T next() {
        return null;
    }
}

當(dāng)實(shí)現(xiàn)泛型接口的類,傳入泛型實(shí)參時(shí):

/**
 * 傳入泛型實(shí)參時(shí):
 * 定義一個(gè)生產(chǎn)器實(shí)現(xiàn)這個(gè)接口,雖然我們只創(chuàng)建了一個(gè)泛型接口Generator<T>
 * 但是我們可以為T傳入無(wú)數(shù)個(gè)實(shí)參,形成無(wú)數(shù)種類型的Generator接口。
 * 在實(shí)現(xiàn)類實(shí)現(xiàn)泛型接口時(shí),如已將泛型類型傳入實(shí)參類型,則所有使用泛型的地方都要替換成傳入的實(shí)參類型
 * 即: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的一個(gè)子類,同時(shí)在特性章節(jié)中我們也驗(yàn)證過(guò)Generic<Ingeter>與Generic<Number>實(shí)際上是相同的一種基本類型。那么問(wèn)題來(lái)了,在使用Generic<Number>作為形參的方法中,能否使用Generic<Ingeter>的實(shí)例傳入呢?在邏輯上類似于Generic<Number>和Generic<Ingeter>是否可以看成具有父子關(guān)系的泛型類型呢?

為了弄清楚這個(gè)問(wèn)題,我們使用Generic<T>這個(gè)泛型類繼續(xù)看下面的例子:

public void showKeyValue1(Generic<Number> obj){
    Log.d("泛型測(cè)試","key value is " + obj.getKey());
}

Generic<Integer> gInteger = new Generic<Integer>(123);
Generic<Number> gNumber = new Generic<Number>(456);

showKeyValue(gNumber);

// showKeyValue這個(gè)方法編譯器會(huì)為我們報(bào)錯(cuò):Generic<java.lang.Integer> 
// cannot be applied to Generic<java.lang.Number>
// showKeyValue(gInteger);

通過(guò)提示信息我們可以看到Generic<Integer>不能被看作為`Generic<Number>的子類。由此可以看出:同一種泛型可以對(duì)應(yīng)多個(gè)版本(因?yàn)閰?shù)類型是不確定的),不同版本的泛型類實(shí)例是不兼容的。

回到上面的例子,如何解決上面的問(wèn)題?總不能為了定義一個(gè)新的方法來(lái)處理Generic<Integer>類型的類,這顯然與java中的多臺(tái)理念相違背。因此我們需要一個(gè)在邏輯上可以表示同時(shí)是Generic<Integer>和Generic<Number>父類的引用類型。由此類型通配符應(yīng)運(yùn)而生。

我們可以將上面的方法改一下:

public void showKeyValue1(Generic<?> obj){
    Log.d("泛型測(cè)試","key value is " + obj.getKey());

類型通配符一般是使用?代替具體的類型實(shí)參,注意, 此處的?和Number、String、Integer一樣都是一種實(shí)際的類型,可以把?看成所有類型的父類。是一種真實(shí)的類型。

可以解決當(dāng)具體類型不確定的時(shí)候,這個(gè)通配符就是 ? ;當(dāng)操作類型時(shí),不需要使用類型的具體功能時(shí),只使用Object類中的功能。那么可以用 ? 通配符來(lái)表未知類型

public void showKeyValue(Generic<Number> obj){
System.out.println(obj);
}

Generic<Integer> gInteger = new Generic<Integer>(123);
Generic<Number> gNumber = new Generic<Number>(456);

public void test () {
//        showKeyValue(gInteger);該方法會(huì)報(bào)錯(cuò)
    showKeyValue1(gInteger);
}

public void showKeyValue1(Generic<?> obj) {
    System.out.println(obj);
}
// showKeyValue這個(gè)方法編譯器會(huì)為我們報(bào)錯(cuò):Generic<java.lang.Integer>
// cannot be applied to Generic<java.lang.Number>
// showKeyValue(gInteger);

。

泛型方法

在java中,泛型類的定義非常簡(jiǎn)單,但是泛型方法就比較復(fù)雜了。

尤其是我們見到的大多數(shù)泛型類中的成員方法也都使用了泛型,有的甚至泛型類中也包含著泛型方法,這樣在初學(xué)者中非常容易將泛型方法理解錯(cuò)了。
泛型類,是在實(shí)例化類的時(shí)候指明泛型的具體類型;泛型方法,是在調(diào)用方法的時(shí)候指明泛型的具體類型 。

/**
 * 泛型方法的基本介紹
 * @param tClass 傳入的泛型實(shí)參
 * @return T 返回值為T類型
 * 說(shuō)明:
 *     1)public 與 返回值中間<T>非常重要,可以理解為聲明此方法為泛型方法。
 *     2)只有聲明了<T>的方法才是泛型方法,泛型類中的使用了泛型的成員方法并不是泛型方法。
 *     3)<T>表明該方法將使用泛型類型T,此時(shí)才可以在方法中使用泛型類型T。
 *     4)與泛型類的定義一樣,此處T可以隨便寫為任意標(biāo)識(shí),常見的如T、E、K、V等形式的參數(shù)常用于表示泛型。
 */
    public <T> T genericMethod(Class<T> tClass)throws InstantiationException ,
      IllegalAccessException{
            T instance = tClass.newInstance();
            return instance;
    }

Object obj = genericMethod(Class.forName("com.test.test"));

泛型方法的基本用法

光看上面的例子有的同學(xué)可能依然會(huì)非常迷糊,我們?cè)偻ㄟ^(guò)一個(gè)例子,把我泛型方法再總結(jié)一下。

/** 
 * 這才是一個(gè)真正的泛型方法。
 * 首先在public與返回值之間的<T>必不可少,這表明這是一個(gè)泛型方法,并且聲明了一個(gè)泛型T
 * 這個(gè)T可以出現(xiàn)在這個(gè)泛型方法的任意位置.
 * 泛型的數(shù)量也可以為任意多個(gè) 
 *    如: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());

        //打印結(jié)果
//        null
//        2
//        [I@3d8c7aca
//        java.lang.Object@5ebec15
    }
    //該方法使用泛型T
    public <T> void test1() {
        T t = null;
        System.out.println(t);
    }
    //該方法使用泛型T
    //并且參數(shù)和返回值都是T類型
    public <T> T test2(T t) {
        System.out.println(t);
        return t;
    }

    //該方法使用泛型T,E
    //參數(shù)包括T,E
    public <T, E> void test3(T t, E e) {
        System.out.println(t);
        System.out.println(e);
    }
}

?

類中的泛型方法

當(dāng)然這并不是泛型方法的全部,泛型方法可以出現(xiàn)雜任何地方和任何場(chǎng)景中使用。但是有一種情況是非常特殊的,當(dāng)泛型方法出現(xiàn)在泛型類中時(shí),我們?cè)偻ㄟ^(guò)一個(gè)例子看一下

//注意泛型類先寫類名再寫泛型,泛型方法先寫泛型再寫方法名
//類中聲明的泛型在成員和方法中可用
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);
    }
}

泛型方法與可變參數(shù)

再看一個(gè)泛型方法和可變參數(shù)的例子:

public class 泛型和可變參數(shù) {
    @Test
    public void test () {
        printMsg("dasd",1,"dasd",2.0,false);
        print("dasdas","dasdas", "aa");
    }
    //普通可變參數(shù)只能適配一種類型
    public void print(String ... args) {
        for(String t : args){
            System.out.println(t);
        }
    }
    //泛型的可變參數(shù)可以匹配所有類型的參數(shù)。。有點(diǎn)無(wú)敵
    public <T> void printMsg( T... args){
        for(T t : args){
            System.out.println(t);
        }
    }
        //打印結(jié)果:
    //dasd
    //1
    //dasd
    //2.0
    //false

}

靜態(tài)方法與泛型

靜態(tài)方法有一種情況需要注意一下,那就是在類中的靜態(tài)方法使用泛型:靜態(tài)方法無(wú)法訪問(wèn)類上定義的泛型;如果靜態(tài)方法操作的引用數(shù)據(jù)類型不確定的時(shí)候,必須要將泛型定義在方法上。

即:如果靜態(tài)方法要使用泛型的話,必須將靜態(tài)方法也定義成泛型方法 。

public class StaticGenerator<T> {
    ....
    ....
    /**
     * 如果在類中定義使用泛型的靜態(tài)方法,需要添加額外的泛型聲明(將這個(gè)方法定義成泛型方法)
     * 即使靜態(tài)方法要使用泛型類中已經(jīng)聲明過(guò)的泛型也不可以。
     * 如:public static void show(T t){..},此時(shí)編譯器會(huì)提示錯(cuò)誤信息:
          "StaticGenerator cannot be refrenced from static context"
     */
    public static <T> void show(T t){

    }
}

泛型方法總結(jié)

泛型方法能使方法獨(dú)立于類而產(chǎn)生變化,以下是一個(gè)基本的指導(dǎo)原則:

無(wú)論何時(shí),如果你能做到,你就該盡量使用泛型方法。也就是說(shuō),如果使用泛型方法將整個(gè)類泛型化,那么就應(yīng)該使用泛型方法。另外對(duì)于一個(gè)static的方法而已,無(wú)法訪問(wèn)泛型類型的參數(shù)。所以如果static方法要使用泛型能力,就必須使其成為泛型方法。

泛型上下邊界

在使用泛型的時(shí)候,我們還可以為傳入的泛型類型實(shí)參進(jìn)行上下邊界的限制,如:類型實(shí)參只準(zhǔn)傳入某種類型的父類或某種類型的子類。

為泛型添加上邊界,即傳入的類型實(shí)參必須是指定類型的子類型

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);
        //泛型中的子類也無(wú)法作為父類引用傳入
//        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 () {
        //這一行代碼編譯器會(huì)提示錯(cuò)誤,因?yàn)镾tring類型并不是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);本行報(bào)錯(cuò),因?yàn)镾tring并不是Integer的父類
        showKeyValue2(generic2);
        showKeyValue2(generic3);
    }
}

== 關(guān)于泛型數(shù)組要提一下 ==

看到了很多文章中都會(huì)提起泛型數(shù)組,經(jīng)過(guò)查看sun的說(shuō)明文檔,在java中是”不能創(chuàng)建一個(gè)確切的泛型類型的數(shù)組”的。

也就是說(shuō)下面的這個(gè)例子是不可以的:

List<String>[] ls = new ArrayList<String>[10];  

而使用通配符創(chuàng)建泛型數(shù)組是可以的,如下面這個(gè)例子:

List<?>[] ls = new ArrayList<?>[10];  

這樣也是可以的:

List<String>[] ls = new ArrayList[10];

下面使用Sun的一篇文檔的一個(gè)例子來(lái)說(shuō)明這個(gè)問(wèn)題:

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泛型的擦除機(jī)制,在運(yùn)行時(shí)JVM是不知道泛型信息的,所以可以給oa[1]賦上一個(gè)ArrayList而不會(huì)出現(xiàn)異常,但是在取出數(shù)據(jù)的時(shí)候卻要做一次類型轉(zhuǎn)換,所以就會(huì)出現(xiàn)ClassCastException,如果可以進(jìn)行泛型數(shù)組的聲明,上面說(shuō)的這種情況在編譯期將不會(huì)出現(xiàn)任何的警告和錯(cuò)誤,只有在運(yùn)行時(shí)才會(huì)出錯(cuò)。

而對(duì)泛型數(shù)組的聲明進(jìn)行限制,對(duì)于這樣的情況,可以在編譯期提示代碼有類型安全問(wèn)題,比沒有任何提示要強(qiáng)很多。
下面采用通配符的方式是被允許的:數(shù)組的類型不可以是類型變量,除非是采用通配符的方式,因?yàn)閷?duì)于通配符的方式,最后取出數(shù)據(jù)是要做顯式的類型轉(zhuǎn)換的。

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 

最后

本文中的例子主要是為了闡述泛型中的一些思想而簡(jiǎn)單舉出的,并不一定有著實(shí)際的可用性。另外,一提到泛型,相信大家用到最多的就是在集合中,其實(shí),在實(shí)際的編程過(guò)程中,自己可以使用泛型去簡(jiǎn)化開發(fā),且能很好的保證代碼質(zhì)量。

泛型常見面試題

  1. Java中的泛型是什么 ? 使用泛型的好處是什么?

這是在各種Java泛型面試中,一開場(chǎng)你就會(huì)被問(wèn)到的問(wèn)題中的一個(gè),主要集中在初級(jí)和中級(jí)面試中。那些擁有Java1.4或更早版本的開發(fā)背景的人 都知道,在集合中存儲(chǔ)對(duì)象并在使用前進(jìn)行類型轉(zhuǎn)換是多么的不方便。泛型防止了那種情況的發(fā)生。它提供了編譯期的類型安全,確保你只能把正確類型的對(duì)象放入 集合中,避免了在運(yùn)行時(shí)出現(xiàn)ClassCastException。

  1. Java的泛型是如何工作的 ? 什么是類型擦除 ?

這是一道更好的泛型面試題。泛型是通過(guò)類型擦除來(lái)實(shí)現(xiàn)的,編譯器在編譯時(shí)擦除了所有類型相關(guān)的信息,所以在運(yùn)行時(shí)不存在任何類型相關(guān)的信息。例如 List<String>在運(yùn)行時(shí)僅用一個(gè)List來(lái)表示。這樣做的目的,是確保能和Java 5之前的版本開發(fā)二進(jìn)制類庫(kù)進(jìn)行兼容。你無(wú)法在運(yùn)行時(shí)訪問(wèn)到類型參數(shù),因?yàn)榫幾g器已經(jīng)把泛型類型轉(zhuǎn)換成了原始類型。根據(jù)你對(duì)這個(gè)泛型問(wèn)題的回答情況,你會(huì) 得到一些后續(xù)提問(wèn),比如為什么泛型是由類型擦除來(lái)實(shí)現(xiàn)的或者給你展示一些會(huì)導(dǎo)致編譯器出錯(cuò)的錯(cuò)誤泛型代碼。請(qǐng)閱讀我的Java中泛型是如何工作的來(lái)了解更 多信息。

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

這是另一個(gè)非常流行的Java泛型面試題。限定通配符對(duì)類型進(jìn)行了限制。有兩種限定通配符,一種是<? extends T>它通過(guò)確保類型必須是T的子類來(lái)設(shè)定類型的上界,另一種是<? super T>它通過(guò)確保類型必須是T的父類來(lái)設(shè)定類型的下界。泛型類型必須用限定內(nèi)的類型來(lái)進(jìn)行初始化,否則會(huì)導(dǎo)致編譯錯(cuò)誤。另一方面<?>表 示了非限定通配符,因?yàn)?lt;?>可以用任意類型來(lái)替代。更多信息請(qǐng)參閱我的文章泛型中限定通配符和非限定通配符之間的區(qū)別。

  1. List<? extends T>和List <? super T>之間有什么區(qū)別 ?

這和上一個(gè)面試題有聯(lián)系,有時(shí)面試官會(huì)用這個(gè)問(wèn)題來(lái)評(píng)估你對(duì)泛型的理解,而不是直接問(wèn)你什么是限定通配符和非限定通配符。這兩個(gè)List的聲明都是 限定通配符的例子,List<? extends T>可以接受任何繼承自T的類型的List,而List<? super T>可以接受任何T的父類構(gòu)成的List。例如List<? extends Number>可以接受List<Integer>或List<Float>。在本段出現(xiàn)的連接中可以找到更多信息。

  1. 如何編寫一個(gè)泛型方法,讓它能接受泛型參數(shù)并返回泛型類型?

編寫泛型方法并不困難,你需要用泛型類型來(lái)替代原始類型,比如使用T, E or K,V等被廣泛認(rèn)可的類型占位符。泛型方法的例子請(qǐng)參閱Java集合類框架。最簡(jiǎn)單的情況下,一個(gè)泛型方法可能會(huì)像這樣:

public V put(K key, V value) {

return cache.put(key, value);

}

  1. Java中如何使用泛型編寫帶有參數(shù)的類?

這是上一道面試題的延伸。面試官可能會(huì)要求你用泛型編寫一個(gè)類型安全的類,而不是編寫一個(gè)泛型方法。關(guān)鍵仍然是使用泛型類型來(lái)代替原始類型,而且要使用JDK中采用的標(biāo)準(zhǔn)占位符。

  1. 編寫一段泛型程序來(lái)實(shí)現(xiàn)LRU緩存?

對(duì)于喜歡Java編程的人來(lái)說(shuō)這相當(dāng)于是一次練習(xí)。給你個(gè)提示,LinkedHashMap可以用來(lái)實(shí)現(xiàn)固定大小的LRU緩存,當(dāng)LRU緩存已經(jīng)滿 了的時(shí)候,它會(huì)把最老的鍵值對(duì)移出緩存。LinkedHashMap提供了一個(gè)稱為removeEldestEntry()的方法,該方法會(huì)被put() 和putAll()調(diào)用來(lái)刪除最老的鍵值對(duì)。當(dāng)然,如果你已經(jīng)編寫了一個(gè)可運(yùn)行的JUnit測(cè)試,你也可以隨意編寫你自己的實(shí)現(xiàn)代碼。

  1. 你可以把List<String>傳遞給一個(gè)接受List<Object>參數(shù)的方法嗎?

對(duì)任何一個(gè)不太熟悉泛型的人來(lái)說(shuō),這個(gè)Java泛型題目看起來(lái)令人疑惑,因?yàn)檎Э雌饋?lái)String是一種Object,所以 List<String>應(yīng)當(dāng)可以用在需要List<Object>的地方,但是事實(shí)并非如此。真這樣做的話會(huì)導(dǎo)致編譯錯(cuò)誤。如 果你再深一步考慮,你會(huì)發(fā)現(xiàn)Java這樣做是有意義的,因?yàn)長(zhǎng)ist<Object>可以存儲(chǔ)任何類型的對(duì)象包括String, Integer等等,而List<String>卻只能用來(lái)存儲(chǔ)Strings。

List<Object> objectList;

List<String> stringList;

objectList = stringList; //compilation error incompatible types

  1. Array中可以用泛型嗎?

這可能是Java泛型面試題中最簡(jiǎn)單的一個(gè)了,當(dāng)然前提是你要知道Array事實(shí)上并不支持泛型,這也是為什么Joshua Bloch在Effective Java一書中建議使用List來(lái)代替Array,因?yàn)長(zhǎng)ist可以提供編譯期的類型安全保證,而Array卻不能。

  1. 如何阻止Java中的類型未檢查的警告?

如果你把泛型和原始類型混合起來(lái)使用,例如下列代碼,Java 5的javac編譯器會(huì)產(chǎn)生類型未檢查的警告,例如

List<String> rawList = new ArrayList()

注意: Hello.java使用了未檢查或稱為不安全的操作;

這種警告可以使用@SuppressWarnings(“unchecked”)注解來(lái)屏蔽。

參考文章

https://www.cnblogs.com/huajiezh/p/6411123.html
https://www.cnblogs.com/jpfss/p/9929045.html
https://www.cnblogs.com/dengchengchao/p/9717097.html
https://www.cnblogs.com/cat520/p/9353291.html
https://www.cnblogs.com/coprince/p/8603492.html

微信公眾號(hào)

Java技術(shù)江湖

如果大家想要實(shí)時(shí)關(guān)注我更新的文章以及分享的干貨的話,可以關(guān)注我的公眾號(hào)【Java技術(shù)江湖】一位阿里 Java 工程師的技術(shù)小站,作者黃小斜,專注 Java 相關(guān)技術(shù):SSM、SpringBoot、MySQL、分布式、中間件、集群、Linux、網(wǎng)絡(luò)、多線程,偶爾講點(diǎn)Docker、ELK,同時(shí)也分享技術(shù)干貨和學(xué)習(xí)經(jīng)驗(yàn),致力于Java全棧開發(fā)!

Java工程師必備學(xué)習(xí)資源: 一些Java工程師常用學(xué)習(xí)資源,關(guān)注公眾號(hào)后,后臺(tái)回復(fù)關(guān)鍵字 “Java” 即可免費(fèi)無(wú)套路獲取。

我的公眾號(hào)

個(gè)人公眾號(hào):黃小斜

作者是 985 碩士,螞蟻金服 JAVA 工程師,專注于 JAVA 后端技術(shù)棧:SpringBoot、MySQL、分布式、中間件、微服務(wù),同時(shí)也懂點(diǎn)投資理財(cái),偶爾講點(diǎn)算法和計(jì)算機(jī)理論基礎(chǔ),堅(jiān)持學(xué)習(xí)和寫作,相信終身學(xué)習(xí)的力量!

程序員3T技術(shù)學(xué)習(xí)資源: 一些程序員學(xué)習(xí)技術(shù)的資源大禮包,關(guān)注公眾號(hào)后,后臺(tái)回復(fù)關(guān)鍵字 “資料” 即可免費(fèi)無(wú)套路獲取。

?著作權(quán)歸作者所有,轉(zhuǎn)載或內(nèi)容合作請(qǐng)聯(lián)系作者
【社區(qū)內(nèi)容提示】社區(qū)部分內(nèi)容疑似由AI輔助生成,瀏覽時(shí)請(qǐng)結(jié)合常識(shí)與多方信息審慎甄別。
平臺(tái)聲明:文章內(nèi)容(如有圖片或視頻亦包括在內(nèi))由作者上傳并發(fā)布,文章內(nèi)容僅代表作者本人觀點(diǎn),簡(jiǎn)書系信息發(fā)布平臺(tái),僅提供信息存儲(chǔ)服務(wù)。

相關(guān)閱讀更多精彩內(nèi)容

  • mean to add the formatted="false" attribute?.[ 46% 47325/...
    ProZoom閱讀 3,226評(píng)論 0 3
  • 簡(jiǎn)介 泛型的意思就是參數(shù)化類型,通過(guò)使用參數(shù)化類型創(chuàng)建的接口、類、方法,可以指定所操作的數(shù)據(jù)類型。比如:可以使用參...
    零度沸騰_yjz閱讀 3,411評(píng)論 1 15
  • 轉(zhuǎn)載: https://blog.csdn.net/s10461/article/details/53941091...
    DaneYang閱讀 557評(píng)論 1 6
  • 在之前的文章中分析過(guò)了多態(tài),可以知道多態(tài)本身是一種泛化機(jī)制,它通過(guò)基類或者接口來(lái)設(shè)計(jì),使程序擁有一定的靈活性,但是...
    _小二_閱讀 767評(píng)論 0 0
  • 看到西湖醋魚這個(gè)名字,讓我想起邛海邊的醉蝦。 沒有吃到過(guò)西湖邊樓外樓的西湖醋魚,所以沒有胃的記憶。不過(guò)這一點(diǎn)也不影...
    泡泡泡菜閱讀 1,322評(píng)論 1 4

友情鏈接更多精彩內(nèi)容