主頁 > 後端開發 > 死磕Spring之IoC篇 - 單例 Bean 的回圈依賴處理

死磕Spring之IoC篇 - 單例 Bean 的回圈依賴處理

2021-03-05 06:24:47 後端開發

該系列文章是本人在學習 Spring 的程序中總結下來的,里面涉及到相關原始碼,可能對讀者不太友好,請結合我的原始碼注釋 Spring 原始碼分析 GitHub 地址 進行閱讀

Spring 版本:5.1.14.RELEASE

開始閱讀這一系列文章之前,建議先查看《深入了解 Spring IoC(面試題)》這一篇文章

該系列其他文章請查看:《死磕 Spring 之 IoC 篇 - 文章導讀》

單例 Bean 的回圈依賴處理

我們先回到《Bean 的創建程序》中的“從快取中獲取單例 Bean”小節,當加載一個 Bean 時,會嘗試從快取(三個 Map)中獲取物件,如果未命中則進入后面創建 Bean 的程序,再來看到《Bean 的創建程序》中的“提前暴露當前 Bean”小節,當獲取到一個實體物件(還未設定屬性和初始化)后,會將這個“早期物件”放入前面的快取中(第三個 Map),這里暴露的物件實際是一個 ObjectFactory,可以通過它獲取“早期物件”,這樣一來,在后面設定屬性的程序中,如果需要依賴注入其他 Bean,且存在回圈依賴,那么上面的快取就避免了這個問題,接下來,將會分析 Spring 處理回圈依賴的相關程序,

這里的回圈依賴是什么?

回圈依賴,其實就是回圈參考,就是兩個或者兩個以上的 Bean 互相參考對方,最終形成一個倍訓,如 A 依賴 B,B 依賴 C,C 依賴 A,

例如定義下面兩個物件:

學生類

public class Student {

    private Long id;

    private String name;

    @Autowired
    private ClassRoom classRoom;

    // 省略 getter、setter
}

教室類

public class ClassRoom {

    private String name;

    @Autowired
    private Collection<Student> students;
    
    // 省略 getter、setter
}

當加載 Student 這個物件時,需要注入一個 ClassRoom 物件,就需要去加載 ClassRoom 這個物件,此時又要去依賴注入所有的 Student 物件,這里的 Student 和 ClassRoom 就存在回圈依賴,那么一直這樣回圈下去,除非有終結條件

Spring 只處理單例 Bean 的回圈依賴,原型模式的 Bean 如果存在回圈依賴直接拋出例外單例 Bean 的回圈依賴的場景有兩種:

  • 構造器注入出現回圈依賴
  • 欄位(或 Setter)注入出現回圈依賴

對于構造器注入出現快取依賴,Spring 是無法解決的,因為當前 Bean 還未實體化,無法提前暴露物件,所以只能拋出例外,接下來我們分析的都是欄位(或 Setter)注入出現回圈依賴的處理

回圈依賴的處理

1. 嘗試從快取中獲取單例 Bean

可以先回到《Bean 的創建程序》中的“從快取中獲取單例 Bean”小節,在獲取一個 Bean 程序中,首先會從快取中嘗試獲取物件,對應代碼段:

// AbstractBeanFactory#doGetBean(...) 方法
Object sharedInstance = getSingleton(beanName);

// DefaultSingletonBeanRegistry.java
public Object getSingleton(String beanName) {
    return getSingleton(beanName, true);
}
// DefaultSingletonBeanRegistry.java
protected Object getSingleton(String beanName, boolean allowEarlyReference) {
    // <1> **【一級 Map】**從單例快取 `singletonObjects` 中獲取 beanName 對應的 Bean
    Object singletonObject = this.singletonObjects.get(beanName);
    // <2> 如果**一級 Map**中不存在,且當前 beanName 正在創建
    if (singletonObject == null && isSingletonCurrentlyInCreation(beanName)) {
        // <2.1> 對 `singletonObjects` 加鎖
        synchronized (this.singletonObjects) {
            // <2.2> **【二級 Map】**從 `earlySingletonObjects` 集合中獲取,里面會保存從 **三級 Map** 獲取到的正在初始化的 Bean
            singletonObject = this.earlySingletonObjects.get(beanName);
            // <2.3> 如果**二級 Map** 中不存在,且允許提前創建
            if (singletonObject == null && allowEarlyReference) {
                // <2.3.1> **【三級 Map】**從 `singletonFactories` 中獲取對應的 ObjectFactory 實作類
                ObjectFactory<?> singletonFactory = this.singletonFactories.get(beanName);
                // 如果從**三級 Map** 中存在對應的物件,則進行下面的處理
                if (singletonFactory != null) {
                    // <2.3.2> 呼叫 ObjectFactory#getOject() 方法,獲取目標 Bean 物件(早期半成品)
                    singletonObject = singletonFactory.getObject();
                    // <2.3.3> 將目標物件放入**二級 Map**
                    this.earlySingletonObjects.put(beanName, singletonObject);
                    // <2.3.4> 從**三級 Map**移除 `beanName`
                    this.singletonFactories.remove(beanName);
                }
            }
        }
    }
    // <3> 回傳從快取中獲取的物件
    return singletonObject;
}

這里的快取指的就是上面三個 Map 物件:

  • singletonObjects(一級 Map):里面保存了所有已經初始化好的單例 Bean,也就是會保存 Spring IoC 容器中所有單例的 Spring Bean
  • earlySingletonObjects(二級 Map),里面會保存從 三級 Map 獲取到的正在初始化的 Bean
  • singletonFactories(三級 Map),里面保存了正在初始化的 Bean 對應的 ObjectFactory 實作類,呼叫其 getObject() 方法回傳正在初始化的 Bean 物件(僅實體化還沒完全初始化好)

程序如下:

  1. 【一級 Map】從單例快取 singletonObjects 中獲取 beanName 對應的 Bean
  2. 如果一級 Map中不存在,且當前 beanName 正在創建
    1. singletonObjects 加鎖
    2. 【二級 Map】earlySingletonObjects 集合中獲取,里面會保存從 三級 Map 獲取到的正在初始化的 Bean
    3. 如果二級 Map 中不存在,且允許提前創建
      1. 【三級 Map】singletonFactories 中獲取對應的 ObjectFactory 實作類,如果從三級 Map 中存在對應的物件,則進行下面的處理
      2. 呼叫 ObjectFactory#getOject() 方法,獲取目標 Bean 物件(早期半成品)
      3. 將目標物件放入二級 Map
      4. 三級 Map移除 beanName
  3. 回傳從快取中獲取的物件

2. 提前暴露當前 Bean

回到《Bean 的創建程序》中的“提前暴露當前 Bean”小節,在獲取到實體物件后,如果是單例模式,則提前暴露這個實體物件,對應代碼段:

// AbstractAutowireCapableBeanFactory#doCreateBean(...) 方法
// Eagerly cache singletons to be able to resolve circular references
// even when triggered by lifecycle interfaces like BeanFactoryAware.
// <3> 提前暴露這個 `bean`,如果可以的話,目的是解決單例模式 Bean 的回圈依賴注入
// <3.1> 判斷是否可以提前暴露
boolean earlySingletonExposure = (mbd.isSingleton() // 單例模式
        && this.allowCircularReferences // 允許回圈依賴,默認為 true
        && isSingletonCurrentlyInCreation(beanName)); // 當前單例 bean 正在被創建,在前面已經標記過
if (earlySingletonExposure) {
    if (logger.isTraceEnabled()) {
        logger.trace("Eagerly caching bean '" + beanName +
                "' to allow for resolving potential circular references");
    }
    /**
     * <3.2>
     * 創建一個 ObjectFactory 實作類,用于回傳當前正在被創建的 `bean`,提前暴露,保存在 `singletonFactories` (**三級 Map**)快取中
     *
     * 可以回到前面的 {@link AbstractBeanFactory#doGetBean#getSingleton(String)} 方法
     * 加載 Bean 的程序會先從快取中獲取單例 Bean,可以避免單例模式 Bean 回圈依賴注入的問題
     */
    addSingletonFactory(beanName,
            // ObjectFactory 實作類
            () -> getEarlyBeanReference(beanName, mbd, bean));
}

如果是單例模式允許回圈依賴(默認為 true)、當前單例 Bean 正在被創建(前面已經標記過),則提前暴露

這里會先通過 Lambda 運算式創建一個 ObjectFactory 實作類,如下:

// AbstractAutowireCapableBeanFactory.java
protected Object getEarlyBeanReference(String beanName, RootBeanDefinition mbd, Object bean) {
    Object exposedObject = bean;
    if (!mbd.isSynthetic() // RootBeanDefinition 不是用戶定義的(由 Spring 決議出來的)
        && hasInstantiationAwareBeanPostProcessors()) {
        for (BeanPostProcessor bp : getBeanPostProcessors()) {
            if (bp instanceof SmartInstantiationAwareBeanPostProcessor) {
                SmartInstantiationAwareBeanPostProcessor ibp = (SmartInstantiationAwareBeanPostProcessor) bp;
                exposedObject = ibp.getEarlyBeanReference(exposedObject, beanName);
            }
        }
    }
    return exposedObject;
}

入參 bean 為當前 Bean 的實體物件(未初始化),這個實作類允許通過 SmartInstantiationAwareBeanPostProcessor 對這個提前暴露的物件進行處理,最侄訓回傳這個提前暴露的物件,注意,這里也可以回傳一個代理物件,

有了這個 ObjectFactory 實作類后,就需要往快取中存放了,如下:

// DefaultSingletonBeanRegistry.java
protected void addSingletonFactory(String beanName, ObjectFactory<?> singletonFactory) {
    Assert.notNull(singletonFactory, "Singleton factory must not be null");
    synchronized (this.singletonObjects) {
        if (!this.singletonObjects.containsKey(beanName)) {
            this.singletonFactories.put(beanName, singletonFactory);
            this.earlySingletonObjects.remove(beanName);
            this.registeredSingletons.add(beanName);
        }
    }
}

可以看到會將這個 ObjectFactory 往 singletonFactories (三級 Map)中存放,到這里對于 Spring 對單例 Bean 回圈依賴的處理是不是就非常清晰了

3. 快取單例 Bean

在完全初始化好一個單例 Bean 后,會快取起來,如下:

// DefaultSingletonBeanRegistry.java
protected void addSingleton(String beanName, Object singletonObject) {
    synchronized (this.singletonObjects) {
        this.singletonObjects.put(beanName, singletonObject);
        this.singletonFactories.remove(beanName);
        this.earlySingletonObjects.remove(beanName);
        this.registeredSingletons.add(beanName);
    }
}

singletonObjects(一級 Map)存放當前單例 Bean,同時從 singletonFactories(三級 Map)和 earlySingletonObjects(二級 Map)中移除

總結

Spring 只處理單例 Bean 的欄位(或 Setter)注入出現回圈依賴,對于構造器注入出現的回圈依賴會直接拋出例外,還有就是如果是通過 denpends-on 配置的依賴出現了回圈,也會拋出例外,所以我覺得這里的“回圈依賴”換做“回圈依賴注入”是不是更合適一點

Spring 處理回圈依賴的解決方案如下:

  • Spring 在創建 Bean 的程序中,獲取到實體物件后會提前暴露出去,生成一個 ObjectFactory 物件,放入 singletonFactories(三級 Map)中
  • 在后續設定屬性程序中,如果出現回圈,則可以通過 singletonFactories(三級 Map)中對應的 ObjectFactory#getObject() 獲取這個早期物件,避免再次初始化

問題一:為什么需要上面的 二級 Map

因為通過 三級 Map獲取 Bean 會有相關 SmartInstantiationAwareBeanPostProcessor#getEarlyBeanReference 的處理,避免重復處理,處理后回傳的可能是一個代理物件

例如在回圈依賴中一個 Bean 可能被多個 Bean 依賴, A -> B(也依賴 A) -> C -> A,當你獲取 A 這個 Bean 時,后續 B 和 C 都要注入 A,沒有上面的 二級 Map的話,三級 Map 保存的 ObjectFactory 實作類會被呼叫兩次,會重復處理,可能出現問題,這樣做在性能上也有所提升

問題二:為什么不直接呼叫這個 ObjectFactory#getObject() 方法放入 二級Map中,而需要 三級 Map

對于沒有不涉及到 AOP 的 Bean 確實可以不需要 singletonFactories(三級 Map),但是 Spring AOP 就是 Spring 體系中的一員,如果沒有singletonFactories(三級 Map),意味著 Bean 在實體化后就要完成 AOP 代理,這樣違背了 Spring 的設計原則,Spring 是通過 AnnotationAwareAspectJAutoProxyCreator 這個后置處理器在完全創建好 Bean 后來完成 AOP 代理,而不是在實體化后就立馬進行 AOP 代理,如果出現了回圈依賴,那沒有辦法,只有給 Bean 先創建代理物件,但是在沒有出現回圈依賴的情況下,設計之初就是讓 Bean 在完全創建好后才完成 AOP 代理,

轉載請註明出處,本文鏈接:https://www.uj5u.com/houduan/266214.html

標籤:Java

上一篇:史前最詳細的:Java執行緒池核心流程決議

下一篇:學習筆記:Java泛型

標籤雲
其他(157675) Python(38076) JavaScript(25376) Java(17977) C(15215) 區塊鏈(8255) C#(7972) AI(7469) 爪哇(7425) MySQL(7132) html(6777) 基礎類(6313) sql(6102) 熊猫(6058) PHP(5869) 数组(5741) R(5409) Linux(5327) 反应(5209) 腳本語言(PerlPython)(5129) 非技術區(4971) Android(4554) 数据框(4311) css(4259) 节点.js(4032) C語言(3288) json(3245) 列表(3129) 扑(3119) C++語言(3117) 安卓(2998) 打字稿(2995) VBA(2789) Java相關(2746) 疑難問題(2699) 细绳(2522) 單片機工控(2479) iOS(2429) ASP.NET(2402) MongoDB(2323) 麻木的(2285) 正则表达式(2254) 字典(2211) 循环(2198) 迅速(2185) 擅长(2169) 镖(2155) 功能(1967) .NET技术(1958) Web開發(1951) python-3.x(1918) HtmlCss(1915) 弹簧靴(1913) C++(1909) xml(1889) PostgreSQL(1872) .NETCore(1853) 谷歌表格(1846) Unity3D(1843) for循环(1842)

熱門瀏覽
  • 【C++】Microsoft C++、C 和匯編程式檔案

    ......

    uj5u.com 2020-09-10 00:57:23 more
  • 例外宣告

    相比于斷言適用于排除邏輯上不可能存在的狀態,例外通常是用于邏輯上可能發生的錯誤。 例外宣告 Item 1:當函式不可能拋出例外或不能接受拋出例外時,使用noexcept 理由 如果不打算拋出例外的話,程式就會認為無法處理這種錯誤,并且應當盡早終止,如此可以有效地阻止例外的傳播與擴散。 示例 //不可 ......

    uj5u.com 2020-09-10 00:57:27 more
  • Codeforces 1400E Clear the Multiset(貪心 + 分治)

    鏈接:https://codeforces.com/problemset/problem/1400/E 來源:Codeforces 思路:給你一個陣列,現在你可以進行兩種操作,操作1:將一段沒有 0 的區間進行減一的操作,操作2:將 i 位置上的元素歸零。最終問:將這個陣列的全部元素歸零后操作的最少 ......

    uj5u.com 2020-09-10 00:57:30 more
  • UVA11610 【Reverse Prime】

    本人看到此題沒有翻譯,就附帶了一個自己的翻譯版本 思考 這一題,它的第一個要求是找出所有 $7$ 位反向質數及其質因數的個數。 我們應該需要質數篩篩選1~$10^{7}$的所有數,這里就不慢慢介紹了。但是,重讀題,我們突然發現反向質數都是 $7$ 位,而將它反過來后的數字卻是 $6$ 位數,這就說明 ......

    uj5u.com 2020-09-10 00:57:36 more
  • 統計區間素數數量

    1 #pragma GCC optimize(2) 2 #include <bits/stdc++.h> 3 using namespace std; 4 bool isprime[1000000010]; 5 vector<int> prime; 6 inline int getlist(int ......

    uj5u.com 2020-09-10 00:57:47 more
  • C/C++編程筆記:C++中的 const 變數詳解,教你正確認識const用法

    1、C中的const 1、區域const變數存放在堆疊區中,會分配記憶體(也就是說可以通過地址間接修改變數的值)。測驗代碼如下: 運行結果: 2、全域const變數存放在只讀資料段(不能通過地址修改,會發生寫入錯誤), 默認為外部聯編,可以給其他源檔案使用(需要用extern關鍵字修飾) 運行結果: ......

    uj5u.com 2020-09-10 00:58:04 more
  • 【C++犯錯記錄】VS2019 MFC添加資源不懂如何修改資源宏ID

    1. 首先在資源視圖中,添加資源 2. 點擊新添加的資源,復制自動生成的ID 3. 在解決方案資源管理器中找到Resource.h檔案,編輯,使用整個專案搜索和替換的方式快速替換 宏宣告 4. Ctrl+Shift+F 全域搜索,點擊查找全部,然后逐個替換 5. 為什么使用搜索替換而不使用屬性視窗直 ......

    uj5u.com 2020-09-10 00:59:11 more
  • 【C++犯錯記錄】VS2019 MFC不懂的批量添加資源

    1. 打開資源頭檔案Resource.h,在其中預先定義好宏 ID(不清楚其實ID值應該設定多少,可以先新建一個相同的資源項,再在這個資源的ID值的基礎上遞增即可) 2. 在資源視圖中選中專案資源,按F7編輯資源檔案,按 ID 型別 相對路徑的形式添加 資源。(別忘了先把檔案拷貝到專案中的res檔案 ......

    uj5u.com 2020-09-10 01:00:19 more
  • C/C++編程筆記:關于C++的參考型別,專供新手入門使用

    今天要講的是C++中我最喜歡的一個用法——參考,也叫別名。 參考就是給一個變數名取一個變數名,方便我們間接地使用這個變數。我們可以給一個變數創建N個參考,這N + 1個變數共享了同一塊記憶體區域。(參考型別的變數會占用記憶體空間,占用的記憶體空間的大小和指標型別的大小是相同的。雖然參考是一個物件的別名,但 ......

    uj5u.com 2020-09-10 01:00:22 more
  • 【C/C++編程筆記】從頭開始學習C ++:初學者完整指南

    眾所周知,C ++的學習曲線陡峭,但是花時間學習這種語言將為您的職業帶來奇跡,并使您與其他開發人員區分開。您會更輕松地學習新語言,形成真正的解決問題的技能,并在編程的基礎上打下堅實的基礎。 C ++將幫助您養成良好的編程習慣(即清晰一致的編碼風格,在撰寫代碼時注釋代碼,并限制類內部的可見性),并且由 ......

    uj5u.com 2020-09-10 01:00:41 more
最新发布
  • Rust中的智能指標:Box<T> Rc<T> Arc<T> Cell<T> RefCell<T> Weak

    Rust中的智能指標是什么 智能指標(smart pointers)是一類資料結構,是擁有資料所有權和額外功能的指標。是指標的進一步發展 指標(pointer)是一個包含記憶體地址的變數的通用概念。這個地址參考,或 ” 指向”(points at)一些其 他資料 。參考以 & 符號為標志并借用了他們所 ......

    uj5u.com 2023-04-20 07:24:10 more
  • Java的值傳遞和參考傳遞

    值傳遞不會改變本身,參考傳遞(如果傳遞的值需要實體化到堆里)如果發生修改了會改變本身。 1.基本資料型別都是值傳遞 package com.example.basic; public class Test { public static void main(String[] args) { int ......

    uj5u.com 2023-04-20 07:24:04 more
  • [2]SpinalHDL教程——Scala簡單入門

    第一個 Scala 程式 shell里面輸入 $ scala scala> 1 + 1 res0: Int = 2 scala> println("Hello World!") Hello World! 檔案形式 object HelloWorld { /* 這是我的第一個 Scala 程式 * 以 ......

    uj5u.com 2023-04-20 07:23:58 more
  • 理解函式指標和回呼函式

    理解 函式指標 指向函式的指標。比如: 理解函式指標的偽代碼 void (*p)(int type, char *data); // 定義一個函式指標p void func(int type, char *data); // 宣告一個函式func p = func; // 將指標p指向函式func ......

    uj5u.com 2023-04-20 07:23:52 more
  • Django筆記二十五之資料庫函式之日期函式

    本文首發于公眾號:Hunter后端 原文鏈接:Django筆記二十五之資料庫函式之日期函式 日期函式主要介紹兩個大類,Extract() 和 Trunc() Extract() 函式作用是提取日期,比如我們可以提取一個日期欄位的年份,月份,日等資料 Trunc() 的作用則是截取,比如 2022-0 ......

    uj5u.com 2023-04-20 07:23:45 more
  • 一天吃透JVM面試八股文

    什么是JVM? JVM,全稱Java Virtual Machine(Java虛擬機),是通過在實際的計算機上仿真模擬各種計算機功能來實作的。由一套位元組碼指令集、一組暫存器、一個堆疊、一個垃圾回收堆和一個存盤方法域等組成。JVM屏蔽了與作業系統平臺相關的資訊,使得Java程式只需要生成在Java虛擬機 ......

    uj5u.com 2023-04-20 07:23:31 more
  • 使用Java接入小程式訂閱訊息!

    更新完微信服務號的模板訊息之后,我又趕緊把微信小程式的訂閱訊息給實作了!之前我一直以為微信小程式也是要企業才能申請,沒想到小程式個人就能申請。 訊息推送平臺🔥推送下發【郵件】【短信】【微信服務號】【微信小程式】【企業微信】【釘釘】等訊息型別。 https://gitee.com/zhongfuch ......

    uj5u.com 2023-04-20 07:22:59 more
  • java -- 緩沖流、轉換流、序列化流

    緩沖流 緩沖流, 也叫高效流, 按照資料型別分類: 位元組緩沖流:BufferedInputStream,BufferedOutputStream 字符緩沖流:BufferedReader,BufferedWriter 緩沖流的基本原理,是在創建流物件時,會創建一個內置的默認大小的緩沖區陣列,通過緩沖 ......

    uj5u.com 2023-04-20 07:22:49 more
  • Java-SpringBoot-Range請求頭設定實作視頻分段傳輸

    老實說,人太懶了,現在基本都不喜歡寫筆記了,但是網上有關Range請求頭的文章都太水了 下面是抄的一段StackOverflow的代碼...自己大修改過的,寫的注釋挺全的,應該直接看得懂,就不解釋了 寫的不好...只是希望能給視頻網站開發的新手一點點幫助吧. 業務場景:視頻分段傳輸、視頻多段傳輸(理 ......

    uj5u.com 2023-04-20 07:22:42 more
  • Windows 10開發教程_編程入門自學教程_菜鳥教程-免費教程分享

    教程簡介 Windows 10開發入門教程 - 從簡單的步驟了解Windows 10開發,從基本到高級概念,包括簡介,UWP,第一個應用程式,商店,XAML控制元件,資料系結,XAML性能,自適應設計,自適應UI,自適應代碼,檔案管理,SQLite資料庫,應用程式到應用程式通信,應用程式本地化,應用程式 ......

    uj5u.com 2023-04-20 07:22:35 more