面試官：請寫一個你認為比較“完美”的單例

来源:https://www.cnblogs.com/spec-dog/archive/2020/05/15/12892899.html
-Advertisement-
Play Games

單例模式是保證一個類的實例有且只有一個，在需要控制資源（如資料庫連接池），或資源共用（如有狀態的工具類）的場景中比較適用。如果讓我們寫一個單例實現，估計絕大部分人都覺得自己沒問題，但如果需要實現一個比較完美的單例，可能並沒有你想象中簡單。本文以主人公小雨的一次面試為背景，循序漸進地討論如何實現一個較 ...


單例模式是保證一個類的實例有且只有一個，在需要控制資源（如資料庫連接池），或資源共用（如有狀態的工具類）的場景中比較適用。如果讓我們寫一個單例實現，估計絕大部分人都覺得自己沒問題，但如果需要實現一個比較完美的單例，可能並沒有你想象中簡單。本文以主人公小雨的一次面試為背景，循序漸進地討論如何實現一個較為“完美”的單例。本文人物與場景皆為虛構，如有雷同，純屬捏造。

小雨電腦專業畢業三年，對設計模式略有涉獵，能寫一些簡單的實現，掌握一些基本的JVM知識。在某次面試中，面試官要求現場寫代碼：請寫一個你認為比較“完美”的單例。

簡單的單例實現

憑藉著對單例的理解與印象，小雨寫出了下麵的代碼

public class Singleton {
    private static Singleton instance;

    private Singleton(){}

    public static final Singleton getInstance(){
        if(instance == null) {
            instance = new Singleton();
        }
        return instance;
    }
}

寫完後小雨審視了一遍，總覺得有點太簡單了，離“完美”貌似還相差甚遠。對，在多線程併發環境下，這個實現就玩不轉了，如果兩個線程同時調用 getInstance() 方法，同時執行到了 if 判斷，則兩邊都認為 instance 實例為空，都會實例化一個 Singleton 對象，就會導致至少產生兩個實例了，小雨心想。嗯，需要解決多線程併發環境下的同步問題，保證單例的線程安全。

線程安全的單例

一提到併發同步問題，小雨就想到了鎖。加個鎖還不簡單，synchronized 搞起，

public class Singleton {
    private static Singleton instance;

    private Singleton(){}

    public synchronized static final Singleton getInstance(){
        if(instance == null) {
            instance = new Singleton();
        }
        return instance;
    }
}

小雨再次審視了一遍，發現貌似每次 getInstance() 被調用時，其它線程必須等待這個線程調用完才能執行（因為有鎖鎖住了嘛），但是加鎖其實是想避免多個線程同時執行實例化操作導致產生多個實例，在單例被實例化後，後續調用 getInstance() 直接返回就行了，每次都加鎖釋放鎖造成了不必要的開銷。

經過一陣思索與回想之後，小雨記起了曾經看過一個叫 Double-Checked Locking 的東東，雙重檢查鎖，嗯，再優化一下,

public class Singleton {
    private static volatile Singleton instance;

    private Singleton(){}

    public static final Singleton getInstance(){
        if(instance == null) {
            synchronized (Singleton.class){
                if(instance == null) {
                    instance = new Singleton();
                }
            }
        }
        return instance;
    }
}

單例在完成第一次實例化，後續再調用 getInstance() 先判空，如果不為空則直接返回，如果為空，就算兩個線程同時判斷為空，在同步塊中還做了一次雙重檢查，可以確保只會實例化一次，省去了不必要的加鎖開銷，同時也保證了線程安全。並且令小雨感到自我滿足的是他基於對JVM的一些瞭解加上了 volatile 關鍵字來避免實例化時由於指令重排序優化可能導致的問題，真是畫龍點睛之筆啊。 簡直——完美！

Tips: volatile關鍵字的語義

  1. 保證變數對所有線程的可見性。對變數寫值的時候JMM（Java記憶體模型）會將當前線程的工作記憶體值刷新到主記憶體，讀的時候JMM會從主記憶體讀取變數的值而不是從工作記憶體讀取，確保一個變數值被一個線程更新後，另一個線程能立即讀取到更新後的值。
  2. 禁止指令重排序優化。JVM在執行程式時為了提高性能，編譯器和處理器常常會對指令做重排序，使用 volatile 可以禁止進行指令重排序優化。

JVM創建一個新的實例時，主要需三步：

  1. 分配記憶體
  2. 初始化構造器
  3. 將對象引用指向分配的記憶體地址

如果一個線程在實例化時JVM做了指令重排，比如先執行了1，再執行3，最後執行2，則另一個線程可能獲取到一個還沒有完成初始化的對象引用，調用時可能導致問題，使用volatile可以禁止指令重排，避免這種問題。

