跳到主要內容

獨體模式 (Singleton Pattern)

        單看名稱就很好理解的設計模式,就是只能有一個且是唯一實體的物件。有些時候最好讓物件只能有一個以避免程式出錯,例如負責處理使用者登入的物件,假如不是獨體模式的話,登入物件就可能有多個,使用者就可能同時登入很多次。

        設計此模式的想法也很簡單,不要讓別人能用 new 來建立物件就好,也就是建構子不能宣告為 public。因為其他人不能使用 private 建構子,只能在類別內使用…說那麼多,直接看程式碼比較快:

public class Singleton {

    // 利用一個靜態變數記綠 Singleton 的實體
    private static Singleton sInstance;

    // 可以宣告其他需要的成員變數

    // 建構式宣告為 private, 這樣只有在
    // Singleton 類別內才能使用
    private Singleton(){}

    // 公開的靜態方法, 其他人要取得物件只能使用此方法
    public static Singleton getInstance()
    {
        // 不為 null, 表示之前曾建立過, 不用再 new 一次
        if(sInstance == null)
        {
            // 需要時才建立物件, 稱為 lazy instantiaze
            sInstance = new Singleton();
        }

        return sInstance;
    }
}

        以上就是最基本的獨體模式,接下來來看一下正式定義及類別圖:

獨體模式確保一個類別只有一個實體,並給它一個存取的全域點(global point)
Ensure a class has only one instance and provide a global point of access to it.


        定義及實作上看起來雖然簡單,但在實務上可能會遇到問題。以上面的程式碼來看,是否真的只會有一個且唯一的物件呢 ? 以多執行緒的角度來看就可以知道,是有可能產生多個物件的,解決方法也不難,在 getInstance() 加上 synchronized 就可以了:
public static synchronized Singleton getInstance()
{
    if(sInstance == null)
    {
        sInstance = new Singleton();
    }

    return sInstance;
}
        這樣做看起來不錯,但是要考慮效能問題。因為只有第一次要 new 物件時才需要同步,這樣寫的話,每次要取得物件都要同步。因此可以改成以下方法:
public class Singleton {

    // 在靜態初始化方法(static initializer)中建立物件
    // 保證 thread safe
    private static Singleton sInstance = new Singleton();

    private Singleton(){}

    // 已經有實體了, 可以直接回傳
    public static Singleton getInstance()
    {
        return sInstance;
    }
}
        上面程式碼是例用 JVM 在載入此類別時,就馬上建立唯一的獨體物件。JVM 保證在任何執行緒存取 sInstance 之前會先建立物件。但假如在建立物件時需要比較大的 loading 時,此方法也不適用,因此還可以改為使用「雙重檢查上鎖」(double-checked locking) 的方式:
public class Singleton {

    // 利用 volatile, 可以保證此變數的值是一致的
    private volatile static Singleton sInstance;

    private Singleton(){}

    public static Singleton getInstance()
    {
        // 只有第一次建立物件才會完整執行此段程式
        if(sInstance == null)
        {
            synchronized (Singleton.class)
            {
                // 進入同步區後再檢查一次,
                // 還是 null 才建立實體
                if(sInstance == null)
                {
                    sInstance = new Singleton();
                }
            }
        }
        return sInstance;
    }
}
        雙重檢查上鎖只有要注意需要在 jdk 1.5 版以上才能用,1.4 以前的版本,對於 volatile 的實作會讓此方法失效

參考資料:

        深入淺出設計模式(Head First Design Patterns)

留言

這個網誌中的熱門文章

