你所不知道的Java泛型使用詳解,阿里P8大牛看了都說贊不決口!

你所不知道的Java泛型使用詳解,阿里P8大牛看了都說贊不決口!

一、引入

1、泛型是什麼

首先告訴大家ArrayList就是泛型。那ArrayList能完成哪些想不到的功能呢?先看看下面這段代碼:

你所不知道的Java泛型使用詳解,阿里P8大牛看了都說贊不決口!


大家對ArrayList很熟悉,這裡構造了三個List,分別盛裝String、Integer和Double;這就是ArrayList的過人之處:即各種類型的變量都可以組裝成對應的List,而不必針對每個類型分別實現一個構建ArrayList的類。這裡可能看不懂,開篇總是困難的,下面看看如果沒有泛型的話,我們要怎麼做;

2、沒有泛型會怎樣

先看下面這段代碼:

我們實現兩個能夠設置點座標的類,分別設置Integer類型的點座標和Float類型的點座標:

你所不知道的Java泛型使用詳解,阿里P8大牛看了都說贊不決口!


那現在有個問題:大家有沒有發現,他們除了變量類型不一樣,一個是Integer一個是Float以外,其它並沒有什麼區別!那我們能不能合併成一個呢?

答案是可以的,因為Integer和Float都是派生自Object的,我們用下面這段代碼代替:

你所不知道的Java泛型使用詳解,阿里P8大牛看了都說贊不決口!


即全部都用Object來代替所有的子類;

在使用的時候是這樣的:

你所不知道的Java泛型使用詳解,阿里P8大牛看了都說贊不決口!


在設置的時候,使用new Integer(100)來新建一個Integer

integerPoint.setX(new Integer(100));

然後在取值的時候,進行強制轉換:

Integer integerX=(Integer)integerPoint.getX();

由於我們設置的時候,是設置的Integer,所以在取值的時候,強制轉換是不會出錯的。

同理,FloatPoint的設置和取值也是類似的,代碼如下:

ObjectPoint floatPoint = new ObjectPoint();

floatPoint.setX(new Float(100.12f));

Float floatX = (Float)floatPoint.getX();

但問題來了:注意,注意,我們這裡使用了強制轉換,我們這裡setX()和getX()寫得很近,所以我們明確的知道我們傳進去的是Float類型,那如果我們記錯了呢?

比如我們改成下面這樣,編譯時會報錯嗎:

ObjectPoint floatPoint = new ObjectPoint();

floatPoint.setX(new Float(100.12f));

String floatX = (String)floatPoint.getX();

不會!!!我們問題的關鍵在於這句:

String floatX = (String)floatPoint.getX();

強制轉換時,會不會出錯。因為編譯器也不知道你傳進去的是什麼,而floatPoint.getX()返回的類型是Object,所以編譯時,將Object強轉成String是成立的。必然不會報錯。

而在運行時,則不然,在運行時,floatPoint實例中明明傳進去的是Float類型的變量,非要把它強轉成String類型,肯定會報類型轉換錯誤的!

那有沒有一種辦法在編譯階段,即能合併成同一個,又能在編譯時檢查出來傳進去類型不對呢?當然,這就是泛型。

下面我們將對泛型的寫法和用法做一一講解。

二、各種泛型定義及使用

1、泛型類定義及使用

我們先看看泛型的類是怎麼定義的:

你所不知道的Java泛型使用詳解,阿里P8大牛看了都說贊不決口!


先看看運行結果:

你所不知道的Java泛型使用詳解,阿里P8大牛看了都說贊不決口!

從結果中可以看到,我們實現了開篇中IntegerPoint類和FloatPoint類的效果。下面來看看泛型是怎麼定義及使用的吧。

(1)、定義泛型:Point

首先,大家可以看到Point,即在類名後面加一個尖括號,括號裡是一個大寫字母。這裡寫的是T,其實這個字母可以是任何大寫字母,大家這裡先記著,可以是任何大寫字母,意義是相同的。

(2)類中使用泛型

這個T表示派生自Object類的任何類,比如String,Integer,Double等等。這裡要注意的是,T一定是派生於Object類的。為方便起見,大家可以在這裡把T當成String,即String在類中怎麼用,那T在類中就可以怎麼用!所以下面的:定義變量,作為返回值,作為參數傳入的定義就很容易理解了

