單例模式-靜態(tài)內(nèi)部類實現(xiàn)之原理解析

首先舉個用靜態(tài)內(nèi)部類實現(xiàn)單例的例子,看代碼:

public class Singleton {

    private Singleton() {
    }

    public static Singleton getInstance(){
        return SingletonHolder.INSTANCE;
    }
    private static class SingletonHolder{
        private static final Singleton INSTANCE = new Singleton();
    }
}

用靜態(tài)內(nèi)部列實現(xiàn)單例模式,既能保證延遲加載,又能保證線程安全,只創(chuàng)建一個實例對象。那么其中原理又是什么呢?

延遲加載

關(guān)于延遲加載的正確性,可通過以下代碼驗證:

public class Outer {
    private Outer() {
        System.out.println("outer instance create");
    }

    static {
        System.out.println("outer init");
    }

    public static void main(String[] args) {
        System.out.println("outer main execute");
       //        Outer outer = Inner.outer;
    }

    private static class Inner {
        static {
            System.out.println("inner init");
        }

        private static final Outer outer = new Outer();
    }
}

運行以上代碼,輸出結(jié)果為:

outer init
outer main execute

當把 Outer outer = Inner.outer; 這一行取消注釋后,輸出結(jié)果為

outer init
outer main execute
inner init
outer instance create

通過對比可以發(fā)現(xiàn),只有當訪問 Inner 類的靜態(tài)對象的時候,才對該類進行了初始化。根據(jù)此結(jié)果我們提出兩個問題并試圖解決:

Q1: 為什么是先執(zhí)行 靜態(tài)代碼塊,后執(zhí)行 main 方法?
Q2: 為什么直到訪問 Inner.outer時才觸發(fā) Inner 類的初始化?

類加載的時機

類從被加載到虛擬機內(nèi)存中開始,到卸載出內(nèi)存為止,整個生命周期包括:加載、驗證、準備、解析、初始化、使用、卸載 7 個階段。


類的生命周期

其中,類的加載過程包括:加載、驗證、準備、解析、初始化。下面說一下這幾個階段都做了什么:

  • 加載:在這個階段虛擬機需要完成三件事:
    1、通過一個類的全限定名來獲取定義此類的二進制字節(jié)流。
    2、將這個字節(jié)流代表的靜態(tài)存儲結(jié)構(gòu)轉(zhuǎn)化為方法區(qū)的運行時數(shù)據(jù)結(jié)構(gòu)。
    3、在內(nèi)存中生成一個代表這個類的 java.lang.Class 對象,作為方法區(qū)這個類的各種數(shù)據(jù)的訪問入口。
  • 驗證:這階段的目的是為了確保 Class 文件的字節(jié)流中包含的信息符合當前虛擬機的要求,并且不會危害虛擬機自身的安全。
  • 準備:此階段是正式為類變量分配內(nèi)存并設置類變量初始值的階段,這些變量使用的內(nèi)存都將在方法區(qū)中分配。如,int 類型的默認值為 0 ,布爾類型的默認值為 false,非基本類型的初始值為 null 。
  • 解析:此階段是虛擬機將常量池的符號引用替換為直接引用的過程。
  • 初始化:初始化階段即 執(zhí)行類的 clinit() 方法的階段(clinit = class + initialize,意為類的初始化),包括為類的靜態(tài)變量賦初始值和執(zhí)行靜態(tài)代碼塊中的內(nèi)容,執(zhí)行的先后順序取決于在源文件中出現(xiàn)的順序。

要執(zhí)行一個類的方法,需要先完成該類的初始化,從類生命周期中看出,靜態(tài)代碼塊執(zhí)行時間在初始化階段,調(diào)用 main 方法在 使用階段,故 Q1 回答完畢。

在類的加載階段,加載、驗證、準備、初始化是按照順序嚴格執(zhí)行的。但是 Java 虛擬機規(guī)范并沒有規(guī)定什么情況下執(zhí)行類加載的第一個階段:加載,這一點可以交給虛擬機的具體實現(xiàn)自由把握。

可以但是對于初始化階段,虛擬機規(guī)范嚴格規(guī)定: 有且只有 5 種情況 必須立即對類盡心初始化(加載、驗證、準備自然需要在之前執(zhí)行):

