簡單來回顧一下類型擦除，看下面這段代碼。

public class Cmower {
    public static void method(ArrayList<String> list) {
        System.out.println("Arraylist<String> list");
    }
    public static void method(ArrayList<Date> list) {
        System.out.println("Arraylist<Date> list");
    }
}

在淺層的意識上，我們會認(rèn)為 ArrayList<String> list 和 ArrayList<Date> list 是兩種不同的類型，因?yàn)?String 和 Date 是不同的類。

但由于類型擦除的原因，以上代碼是不會編譯通過的——編譯器會提示一個錯誤：

‘method(ArrayList)' clashes with ‘method(ArrayList)'; both methods have same erasure

也就是說，兩個 method() 方法經(jīng)過類型擦除后的方法簽名是完全相同的，Java 是不允許這樣做的。

也就是說，按照我們的假設(shè)：如果 Java 能夠?qū)崿F(xiàn)真正意義上的泛型，兩個 method() 方法是可以同時存在的，就好像方法重載一樣。

public class Cmower {
    public static void method(String list) {
    }
    public static void method(Date list) {
    }
}

為什么 Java 不能實(shí)現(xiàn)真正意義上的泛型呢？背后的原因是什么？

第一，兼容性

Java 在 2004 年已經(jīng)積累了較為豐富的生態(tài)，如果把現(xiàn)有的類修改為泛型類，需要讓所有的用戶重新修改源代碼并且編譯，這就會導(dǎo)致 Java 1.4 之前打下的江山可能會完全覆滅。

想象一下，你的代碼原來運(yùn)行的好好的，就因?yàn)?JDK 的升級，導(dǎo)致所有的源代碼都無法編譯通過并且無法運(yùn)行，是不是會非常痛苦？

類型擦除就完美實(shí)現(xiàn)了兼容性，Java 1.5 之后的類可以使用泛型，而 Java 1.4 之前沒有使用泛型的類也可以保留，并且不用做任何修改就能在新版本的 Java 虛擬機(jī)上運(yùn)行。

老用戶不受影響，新用戶可以自由地選擇使用泛型，可謂一舉兩得。

第二，不是“實(shí)現(xiàn)不了”

這部分內(nèi)容參考自 R大@RednaxelaFX

Pizza，1996 年的實(shí)驗(yàn)語言，在 Java 的基礎(chǔ)上擴(kuò)展了泛型。

Pizza 教程地址：http://pizzacompiler.sourceforge.net/doc/tutorial.html

這里插一下 Java 的版本歷史，大家好有一個時間線上的觀念。

• 1995年5月23日，Java語言誕生
• 1996年1月，JDK1.0 誕生
• 1997年2月18日，JDK1.1發(fā)布
• 1998年2月，JDK1.1被下載超過2,000,000次
• 2000年5月8日，JDK1.3發(fā)布
• 2000年5月29日，JDK1.4發(fā)布
• 2004年9月30日18:00 PM，J2SE1.5 發(fā)布

也就是說，Pizza 在 JDK 1.0 的版本上就實(shí)現(xiàn)了“真正意義上的”泛型，我引過來兩段例子，大家一看就明白了。

首先是 StoreSomething，一個泛型類，標(biāo)識符是大寫字母 A 而不是我們熟悉的大寫字母 T。

class StoreSomething<A> {
     A something;
     StoreSomething(A something) {
         this.something = something;
     }
     void set(A something) {
         this.something = something;
     }
     A get() {
         return something;
     }
}

這個 A 呢，可以是任何合法的 Java 類型：

StoreSomething<String> a = new StoreSomething("I'm a string!");
StoreSomething<int> b = new StoreSomething(17+4);
b.set(9);
int i = b.get();
String s = a.get();

對吧？這就是我們想要的“真正意義上的泛型”，A 不僅僅可以是引用類型 String，還可以是基本數(shù)據(jù)類型。要知道，Java 的泛型不允許是基本數(shù)據(jù)類型，只能是包裝器類型。

除此之外，Pizza 的泛型還可以直接使用 new 關(guān)鍵字進(jìn)行聲明，并且 Pizza 編譯器會從構(gòu)造方法的參數(shù)上推斷出具體的對象類型，究竟是 String 還是 int。要知道，Java 的泛型因?yàn)轭愋筒脸脑?，程序員是無法知道一個 ArrayList 究竟是 ArrayList<String> 還是 ArrayList<Integer> 的。

ArrayList<Integer> ints = new ArrayList<Integer>();
ArrayList<String> strs = new ArrayList<String>();
System.out.println(ints.getClass());
System.out.println(strs.getClass());

