Java、C#泛型的一些個(gè)人看法

字號(hào):

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