1) 遇到 new 、getstatic、putstatic 或者 invokestatic 這 4 條字節(jié)碼指令時,如果沒有對類進行初始化,則需要先觸發(fā)其初始化。這4個指令對應的 Java 場景是:使用 new 新建一個 Java 對象,訪問或者設置一個類的靜態(tài)字段,訪問一個類的靜態(tài)方法的時候。
2)使用 java.lang.reflect 包的方法對類進行反射調(diào)用的時候,如果類沒有進行初始化,則需要先觸發(fā)其初始化。
3)當初始化一個類的時候,如果發(fā)現(xiàn)其父類還沒有進行過初始化,則需要先觸發(fā)其父類的初始化。
4)當虛擬機啟動的時候,用戶需要指定一個需要執(zhí)行的主類(包含 main 方法的那個類),虛擬機會先初始化這個類。
5)當使用 JDK 1.7 的動態(tài)語言支持時,如果一個 java.lang.invoke.MethodHandle 實例最后的解析結(jié)果 REF_getStatic、REF_putStatic、REF_invokeStatic 的方法句柄,并且這個方法句柄對應的類沒有進行過初始化,則需要先觸發(fā)其初始化。

故 靜態(tài)內(nèi)部類 實現(xiàn)單例模式,是因為觸發(fā)了第一種情況的 getstatic 方法,即訪問該類的靜態(tài)成員變量,這個時候才觸發(fā)了 Inner 類的初始化,至此 Q2 回答完畢。

線程安全

虛擬機會保證一個類的 clinit() 方法在多線程環(huán)境中被正確的加鎖、同步,如果多個線程同事去初始化一個類,那么只有一個線程去執(zhí)行這個類的 clinit() 方法,其他線程都需要阻塞等待,直到活動線程執(zhí)行 clinit() 方法執(zhí)行完畢。如果在一個類的clinit() 方法中有耗時很長的操作,就可能導致多個線程阻塞,在實際應用中這種阻塞往往是很隱蔽的。
舉例驗證一下:

public class Test {
    static Outer out1;
    static Outer out2;
    public static void main(String[] args) {
        //此處為了簡潔,只用了兩個子線程創(chuàng)建對象,實際測試時應增大數(shù)量級
        new Thread(()-> out1 = Outer.getInstance()).start();
        new Thread(()-> out2 = Outer.getInstance()).start();
        try {
            Thread.sleep(2000);//延遲兩秒,讓子線程有充足的時間創(chuàng)建對象.
            System.out.println(out1 == out2);
        } catch(InterruptedException ex) {
            Thread.currentThread().interrupt();
        }
    }
}

運行該段代碼,輸出結(jié)果為

outer instance create
true

即 在不同線程去獲取 Outer 的實例對象,獲得的是同一個對象,因為兩個變量都指向同一內(nèi)存地址,該類的構(gòu)造函數(shù)僅被調(diào)用一次。在加載 Inner 類的初始化階段,實例化了 Outer 類的實例。
一句話總結(jié):虛擬機保證了線程安全和只創(chuàng)建一個實例

參考書籍

《深入理解 Java 虛擬機》JVM 高級特性與最佳實踐 --- 周志明

最后編輯于
?著作權(quán)歸作者所有,轉(zhuǎn)載或內(nèi)容合作請聯(lián)系作者
【社區(qū)內(nèi)容提示】社區(qū)部分內(nèi)容疑似由AI輔助生成,瀏覽時請結(jié)合常識與多方信息審慎甄別。
平臺聲明:文章內(nèi)容(如有圖片或視頻亦包括在內(nèi))由作者上傳并發(fā)布,文章內(nèi)容僅代表作者本人觀點,簡書系信息發(fā)布平臺,僅提供信息存儲服務。

相關(guān)閱讀更多精彩內(nèi)容

  • C/C++在運行前需要完成預處理、編譯、匯編、鏈接;而在Java中,類加載(加載、連接、初始化)是在程序運行期間第...
    Steven1997閱讀 1,043評論 1 2
  • 什么是虛擬機的類加載機制?虛擬機把描述類的數(shù)據(jù)從Class文件加載到內(nèi)存,并對數(shù)據(jù)進行校驗、轉(zhuǎn)換解析以及初始化,最...
    EakonZhao閱讀 2,472評論 6 22
  • 概述 虛擬機的類加載機制:虛擬機把描述類的數(shù)據(jù)從Class文件加載到內(nèi)存,并對數(shù)據(jù)進行校驗、轉(zhuǎn)換解析和初始化,最終...
    tomas家的小撥浪鼓閱讀 1,036評論 0 4
  • 虛擬機把描述類的數(shù)據(jù)從Class文件加載到內(nèi)存,并對數(shù)據(jù)進行校驗、轉(zhuǎn)換解析和初始化,最終形成可以被虛擬機直接使用的...
    丑人林宗己閱讀 663評論 0 2
  • 焦躁!因為各種原因?qū)е陆衲瓿σ粋€人過,其實說起來我是一個很不戀家的人,很多時候放假我都不愿意回家,因為來回路上...
    莧陸閱讀 232評論 0 0

友情鏈接更多精彩內(nèi)容