整理設計模式

        依據 GOF 的書,可以將經典的設計模式分為以下三類:生成、行為、結構。 生成模式 :牽涉到 將物件實體化 。這類模式都提供一個方法,將客戶從所需要實體化的物件中鬆綁出來。 獨體模式 (Singleton Pattern) 工廠方法模式 (Factory Method Pattern) 抽象工廠模式 (Abstract Factory Pattern) 建立者模式 (Builder Pattern) 原型模式 (Prototype Pattern) 結構模式 :讓你 合成類別或物件到大型的結構 。 裝飾者模式 (Decorator Pattern) 轉接器模式 (Adapter Pattern) 表象模式 (Facade Pattern) 合成模式 (Composite Pattern) 代理人模式 (Proxy Pattern) 橋接模式 (Bridge Pattern) 享元模式 (Flyweight Pattern) 行為模式 :模述 類別和物件如何互動 ,以及 各自的責任 。 策略模式 (Strategy Pattern) 觀察者模式 (Observer Pattern) 命令模式 (Command Pattern) 樣板方法模式 (Template Method Pattern) 反覆器模式 (Iterator Pattern) 狀態模式 (State Pattern) 責任鏈模式 (Chain of Responsibility Pattern) 解譯器模式 (Interpreter Pattern) 中介者模式 (Mediator Pattern) 備忘錄模式 (Memento Pattern) 訪問者模式 (Visitor Pattern)         有人可能會覺得裝飾者模式明明有替物件增加行為,為什麼不算是行為模式呢?我們可以從上面的結構模式得知, 結構模式用來描述類別或物件如何被合成,以建立新的結構或功能 。裝飾者模式允許你透過「 將某物件包裝進另一個物件的方式 」,將物件合成以提供新功能,因此焦點應該放在「 動態合成物件,以取得某功能 」,而不是物件之間的溝通。         設入淺出設計模式也有提到一些使用設計模式的

訪問者模式 (Visitor Pattern)

        假設你設計一個系統,其中會有一些相似類別,類別中都有某些方法內容相似,但還是需要判斷目前要做事的是哪個類別才能呼叫對應的適當類別。通常遇到這種情情,在 Java 中最直接的做法就是使用 instanceof 關鍵字來判斷,如以下的簡單範例: public interface CarComponent { public void printMessage(); } public class Wheel implements CarComponent { @Override public void printMessage() { System.out.println("This is a wheel"); } // 這是 Wheel 跟 Engine 不同的方法 public void doWheel() { System.out.println("Checking wheel..."); } } public class Engine implements CarComponent { @Override public void printMessage() { System.out.println("This is a engine"); } // 這是 Wheel 跟 Engine 不同的方法 public void doEngine() { System.out.println("Testing this engine..."); } } public class Car { private List mComponents; public Car() { mComponents = new ArrayList<carcomponent>(); } // 有些時候我們還是需要針對不同類別去做不同的事情 public void setComponent(CarCompon

裝飾者模式 (Decorator Pattern)

        假如你有一間飲料店, 目前只有賣幾種咖啡。因為生意很好, 因此想更換菜單…         以下是目前菜單的類別圖:         簡單說明此類別圖, cost() 是抽象的, 子類別要實作自己的 cost() 來告知飲料的價格。         買咖啡時, 也可要求要加料, 例如牛奶(Milk)、摩卡(Mocha,就是巧克力口味)。這樣的新類別要如何設計呢 ? 看起來是不能直接新增所需的子類別, 例如 EspressoWithMilk, EspressoWithMilkAndMocha, DarkRoastWithMilk, DarkRoastWithMilkAndMocha… 這樣加下去, 日後飲料跟配料越來越多時, 類別也就越多, 這實在不是個好設計。         換個方式設計呢, 在 Beverage 裡面加入所有的配料如何 ? 這樣好像也不太好, 未來要是配料有更動, Beverage 程式碼就要重寫, 而未來要是有新口味的飲料時, 有些配料就不太合理 ( 薑茶加摩卡 ? ), 更麻煩的是, 無法應付機車的客人 (例如要加 3 份牛奶)。這時候裝飾者模式就能上場啦。在介紹裝飾者模式前, 先說明其設計守則: 類別應該開放, 以便擴充 ; 應該關閉, 禁止修改。         我們的目標是允許類別容易擴充, 在不修改現有程式碼的情形就能搭配新的行為。這樣的設計具有彈性, 可以接受新功能以達到改變需求的目的。這看起來好像有點矛盾, 但是的確有一些技術可以在不直接修改程式碼的情形下進行擴充, 如裝飾者模式。         這時候應該有人會問: 那是不是以後我的專案架構設計都遵循這個守則就是好設計了 ? 答案是不太可能, 也沒這必要, 就算做得到, 也可能是浪費, 容易導致程式碼複雜且難以理解。只需小心選擇哪些部分未來會擴充, 這些部份遵循這個設計守則即可。         接下來正式介紹裝飾者模式的定義:  裝飾者模式動態地將責任加諸於物件上。若要擴充功能,裝飾者模提供了比繼承更有彈性的選擇 Attach additional responsibilities to an object dynamically. Decorators provide a flexible alt