你所不知道的Java泛型使用詳解,阿里P8大牛看了都說贊不決口!


(3)使用泛型類

下面是泛型類的用法:

你所不知道的Java泛型使用詳解,阿里P8大牛看了都說贊不決口!

首先,是構造一個實例:

Point p = new Point() ;

這裡與普通構造類實例的不同之點在於,普通類構造函數是這樣的:Point p = new Point() ;

而泛型類的構造則需要在類名後添加上,即一對尖括號,中間寫上要傳入的類型。

因為我們構造時,是這樣的:class Point,所以在使用的時候也要在Point後加上類型來定義T代表的意義。

然後在getVar()和setVar()時就沒有什麼特殊的了,直接調用即可。

從上面的使用時,明顯可以看出泛型的作用,在構造泛型類的實例的時候:

//IntegerPoint使用

Point p = new Point() ;

//FloatPoint使用

Point p = new Point() ;

尖括號中,你傳進去的是什麼,T就代表什麼類型。這就是泛型的最大作用,我們只需要考慮邏輯實現,就能拿給各種類來用。

前面我們提到ArrayList也是泛型,我們順便它的實現:


你所不知道的Java泛型使用詳解,阿里P8大牛看了都說贊不決口!


看到了吧,跟我們的Point實現是一樣的,這也就是為什麼ArrayList能夠盛裝各種類型的主要原因。

(4)使用泛型實現的優勢

相比我們開篇時使用Object的方式,有兩個優點:

(1)、不用強制轉換

//使用Object作為返回值,要強制轉換成指定類型

Float floatX = (Float)floatPoint.getX();

//使用泛型時,不用強制轉換,直接出來就是String

System.out.println(p.getVar());

(2)、在settVar()時如果傳入類型不對,編譯時會報錯

你所不知道的Java泛型使用詳解,阿里P8大牛看了都說贊不決口!


可以看到,當我們構造時使用的是String,而在setVar時,傳進去Integer類型時,就會報錯。而不是像Object實現方式一樣,在運行時才會報強制轉換錯誤。

2、多泛型變量定義及字母規範

(1)、多泛型變量定義

上在我們只定義了一個泛型變量T,那如果我們需要傳進去多個泛型要怎麼辦呢?

只需要在類似下面這樣就可以了:


你所不知道的Java泛型使用詳解,阿里P8大牛看了都說贊不決口!


也就是在原來的T後面用逗號隔開,寫上其它的任意大寫字母即可。想加幾個就加幾個,比如我們想加五個泛型變量,那應該是這樣的:


你所不知道的Java泛型使用詳解,阿里P8大牛看了都說贊不決口!


舉個粟子,我們在Point上再另加一個字段name,也用泛型來表示,那要怎麼做?代碼如下:

你所不知道的Java泛型使用詳解,阿里P8大牛看了都說贊不決口!


從上面的代碼中,可以明顯看出,就是在新添加的泛型變量U用法與T是一樣的。

(2)、字母規範

在定義泛型類時,我們已經提到用於指定泛型的變量是一個大寫字母:

你所不知道的Java泛型使用詳解,阿里P8大牛看了都說贊不決口!


當然不是的!!!!任意一個大寫字母都可以。他們的意義是完全相同的,但為了提高可讀性,大家還是用有意義的字母比較好,一般來講,在不同的情境下使用的字母意義如下:

  • E — Element,常用在java Collection裡,如:List,Iterator,Set
  • K,V — Key,Value,代表Map的鍵值對
  • N — Number,數字
  • T — Type,類型,如String,Integer等等

如果這些還不夠用,那就自己隨便取吧,反正26個英文字母呢。

再重複一遍,使用哪個字母是沒有特定意義的!只是為了提高可讀性!!!!

3、泛型接口定義及使用

在接口上定義泛型與在類中定義泛型是一樣的,代碼如下:

你所不知道的Java泛型使用詳解,阿里P8大牛看了都說贊不決口!


與泛型類的定義一樣,也是在接口名後加尖括號;

(1)、使用方法一:非泛型類

但是在使用的時候,就出現問題了,我們先看看下面這個使用方法:

你所不知道的Java泛型使用詳解,阿里P8大牛看了都說贊不決口!


首先,先看InfoImpl的定義:

你所不知道的Java泛型使用詳解,阿里P8大牛看了都說贊不決口!


要清楚的一點是InfoImpl不是一個泛型類!因為他類名後沒有

然後在在這裡我們將Info中的泛型變量T定義填充為了String類型。所以在重寫時setVar()和getVar()時,IDE會也我們直接生成String類型的重寫函數。

最後在使用時,沒什麼難度,傳進去String類型的字符串來構造InfoImpl實例,然後調用它的函數即可。

你所不知道的Java泛型使用詳解,阿里P8大牛看了都說贊不決口!


(2)、使用方法二:泛型類

在方法一中,我們在類中直接把Info接口給填充好了,但我們的類,是可以構造成泛型類的,那我們利用泛型類來構造填充泛型接口會是怎樣呢?

你所不知道的Java泛型使用詳解,阿里P8大牛看了都說贊不決口!


最關鍵的是構造泛型類的過程:

你所不知道的Java泛型使用詳解,阿里P8大牛看了都說贊不決口!


在這個類中,我們構造了一個泛型類InfoImpl,然後把泛型變量T傳給了Info,這說明接口和泛型類使用的都是同一個泛型變量。

然後在使用時,就是構造一個泛型類的實例的過程,使用過程也不變。

你所不知道的Java泛型使用詳解,阿里P8大牛看了都說贊不決口!

使用泛型類來繼承泛型接口的作用就是讓用戶來定義接口所使用的變量類型,而不是像方法一那樣,在類中寫死。

那我們稍微加深點難度,構造一個多個泛型變量的類,並繼承自Info接口:

你所不知道的Java泛型使用詳解,阿里P8大牛看了都說贊不決口!


在這個例子中,我們在泛型類中定義三個泛型變量T,K,U並且把第三個泛型變量U用來填充接口Info。所以在這個例子中Info所使用的類型就是由U來決定的。

使用時是這樣的:泛型類的基本用法,不再多講,代碼如下:

你所不知道的Java泛型使用詳解,阿里P8大牛看了都說贊不決口!


4、泛型函數定義及使用

上面我們講解了類和接口的泛型使用,下面我們再說說,怎麼單獨在一個函數里使用泛型。比如我們在新建一個普通的類StaticFans,然後在其中定義了兩個泛型函數:

你所不知道的Java泛型使用詳解,阿里P8大牛看了都說贊不決口!


上面分別是靜態泛型函數和常規泛型函數的定義方法,與以往方法的唯一不同點就是在返回值前加上來表示泛型變量。其它沒什麼區別。

使用方法如下:

//靜態方法

StaticFans.StaticMethod("adfdsa");//使用方法一

StaticFans.StaticMethod("adfdsa");//使用方法二

//常規方法

StaticFans staticFans = new StaticFans();

staticFans.OtherMethod(new Integer(123));//使用方法一

staticFans.OtherMethod(new Integer(123));//使用方法二

結果如下:

你所不知道的Java泛型使用詳解,阿里P8大牛看了都說贊不決口!


首先,我們看靜態泛型函數的使用方法:

StaticFans.StaticMethod("adfdsa");//使用方法一

StaticFans.StaticMethod("adfdsa");//使用方法二

從結果中我們可以看到,這兩種方法的結果是完全一樣的,但他們還有些區別的,區別如下:

方法一,可以像普通方法一樣,直接傳值,任何值都可以(但必須是派生自Object類的類型,比如String,Integer等),函數會在內部根據傳進去的參數來識別當前T的類別。但儘量不要使用這種隱式的傳遞方式,代碼不利於閱讀和維護。因為從外觀根本看不出來你調用的是一個泛型函數。

方法二,與方法一不同的地方在於,在調用方法前加了一個來指定傳給的值,如果加了這個來指定參數的值的話,那StaticMethod()函數里所有用到的T類型也就是強制指定了是String類型。這是我們建議使用的方式。

同樣,常規泛型函數的使用也有這兩種方式:

StaticFans staticFans = new StaticFans();

staticFans.OtherMethod(new Integer(123));//使用方法一

staticFans.OtherMethod(new Integer(123));//使用方法二

可以看到,與平常一樣,先創建類的實例,然後調用泛型函數。

方法一,隱式傳遞了T的類型,與上面一樣,不建議這麼做。