小雨將答案交給面試官，面試官瞄了一眼說道：“基本可用了，但如果我用反射直接調用這個類的構造函數，是不是就不能保證單例了。” 小雨撓撓頭，對哦，如果使用反射就可以在運行時改變單例構造器的可見性，直接調用構造器來創建一個新的實例了，比如通過下麵這段代碼

 Constructor<Singleton> constructor = Singleton.class.getDeclaredConstructor();
 constructor.setAccessible(true);
 Singleton singleton = constructor.newInstance();

小雨再次陷入了思考。

反射安全的單例

怎麼避免反射破壞單例呢，或許可以加一個靜態變數來控制,讓構造器只有從 getInstance() 內部調用才有效，不通過 getInstance() 直接調用則拋出異常，小雨按這個思路做了一番改造，

public class Singleton {
    private static volatile Singleton instance;
    private static boolean flag = false;

    private Singleton(){
        synchronized (Singleton.class) {
            if (flag) {
                flag = false;
            } else {
                throw new RuntimeException("Please use getInstance() method to get the single instance.");
            }
        }

    }

    public static final Singleton getInstance(){
        if(instance == null) {
            synchronized (Singleton.class){
                if(instance == null) {
                    flag = true;
                    instance = new Singleton();
                }
            }
        }
        return instance;
    }
}

使用靜態變數 flag 來控制，只有從 getInstance() 調用構造器才能正常實例化，否則拋出異常。但馬上小雨就發現了存在的問題：既然可以通過反射來調用構造器，那麼也可以通過反射來改變 flag 的值，這樣苦心設置的 flag 控制邏輯不就被打破了嗎。看來也沒那麼“完美”。雖然並不那麼完美，但也一定程度上規避了使用反射直接調用構造器的場景，並且貌似也想不出更好的辦法了，於是小雨提交了答案。

面試官露出迷之微笑：“想法挺好，反射的問題基本解決了，但如果我序列化這個單例對象，然後再反序列化出來一個對象，這兩個對象還一樣嗎，還能保證單例嗎。如果不能，怎麼解決這個問題？”

SerializationSafeSingleton s1 = SerializationSafeSingleton.getInstance();
ByteArrayOutputStream bos = new ByteArrayOutputStream();
ObjectOutputStream oos = new ObjectOutputStream(bos);
oos.writeObject(s1);
oos.close();

ByteArrayInputStream bis = new ByteArrayInputStream(bos.toByteArray());
ObjectInputStream ois = new ObjectInputStream(bis);
SerializationSafeSingleton s2 = (SerializationSafeSingleton) ois.readObject();
ois.close();

s1 == s2 嗎？ 答案是否，如何解決呢。

序列化安全的單例

小雨思考了一會，想起了曾經學習序列化知識時接觸的 readResolve() 方法，該方法在ObjectInputStream已經讀取一個對象併在準備返回前調用，可以用來控制反序列化時直接返回一個對象，替換從流中讀取的對象，於是在前面實現的基礎上，小雨添加了一個 readResolve() 方法，

public class Singleton {
    private static volatile Singleton instance;
    private static boolean flag = false;

    private Singleton(){
        synchronized (Singleton.class) {
            if (flag) {
                flag = false;
            } else {
                throw new RuntimeException("Please use getInstance() method to get the single instance.");
            }
        }

    }

    public static final Singleton getInstance(){
        if(instance == null) {
            synchronized (Singleton.class){
                if(instance == null) {
                    flag = true;
                    instance = new Singleton();
                }
            }
        }
        return instance;
    }

    /**
     * 該方法代替了從流中讀取對象
     * @return
     */
    private Object readResolve(){
        return getInstance();
    }
}

通過幾個步驟的逐步改造優化，小雨完成了一個基本具備線程安全、反射安全、序列化安全的單例實現，心想這下應該足夠完美了吧。面試官臉上繼續保持著迷之微笑：“這個實現看起來還是顯得有點複雜，並且也不能完全解決反射安全的問題，想想看還有其它實現方案嗎。”

其它方案

小雨反覆思考，前面的實現是通過加鎖來實現線程安全，除此之外，還可以通過類的載入機制來實現線程安全——類的靜態屬性只會在第一次載入類時初始化，並且在初始化的過程中，JVM是不允許其它線程來訪問的，於是又寫出了下麵兩個版本

1.靜態初始化版本

public class Singleton {
    private static final Singleton instance = new Singleton();

    private Singleton(){}

    public static final Singleton getInstance() {
        return instance;
    }
}

該版本藉助JVM的類載入機制，本身線程安全，但只要 Singleton 類的某個靜態對象（方法或屬性）被訪問，就會造成實例的初始化，而該實例可能根本不會被用到，造成資源浪費，另一方面也存在反射與序列化的安全性問題，也需要進行相應的處理。

