Java、C#泛型的一些個人看法

字號:

過去曾經(jīng)有很長一段時間,直至現(xiàn)在,存在這樣的一種觀點,就是C#比Java的實現(xiàn)更漂亮?!禩hink in java》的作者Bruce Eckel曾經(jīng)公開質(zhì)疑過Java 5提供的泛型。不過說實在,我一直不喜歡看Bruce Eckel的書,感覺上他不是一個有經(jīng)驗有深度的技術(shù)人員。
    我也很長一段實現(xiàn)認同這樣的觀點,因為人云亦云!
    在C# 2.0支持泛型,而且在虛擬機級別支持,一開始接觸時,感覺是很震撼的,感覺到泛型從此走入主流應(yīng)用開發(fā)了。和C++相比,沒有C++模板那樣強的功能,完全做不到產(chǎn)生式編程的效果,也做不到編譯期計算的效果,但是它簡單實用。
    Java 5也開始支持泛型,而且最終正式發(fā)行比C# 2.0要早,我之前就使用過Beta版本C#的泛型,也熟悉C++的模板語法,可能是內(nèi)心的傲慢,或者是懶惰,開始時只是將就著按照傳統(tǒng)的經(jīng)驗使用Java 5提供的泛型。
    對事物的一知半解總是令人困擾的,在閱讀分析JDK源碼時,總會遇到一些Java 5額外提供的泛型用法,一開始忽略不計,但是看多了總會注意到的。
    例如java.util.Collections類中的sort方法和binarySearch方法的接口:
    public static void sort(List list, Comparator c);
    public static int binarySearch(List> list, T key);
    extends和super這兩個關(guān)鍵字是C#和C++的泛型中都沒有的,為什么需要這樣的功能呢?
    例如如下情形:
    class A { }
    class B extends A {}
    void addAll(List items) {}
    如下代碼:
    List aList = ;
    List bList = ;
    addAll(aList); //可以
    addAll(bList); //編譯不通過
    addAll(bList)是無法編譯通過的,這一點在Java、C#、C++中都是如此,怎么辦呢?在java中如下處理,修改addAll的接口,改為:
    void addAll(List items) {}
    這樣,addAll(aList)和addAll(bList)都能夠編譯通過了。
    另外super關(guān)鍵在算法中更是好用,如上面介紹的Collections.sort方法。如果你想在C#中實現(xiàn)一個和java.util.Collections.sort一樣的方法,你會發(fā)現(xiàn)那是做不到的!
    為什么C#和C++無法提供這樣的功能呢?因為C#和C++都是運行時的泛型支持,bList和aList的類型是不一樣的,List和List的實際類型都是不一樣的,運行時對泛型的支持目前還無法象處理數(shù)組參數(shù)那樣具備協(xié)變能力。而Java的實現(xiàn)是編譯器的特性,這樣做的缺點就是性能沒有得到提升,但是可以提供更好的語法糖。
    想起ajoo以前發(fā)表的一個觀點,就是在應(yīng)用開發(fā)中,泛型提供的關(guān)鍵是類型安全,性能反而是其次。我對此十分認同,重新審視java的泛型,我們會發(fā)現(xiàn)其設(shè)計頗具創(chuàng)新,而且向后兼容良好!
    總結(jié)一下我的觀點:
    Java的泛型,語法有創(chuàng)新,更好用,向后兼容,編寫泛型算法更方便,但是沒有帶來性能提升。
    C#泛型,實現(xiàn)有創(chuàng)新,在虛擬機級別支持,運行時支持泛型,性能有提升,但是不好編寫泛型算法,不向后兼容。