輸出結(jié)果：

class java.util.ArrayList class java.util.ArrayList

都是 ArrayList 而已。

那 Pizza 這種“真正意義上的泛型”為什么沒有被 Java 采納呢？這是大家都很關(guān)心的問題。

事實(shí)上，Java 的核心開發(fā)組對 Pizza 的泛型設(shè)計(jì)非常感興趣，并且與 Pizza 的設(shè)計(jì)者 Martin 和 Phil 取得了聯(lián)系，新合作了一個項(xiàng)目 Generic Java，爭取在 Java 中添加泛型支持，但不引入 Pizza 的其他功能，比如說函數(shù)式編程。

這里再補(bǔ)充一點(diǎn)維基百科上的資料，Martin Odersky 是一名德國計(jì)算機(jī)科學(xué)家，他和其他人一起設(shè)計(jì)了 Scala 編程語言，以及 Generic Java（還有之前的 Pizza），他實(shí)現(xiàn)的 Generic Java 編譯器成為了 Java 編譯器 javac 的基礎(chǔ)。

站在馬后炮的思維來看，Pizza 的泛型設(shè)計(jì)和函數(shù)式編程非常具有歷史前瞻性。然而 Java 的核心開發(fā)組在當(dāng)時似乎并不想把函數(shù)式編程引入到 Java 中。

以至于 Java 在 1.4 之前仍然是不支持泛型的，為什么 Java 1.5 的時候又突然支持泛型了呢？

當(dāng)然是到了不支持不行的時候了。

沒有泛型之前，我們可以這樣寫代碼：

ArrayList list = new ArrayList();
list.add("沉默王二");
list.add(new Date());

不管是 String 類型，還是 Date 類型，都可以一股腦塞進(jìn) ArrayList 當(dāng)中，這看起來似乎很方便，但取的時候就悲劇了。

String s = list.get(1);

這樣取行嗎？

不行。

還得加上強(qiáng)制轉(zhuǎn)換。

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

但我們知道，這行代碼在運(yùn)行的時候必然會出錯：

Exception in thread "main" java.lang.ClassCastException: java.util.Date cannot be cast to java.lang.String

這就又回到“兼容性”的問題了。

Java 語言和其他編程語言不一樣，有著沉重的歷史包袱，1.5 之前已經(jīng)有大量的程序部署在生產(chǎn)環(huán)境下了，這時候如果一刀切，原來沒有使用泛型的代碼直接扼殺了，后果不堪想象。

Java 一直以來都強(qiáng)調(diào)兼容性，我認(rèn)為這也是 Java 之所以能被廣泛使用的主要原因之一，開發(fā)者不必?fù)?dān)心 Java 版本升級的問題，一個在 JDK 1.4 上可以跑的代碼，放在 JDK 1.5 上仍然可以跑。

這里必須得說明一點(diǎn)，J2SE1.5 的發(fā)布，是 Java 語言發(fā)展史上的重要里程碑，為了表示該版本的重要性，J2SE1.5 也正式更名為 Java SE 5.0，往后去就是 Java SE 6.0，Java SE 7.0。。。。

但 Java 并不支持高版本 JDK 編譯生成的字節(jié)碼文件在低版本的 JRE（Java 運(yùn)行時環(huán)境）上跑。

針對泛型，兼容性具體表現(xiàn)在什么地方呢？

ArrayList<Integer> ints = new ArrayList<Integer>();
ArrayList<String> strs = new ArrayList<String>();
ArrayList list;
list = ints;
list = strs;

表現(xiàn)在上面這段代碼必須得能夠編譯運(yùn)行。怎么辦呢？

就只能搞類型擦除了！

真所謂“表面上一套，背后玩另外一套”呀！

編譯前進(jìn)行泛型檢測，ArrayList<Integer> 只能放 Integer，ArrayList<String> 只能放 String，取的時候就不用擔(dān)心類型強(qiáng)轉(zhuǎn)出錯了。

但編譯后的字節(jié)碼文件里，是沒有泛型的，放的都是 Object。

Java 神奇就神奇在這，表面上萬物皆對象，但為了性能上的考量，又存在 int、double 這種原始類型，但原始類型又沒辦法和 Object 兼容，于是我們就只能寫 ArrayList<Integer> 這樣很占用內(nèi)存空間的代碼。

這恐怕也是 Java 泛型被吐槽的原因之一了。

總結(jié)

本篇文章就到這里了，希望能給你帶來幫助，也希望您能夠多多關(guān)注腳本之家的更多內(nèi)容！

最新評論