2.靜態內部類版本

public class Singleton {
    private Singleton(){}

    public static final Singleton getInstance() {
        return SingletonHolder.instance;
    }

    private static class SingletonHolder {
        private static final Singleton instance = new Singleton();
    }
}

該版本只有在調用 getInstance() 才會進行實例化，即延遲載入，避免資源浪費的問題，同時也能保障線程安全，但是同樣存在反射與序列化的安全性問題，需要相應處理。

這貌似跟前面版本的複雜性差不多啊，依然都需要解決反射與安全性的問題，小雨心想，有沒有一種既簡單又能避免這些問題的方案呢。

“完美”方案

一陣苦思冥想之後，小雨突然腦中靈光閃現，枚舉！（這也是《Effective Java》的作者推薦的方式啊）

public enum Singleton {
    INSTANCE;

    public void func(){
        ...
    }
}

可以直接通過 Singleton.INSTANCE 來引用單例，非常簡單的實現，並且既是線程安全的，同時也能應對反射與序列化的問題，面試官想要的估計就是它了吧。小雨再次提交了答案，這一次，面試官臉上的迷之微笑逐漸消失了……

Tips：為什麼枚舉是線程、反射、序列化安全的？

  1. 枚舉實際是通過一個繼承自Enum的final類來實現（通過反編譯class文件可看到具體實現），在static代碼塊中對其成員進行初始化，因此藉助類載入機制來保障其線程安全
  2. 枚舉是不支持通過反射實例化的，在Constructor類的newInstance方法中可看到
if ((clazz.getModifiers() & Modifier.ENUM) != 0)
    throw new IllegalArgumentException("Cannot reflectively create enum objects");
  1. 枚舉在序列化的時候僅僅是將枚舉對象的name屬性輸出到結果中，反序列化的時候則是通過java.lang.Enum的valueOf方法來根據名字查找枚舉對象。並且，編譯器是不允許任何對這種序列化機制的定製的，禁用了writeObject、readObject、readObjectNoData、writeReplace和readResolve等方法。枚舉通過這種機制保障了序列化安全。

總結

枚舉方案近乎“完美”，但實際中，大部分情況下，我們使用雙重檢查鎖方案或靜態內部類方案基本都能滿足我們的場景並能很好地運行。並且方案從來沒有“完美”，只有更好或更合適。本文只是從單例實現的不斷演進的過程中，瞭解或回顧如反射、序列化、線程安全、Java記憶體模型（volatile語義）、JVM類載入機制、JVM指令重排序優化等方面的知識，同時也是啟示我們在設計或實現的過程中，多從各個角度思考，儘可能全面地考慮問題。或者，在相關面試中能更好地迎合面試官的“完美”期望。

作者：雨歌，一枚仍在學習路上的IT老兵
歡迎關註作者公眾號：半路雨歌，一起學習成長
qrcode


您的分享是我們最大的動力!

-Advertisement-
Play Games
更多相關文章
  • 微信設置字體後微信瀏覽器頁面字體也會跟著改變
    //Android微信中，藉助WeixinJSBridge對象來阻止字體大小調整 (function() { if (typeof WeixinJSBridge == "object" && typeof WeixinJSBridge.invoke == "function") { handleFo ...
  • 【2020Python修煉記】前端開發之 JavaScript 內置方法
    【目錄】 一、number 二、string 三、array 四、math 五、date 六、自定義對象 一、number 二、string 三、array 四、math 五、date 六、自定義對象 參考閱讀： https://www.cnblogs.com/xiaoyuanqujing/arti ...
  • electron設置window系統托盤
    electron設置托盤 // 設置系統托盤 const setAppTray = () => { // 托盤對象 var appTray = null // 系統托盤右鍵菜單 var trayMenuTemplate = [ { label: '退出', click: function() { / ...
  • 在web開發中，為什麼前端比後端更得到轉行程式員的青睞？必看
    1、Web開發分類與區別 人們通常將Web分為前端和後端，前端相關的職位有前端設計師(UI/UE)，前端開發工程師，後端相關的有後端開發工程師。 2、技術棧區別 在各大招聘網站上，公司對前端開發工程師的要求莫過於精通HTML，CSS，JS，有良好的交互設計能力等。再看公司對後端開發工程師的要求： 比 ...
  • 9.jQuery工具方法
    # jQuery工具方法 - 1.$.type() 判斷數據類型 $.isArray() $.isFunction() $.isWindow() ```js console.log($.type(undefined));//undefined console.log($.type('abc'));/ ...
  • Vue和React有什麼區別，優劣？我到底應該選擇哪誰？
    前端開發框架從最開始的jquery時代，到後來backbone，angular1，再到現在vue和react兩分天下，也才用了不到十年的光景。 最開始jquery是為瞭解決瀏覽器相容性的問題而火起來的，準確的說它只是一個庫，而不能成為框架。但隨著前端頁面的複雜度的增加，漸漸數據驅動和mv*的思想開始 ...
  • 【2020Python修煉記】前端開發之 JavaScript 基礎語法
    【目錄】 一、分支結構 二、迴圈結構 三、JavaScript 對象 一、分支結構 二、迴圈結構 三、JavaScript 對象 ...
  • 【2020Python修煉記】前端開發之 JavaScript 基礎數據類型
    【目錄】 一、變數的定義 二、變數的命名規範 三、基本數據類型 1、值類型 2、引用類型 四、運算符 1、算數運算符 2、賦值運算符 3、比較運算符 4、邏輯運算符 5、三目運算符 一、變數的定義 # 在js中 首次定義一個變數名的時候需要用關鍵字聲明 1.es5 ：關鍵字var 定義變數，沒有常量 ...
一周排行
    -Advertisement-
    Play Games
  • Dapr Outbox 執行流程
    Dapr Outbox 是1.12中的功能。 本文只介紹Dapr Outbox 執行流程，Dapr Outbox基本用法請閱讀官方文檔 。本文中appID=order-processor，topic=orders 本文前提知識：熟悉Dapr狀態管理、Dapr發佈訂閱和Outbox 模式。 Outbo ...
  • Advanced .Net Debugging 7：托管堆與垃圾收集
    引言 在前幾章我們深度講解了單元測試和集成測試的基礎知識，這一章我們來講解一下代碼覆蓋率,代碼覆蓋率是單元測試運行的度量值,覆蓋率通常以百分比表示，用於衡量代碼被測試覆蓋的程度，幫助開發人員評估測試用例的質量和代碼的健壯性。常見的覆蓋率包括語句覆蓋率（Line Coverage）、分支覆蓋率（Bra ...
  • C#S7.NET實現西門子PLCDB塊數據採集的完整步驟
    前言 本文介紹瞭如何使用S7.NET庫實現對西門子PLC DB塊數據的讀寫，記錄了使用電腦模擬，模擬PLC，自至完成測試的詳細流程，並重點介紹了在這個過程中的易錯點，供參考。 用到的軟體： 1.Windows環境下鏈路層網路訪問的行業標準工具（WinPcap_4_1_3.exe）下載鏈接：http ...
  • WPF控制項：密碼框綁定MVVM
    從依賴倒置原則（Dependency Inversion Principle, DIP）到控制反轉（Inversion of Control, IoC）再到依賴註入（Dependency Injection, DI）的演進過程，我們可以理解為一種逐步抽象和解耦的設計思想。這種思想在C#等面向對象的編 ...
  • Python中的私有屬性與私有方法
    關於Python中的私有屬性和私有方法 Python對於類的成員沒有嚴格的訪問控制限制，這與其他面相對對象語言有區別。關於私有屬性和私有方法，有如下要點： 1、通常我們約定，兩個下劃線開頭的屬性是私有的（private）。其他為公共的（public）； 2、類內部可以訪問私有屬性（方法）； 3、類外 ...
  • C++ 訪問說明符詳解：封裝數據，控制訪問，提升安全性
    C++ 訪問說明符 訪問說明符是 C++ 中控制類成員（屬性和方法）可訪問性的關鍵字。它們用於封裝類數據並保護其免受意外修改或濫用。 三種訪問說明符： public：允許從類外部的任何地方訪問成員。 private：僅允許在類內部訪問成員。 protected：允許在類內部及其派生類中訪問成員。 示 ...
  • static_cast與dynamic_cast到底是什麼？
    寫這個隨筆說一下C++的static_cast和dynamic_cast用在子類與父類的指針轉換時的一些事宜。首先，【static_cast，dynamic_cast】【父類指針，子類指針】，兩兩一組，共有4種組合：用 static_cast 父類轉子類、用 static_cast 子類轉父類、使用 ...
  • C語言數據結構：雙向鏈表的增刪操作
    /******************************************************************************************************** * * * 設計雙向鏈表的介面 * * * * Copyright (c) 2023-2 ...
  • @ComponentScan註解的實現，Spring掃描包的過程
    相信接觸過spring做開發的小伙伴們一定使用過@ComponentScan註解 @ComponentScan("com.wangm.lifecycle") public class AppConfig { } @ComponentScan指定basePackage，將包下的類按照一定規則註冊成Be ...
  • opensips開啟python支持
    操作系統 ：CentOS 7.6_x64 opensips版本： 2.4.9 python版本：2.7.5 python作為腳本語言，使用起來很方便，查了下opensips的文檔，支持使用python腳本寫邏輯代碼。今天整理下CentOS7環境下opensips2.4.9的python模塊筆記及使用 ...
所有分類