本文會(huì)帶著你深入整個(gè)Singleton的世界,當(dāng)然,我會(huì)放棄使用C++語(yǔ)言而改用Java語(yǔ)言,因?yàn)槭褂?a class="channel_keylink" target="_blank">Java這個(gè)語(yǔ)言可能更容易讓我說(shuō)明一些事情。
Singleton的教學(xué)版本
這里,我將直接給出一個(gè)Singleton的簡(jiǎn)單實(shí)現(xiàn),因?yàn)槲蚁嘈拍阋呀?jīng)有這方面的一些基礎(chǔ)了。我們姑且把這具版本叫做1.0版
// version 1.0 private Singleton() |
在上面的實(shí)例中,我想說(shuō)明下面幾個(gè)Singleton的特點(diǎn):(下面這些東西可能是盡人皆知的,沒有什么新鮮的)
私有(private)的構(gòu)造函數(shù),表明這個(gè)類是不可能形成實(shí)例了。這主要是怕這個(gè)類會(huì)有多個(gè)實(shí)例。
即然這個(gè)類是不可能形成實(shí)例,那么,我們需要一個(gè)靜態(tài)的方式讓其形成實(shí)例:getInstance()。注意這個(gè)方法是在new自己,因?yàn)槠淇梢栽L問(wèn)私有的構(gòu)造函數(shù),所以他是可以保證實(shí)例被創(chuàng)建出來(lái)的。
在getInstance()中,先做判斷是否已形成實(shí)例,如果已形成則直接返回,否則創(chuàng)建實(shí)例。
所形成的實(shí)例保存在自己類中的私有成員中。
我們?nèi)?shí)例時(shí),只需要使用Singleton.getInstance()就行了。
當(dāng)然,如果你覺得知道了上面這些事情后就學(xué)成了,那我給你當(dāng)頭棒喝一下了,事情遠(yuǎn)遠(yuǎn)沒有那么簡(jiǎn)單。
Singleton的實(shí)際版本
上面的這個(gè)程序存在比較嚴(yán)重的問(wèn)題,因?yàn)槭侨中缘膶?shí)例,所以,在多線程情況下,所有的全局共享的東西都會(huì)變得非常的危險(xiǎn),這個(gè)也一樣,在多線程情況下,如果多個(gè)線程同時(shí)調(diào)用getInstance()的話,那么,可能會(huì)有多個(gè)進(jìn)程同時(shí)通過(guò) (singleton== null)的條件檢查,于是,多個(gè)實(shí)例就創(chuàng)建出來(lái),并且很可能造成內(nèi)存泄露問(wèn)題。嗯,熟悉多線程的你一定會(huì)說(shuō)——“我們需要線程互斥或同步”,沒錯(cuò),我們需要這個(gè)事情,于是我們的Singleton升級(jí)成1.1版,如下所示:
// version 1.1 private Singleton() |
// version 1.2 private Singleton() |
不錯(cuò)不錯(cuò),看似很不錯(cuò)了。在多線程下應(yīng)該沒有什么問(wèn)題了,不是嗎?的確是這樣的,1.2版的Singleton在多線程下的確沒有問(wèn)題了,因?yàn)槲覀兺搅怂械木€程。只不過(guò)嘛……,什么?!還不行?!是的,還是有點(diǎn)小問(wèn)題,我們本來(lái)只是想讓new這個(gè)操作并行就可以了,現(xiàn)在,只要是進(jìn)入getInstance()的線程都得同步啊,注意,創(chuàng)建對(duì)象的動(dòng)作只有一次,后面的動(dòng)作全是讀取那個(gè)成員變量,這些讀取的動(dòng)作不需要線程同步啊。這樣的作法感覺非常極端啊,為了一個(gè)初始化的創(chuàng)建動(dòng)作,居然讓我們達(dá)上了所有的讀操作,嚴(yán)重影響后續(xù)的性能啊!
還得改!嗯,看來(lái),在線程同步前還得加一個(gè)(singleton== null)的條件判斷,如果對(duì)象已經(jīng)創(chuàng)建了,那么就不需要線程的同步了。OK,下面是1.3版的Singleton.
// version 1.3 private Singleton() |
感覺代碼開始變得有點(diǎn)羅嗦和復(fù)雜了,不過(guò),這可能是最不錯(cuò)的一個(gè)版本了,這個(gè)版本又叫“雙重檢查”Double-Check.下面是說(shuō)明:
第一個(gè)條件是說(shuō),如果實(shí)例創(chuàng)建了,那就不需要同步了,直接返回就好了。
不然,我們就開始同步線程。
第二個(gè)條件是說(shuō),如果被同步的線程中,有一個(gè)線程創(chuàng)建了對(duì)象,那么別的線程就不用再創(chuàng)建了。
相當(dāng)不錯(cuò)啊,干得非常漂亮!請(qǐng)大家為我們的1.3版起立鼓掌!
Singleton的其它問(wèn)題
怎么?還有問(wèn)題?!當(dāng)然還有,請(qǐng)記住下面這條規(guī)則——“無(wú)論你的代碼寫得有多好,其只能在特定的范圍內(nèi)工作,超出這個(gè)范圍就要出Bug了”,這是“陳式第一定理”,呵呵。你能想一想還有什么情況會(huì)讓這個(gè)我們上面的代碼出問(wèn)題嗎?
在C++下,我不是很好舉例,但是在Java的環(huán)境下,嘿嘿,還是讓我們來(lái)看看下面的一些反例和一些別的事情的討論(當(dāng)然,有些反例可能屬于鉆牛角尖,可能有點(diǎn)學(xué)院派,不過(guò)也不排除其實(shí)際可能性,就算是提個(gè)醒吧):
其一、Class Loader.不知道你對(duì)Java的Class Loader熟悉嗎?“類裝載器”?!C++可沒有這個(gè)東西啊。這是Java動(dòng)態(tài)性的核心。顧名思義,類裝載器是用來(lái)把類(class)裝載進(jìn)JVM的。JVM規(guī)范定義了兩種類型的類裝載器:?jiǎn)?dòng)內(nèi)裝載器(bootstrap)和用戶自定義裝載器(user-defined class loader)。 在一個(gè)JVM中可能存在多個(gè)ClassLoader,每個(gè)ClassLoader擁有自己的NameSpace.一個(gè)ClassLoader只能擁有一個(gè)class對(duì)象類型的實(shí)例,但是不同的ClassLoader可能擁有相同的class對(duì)象實(shí)例,這時(shí)可能產(chǎn)生致命的問(wèn)題。如ClassLoaderA,裝載了類A的類型實(shí)例A1,而ClassLoaderB,也裝載了類A的對(duì)象實(shí)例A2.邏輯上講A1=A2,但是由于A1和A2來(lái)自于不同的ClassLoader,它們實(shí)際上是完全不同的,如果A中定義了一個(gè)靜態(tài)變量c,則c在不同的ClassLoader中的值是不同的。
于是,如果咱們的Singleton 1.3版本如果面對(duì)著多個(gè)Class Loader會(huì)怎么樣?呵呵,多個(gè)實(shí)例同樣會(huì)被多個(gè)Class Loader創(chuàng)建出來(lái),當(dāng)然,這個(gè)有點(diǎn)牽強(qiáng),不過(guò)他確實(shí)存在。難道我們還要整出個(gè)1.4版嗎?可是,我們?cè)趺纯赡茉谖业腟ingleton類中操作Class Loader啊?是的,你根本不可能。在這種情況下,你能做的只有是——“保證多個(gè)Class Loader不會(huì)裝載同一個(gè)Singleton”。
其二、序例化。如果我們的這個(gè)Singleton類是一個(gè)關(guān)于我們程序配置信息的類。我們需要它有序列化的功能,那么,當(dāng)反序列化的時(shí)候,我們將無(wú)法控制別人不多次反序列化。不過(guò),我們可以利用一下Serializable接口的readResolve()方法,比如:
public class Singleton implements Serializable { ...... ...... protected Object readResolve() { return getInstance(); } } |
其三、多個(gè)Java虛擬機(jī)。如果我們的程序運(yùn)行在多個(gè)Java的虛擬機(jī)中。什么?多個(gè)虛擬機(jī)?這是一種什么樣的情況啊。嗯,這種情況是有點(diǎn)極端,不過(guò)還是可能出現(xiàn),比如EJB或RMI之流的東西。要在這種環(huán)境下避免多實(shí)例,看來(lái)只能通過(guò)良好的設(shè)計(jì)或非技術(shù)來(lái)解決了。
其四,volatile變量。關(guān)于volatile這個(gè)關(guān)鍵字所聲明的變量可以被看作是一種 “程度較輕的同步synchronized”;與 synchronized 塊相比,volatile 變量所需的編碼較少,并且運(yùn)行時(shí)開銷也較少,但是它所能實(shí)現(xiàn)的功能也僅是synchronized的一部分。當(dāng)然,如前面所述,我們需要的Singleton只是在創(chuàng)建的時(shí)候線程同步,而后面的讀取則不需要同步。所以,volatile變量并不能幫助我們即能解決問(wèn)題,又有好的性能。而且,這種變量只能在JDK 1.5+版后才能使用。
其五、關(guān)于繼承。是的,繼承于Singleton后的子類也有可能造成多實(shí)例的問(wèn)題。不過(guò),因?yàn)槲覀冊(cè)绨裇ingleton的構(gòu)造函數(shù)聲明成了私有的,所以也就杜絕了繼承這種事情。
其六,關(guān)于代碼重用。也話我們的系統(tǒng)中有很多個(gè)類需要用到這個(gè)模式,如果我們?cè)诿恳粋€(gè)類都中有這樣的代碼,那么就顯得有點(diǎn)傻了。那么,我們是否可以使用一種方法,把這具模式抽象出去?在C++下這是很容易的,因?yàn)橛心0搴陀言€支持棧上分配內(nèi)存,所以比較容易一些(程序如下所示),Java下可能比較復(fù)雜一些,聰明的你知道怎么做嗎?
template<CLASS T> class Singleton class OnlyOne : public Singleton<ONLYONE> public: int main( ) |