方法二,顯示將T賦值為Integer類型,這樣OtherMethod(T a)傳遞過來的參數如果不是Integer那麼編譯器就會報錯。

進階:返回值中存在泛型

上面我們的函數中,返回值都是void,但現實中不可能都是void,有時,我們需要將泛型變量返回,比如下面這個函數:

你所不知道的Java泛型使用詳解,阿里P8大牛看了都說贊不決口!


函數返回值是List類型。至於傳入參數Class object的意義,我們下面會講。這裡也就是想通過這個例子來告訴大家,泛型變量其實跟String,Integer,Double等等的類的使用上沒有任何區別,T只是一個符號,可以代表String,Integer,Double……這些類的符號,在泛型函數使用時,直接把T看到String,Integer,Double……中的任一個來寫代碼就可以了。唯一不同的是,要在函數定義的中在返回值前加上標識泛型;

5、其它用法:Class類傳遞及泛型數組

(1)、使用Class傳遞泛型類Class對象

有時,我們會遇到一個情況,比如,我們在使用JSON解析字符串的時候,代碼一般是這樣的

你所不知道的Java泛型使用詳解,阿里P8大牛看了都說贊不決口!


其中SuccessModel是自定義的解析類,代碼如下,其實大家不用管SuccessModel的定義,只考慮上面的那段代碼就行了。寫出來SuccessModel的代碼,只是不想大家感到迷惑,其實,這裡只是fastJson的基本用法而已。

這段代碼的意義就是根據SuccessModel解析出List的數組。

你所不知道的Java泛型使用詳解,阿里P8大牛看了都說贊不決口!


那現在,我們把下面這句組裝成一個泛型函數要怎麼來做呢?

你所不知道的Java泛型使用詳解,阿里P8大牛看了都說贊不決口!


首先,我們應該把SuccessModel單獨抽出來做為泛型變量,但parseArray()中用到的SuccessModel.class要怎麼弄呢?

先來看代碼:

你所不知道的Java泛型使用詳解,阿里P8大牛看了都說贊不決口!


注意到,我們用的Class object來傳遞類的class對象,即我們上面提到的SuccessModel.class。

這是因為Class也是一泛型,它是傳來用來裝載類的class對象的,它的定義如下:

你所不知道的Java泛型使用詳解,阿里P8大牛看了都說贊不決口!


通過Class來加載泛型的Class對象的問題就講完了,下面來看看泛型數組的使用方法吧。

(2)、定義泛型數組

在寫程序時,大家可能會遇到類似String[] list = new String[8];的需求,這裡可以定義String數組,當然我們也可以定義泛型數組,泛型數組的定義方法為 T[],與String[]是一致的,下面看看用法:

你所不知道的Java泛型使用詳解,阿里P8大牛看了都說贊不決口!


我們先看看 定義時的代碼:

你所不知道的Java泛型使用詳解,阿里P8大牛看了都說贊不決口!


首先,定義了一個靜態函數,然後定義返回值為T[],參數為接收的T類型的可變長參數。如果有同學對T...arg的用法不瞭解,可以去找下JAVA 可變長參數方面的知識。

由於可變長參數在輸入後,會保存在arg這個數組中,所以,我們直接把數組返回即可。

泛型牛逼的地方就是在這個地方。

如果你不用泛型,而使用Object類型,那麼每次執行完之後,我們即使得到這個結果,還得類型轉換一下,那麼這下就像文章上面描述的那樣。分分鐘出現castfailexception。也就是類型轉換異常啦。

但是,若是使用了這個泛型之後,那麼我們的某個操作所需要的返回結果是什麼類型,就可以 傳入什麼類型,而且在實際取得返回結果的時候,就不需要使用類型轉換,這樣就很好的達到了目的。

這個主要是代碼設計層次的提高。寫再多的業務代碼,要是不提高,那麼寫的都是渣。

關於,這個model代碼裡面為啥沒有getter和setter,都是因為使用@Data這個註解,可以自動填充這個getter和setter。所以。就表在意這個問題啦。在其他地方可以正常使用各個屬性getter和setter方法,雖然這些方法,你暫時看不見。有興趣的可以瞭解下lombok。

如果覺得有收穫,別忘記了轉發哦,可以幫助更多需要的朋友, 您的舉手之勞,就是對小編最好的支持,非常感謝!


分享到:


相關文章: