深入图解 Spring 循环依赖

本文聚焦Spring解决循环依赖问题,先指出原型和基于构造器的循环依赖不被支持,接着介绍Spring通过三级缓存解决默认单例属性注入场景的循环依赖。还揭示循环依赖本质,类比two sum解题思路,提醒读者跳出源码泥潭,从本质思考问题。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

点击“开发者技术前线”,选择“星标????”

让一部分开发者看到未来

本文来源:

https://juejin.im/post/5e927e27f265da47c8012ed9

Spring如何解决的循环依赖,是近两年流行起来的一道Java面试题。

其实笔者本人对这类框架源码题还是持一定的怀疑态度的。

如果笔者作为面试官,可能会问一些诸如“如果注入的属性为null,你会从哪几个方向去排查”这些场景题。

那么既然写了这篇文章,闲话少说,发车看看Spring是如何解决的循环依赖,以及带大家看清循环依赖的本质是什么。

正文

通常来说,如果问Spring内部如何解决循环依赖,一定是单默认的单例Bean中,属性互相引用的场景。比如几个Bean之间的互相引用:

甚至自己“循环”依赖自己:

先说明前提:原型(Prototype)的场景是不支持循环依赖的,通常会走到AbstractBeanFactory类中下面的判断,抛出异常。

if (isPrototypeCurrentlyInCreation(beanName)) {
  throw new BeanCurrentlyInCreationException(beanName);
}

原因很好理解,创建新的A时,发现要注入原型字段B,又创建新的B发现要注入原型字段A...

这就套娃了, 你猜是先StackOverflow还是OutOfMemory?

Spring怕你不好猜,就先抛出了BeanCurrentlyInCreationException

image

基于构造器的循环依赖,就更不用说了,官方文档都摊牌了,你想让构造器注入支持循环依赖,是不存在的,不如把代码改了。

那么默认单例的属性注入场景,Spring是如何支持循环依赖的?

Spring解决循环依赖

首先,Spring内部维护了三个Map,也就是我们通常说的三级缓存。

笔者翻阅Spring文档倒是没有找到三级缓存的概念,可能也是本土为了方便理解的词汇。

在Spring的DefaultSingletonBeanRegistry类中,你会赫然发现类上方挂着这三个Map:

  • singletonObjects 它是我们最熟悉的朋友,俗称“单例池”“容器”,缓存创建完成单例Bean的地方。

  • singletonFactories 映射创建Bean的原始工厂

  • earlySingletonObjects 映射Bean的早期引用,也就是说在这个Map里的Bean不是完整的,甚至还不能称之为“Bean”,只是一个Instance.

后两个Map其实是“垫脚石”级别的,只是创建Bean的时候,用来借助了一下,创建完成就清掉了。

所以笔者前文对“三级缓存”这个词有些迷惑,可能是因为注释都是以Cache of开头吧。

为什么成为后两个Map为垫脚石,假设最终放在singletonObjects的Bean是你想要的一杯“凉白开”。

那么Spring准备了两个杯子,即singletonFactories和earlySingletonObjects来回“倒腾”几番,把热水晾成“凉白开”放到singletonObjects中。

闲话不说,都浓缩在图里。

上面的是一张GIF,如果你没看到可能还没加载出来。三秒一帧,不是你电脑卡。

笔者画了17张图简化表述了Spring的主要步骤,GIF上方即是刚才提到的三级缓存,下方展示是主要的几个方法。

当然了,这个地步你肯定要结合Spring源码来看,要不肯定看不懂。

如果你只是想大概了解,或者面试,可以先记住笔者上文提到的“三级缓存”,以及下文即将要说的本质。

循环依赖的本质

上文了解完Spring如何处理循环依赖之后,让我们跳出“阅读源码”的思维,假设让你实现一个有以下特点的功能,你会怎么做?

  • 将指定的一些类实例为单例

  • 类中的字段也都实例为单例

  • 支持循环依赖

举个例子,假设有类A:


public class A {
    private B b;
}
// 类B:
public class B {
    private A a;
}

说白了让你模仿Spring:假装A和B是被@Component修饰, 并且类中的字段假装是@Autowired修饰的,处理完放到Map中。其实非常简单,笔者写了一份粗糙的代码,可供参考:

 /**
     * 放置创建好的bean Map
     */
    private static Map<String, Object> cacheMap = new HashMap<>(2);

    public static void main(String[] args) {
        // 假装扫描出来的对象
        Class[] classes = {A.class, B.class};
        // 假装项目初始化实例化所有bean
        for (Class aClass : classes) {
            getBean(aClass);
        }
        // check
        System.out.println(getBean(B.class).getA() == getBean(A.class));
        System.out.println(getBean(A.class).getB() == getBean(B.class));
    }

    @SneakyThrows
    private static <T> T getBean(Class<T> beanClass) {
        // 本文用类名小写 简单代替bean的命名规则
        String beanName = beanClass.getSimpleName().toLowerCase();
        // 如果已经是一个bean,则直接返回
        if (cacheMap.containsKey(beanName)) {
            return (T) cacheMap.get(beanName);
        }
        // 将对象本身实例化
        Object object = beanClass.getDeclaredConstructor().newInstance();
        // 放入缓存
        cacheMap.put(beanName, object);
        // 把所有字段当成需要注入的bean,创建并注入到当前bean中
        Field[] fields = object.getClass().getDeclaredFields();
        for (Field field : fields) {
            field.setAccessible(true);
            // 获取需要注入字段的class
            Class<?> fieldClass = field.getType();
            String fieldBeanName = fieldClass.getSimpleName().toLowerCase();
            // 如果需要注入的bean,已经在缓存Map中,那么把缓存Map中的值注入到该field即可
            // 如果缓存没有 继续创建
            field.set(object, cacheMap.containsKey(fieldBeanName)
                    ? cacheMap.get(fieldBeanName) : getBean(fieldClass));
        }
        // 属性填充完成,返回
        return (T) object;
    }

这段代码的效果,其实就是处理了循环依赖,并且处理完成后,cacheMap中放的就是完整的“Bean”了

这就是“循环依赖”的本质,而不是“Spring如何解决循环依赖”。

之所以要举这个例子,是发现一小部分盆友陷入了“阅读源码的泥潭”,而忘记了问题的本质。

为了看源码而看源码,结果一直看不懂,却忘了本质是什么。如果真看不懂,不如先写出基础版本,逆推Spring为什么要这么实现,可能效果会更好。

what?问题的本质居然是two sum!

看完笔者刚才的代码有没有似曾相识?没错,和two sum的解题是类似的。不知道two sum是什么梗的,笔者和你介绍一下:two sum是刷题网站leetcode序号为1的题,也就是大多人的算法入门的第一题。常常被人调侃,有算法面的公司,被面试官钦定了,合的来。那就来一道two sum走走过场。

问题内容是:给定一个数组,给定一个数字。返回数组中可以相加得到指定数字的两个索引。比如:给定nums = [2, 7, 11, 15], target = 9 那么要返回 [0, 1],因为2 + 7 = 9这道题的优解是,一次遍历+HashMap:

class Solution {
    public int[] twoSum(int[] nums, int target) {
        Map<Integer, Integer> map = new HashMap<>();
        for (int i = 0; i < nums.length; i++) {
            int complement = target - nums[i];
            if (map.containsKey(complement)) {
                return new int[] { map.get(complement), i };
            }
            map.put(nums[i], i);
        }
        throw new IllegalArgumentException("No two sum solution");
    }
}

先去Map中找需要的数字,没有就将当前的数字保存在Map中,如果找到需要的数字,则一起返回。

和笔者上面的代码是不是一样?

先去缓存里找Bean,没有则实例化当前的Bean放到Map,如果有需要依赖当前Bean的,就能从Map取到。

结尾

如果你是上文笔者提到的“陷入阅读源码的泥潭”的读者,上文应该可以帮助到你。

可能还有盆友有疑问,为什么一道“two-sum”,Spring处理的如此复杂?

这个想想Spring支持多少功能就知道了,各种实例方式..各种注入方式..各种Bean的加载,校验..各种callback,aop处理等等..

Spring可不只有依赖注入,同样Java也不仅是Spring。如果我们陷入了某个“牛角尖”,不妨跳出来看看,可能会更佳清晰哦。

END


  最后给读者整理了一份大厂面试真题,需要的可扫码加我微信获取。

前线推出学习交流群,加群一定要备注:研究/工作方向+地点+学校/公司+昵称(如前端+上海+上交+可可)根据格式备注,可更快被通过且邀请进群,领取一份专属学习礼包扫码加我微信进群,内推和技术交流,大佬们零距离历史推荐京东推出轻量级分布式 RPC 框架 — EasyRPC
2020 最好的 10 大学习编程网站!
刷题一个半月,一口气拿下腾讯、华为、Oppo 、微软7个大厂offer,字节跳动薪资涨幅60%!腾讯视频 Python 爬虫项目实战
好文点个在看吧!
<think>嗯,用户想了解Spring框架如何通过三级缓存解决Bean之间的循环依赖问题,并且希望有图解说明。我需要先回忆一下Spring的三级缓存机制。Spring在创建Bean的时候,如果遇到循环依赖,比如A依赖B,B又依赖A,这时候需要机制来避免无限循环。三级缓存分别是singletonFactories、earlySingletonObjects和singletonObjects。 首先,应该解释三个缓存的作用。singletonFactories存放的是生成早期Bean的工厂,earlySingletonObjects存放的是还未完全初始化的Bean实例,singletonObjects存放的是完全初始化好的Bean。当创建A的时候,A的工厂会被放入singletonFactories,接着填充属性时发现需要B,于是开始创建B。B在填充属性时又需要A,这时候会从singletonFactories中找到A的工厂,生成早期对象放入earlySingletonObjects,并移除对应的工厂。这样B就能完成初始化,放入singletonObjects,然后A也能继续完成初始化。 用户可能对这三个缓存的具体使用流程不太清楚,需要一步步说明。同时,图解的话,可能需要用文字描述流程图,比如步骤1到步骤N,每个步骤涉及哪个缓存的变化。另外,需要提到Spring只能解决单例模式下通过setter注入的循环依赖,构造器注入无法解决,这点很重要,用户可能在实际开发中遇到类似问题需要注意。 还要注意引用部分,用户提到了引用[1]和引用[2],但引用内容似乎和Spring无关,可能是示例中的占位符。不过根据系统指令,可能需要引用相关文献,但用户提供的引用可能与主题无关,需要确认是否有其他来源。不过按照用户给的参考,可能不需要额外引用,或者需要指出Spring官方文档作为参考。 最后,生成相关问题的时候,应该围绕循环依赖的其他解决方式、三级缓存的局限性,以及与构造器注入的关系来提问,这样能帮助用户进一步理解。</think>### Spring框架三级缓存机制解决循环依赖图解说明 Spring通过三级缓存机制解决单例Bean的循环依赖问题[^1],核心流程分为以下步骤: $$流程图$$ 创建A → 存入三级缓存 → 填充属性B → 创建B → 填充属性A → 从三级缓存获取A的半成品 → 完成B的初始化 → 完成A的初始化 $$ #### 三级缓存结构说明 | 缓存层级 | 数据结构 | 存储内容 | |---------|---------|---------| | 一级缓存 | singletonObjects | 完成初始化的完整Bean | | 二级缓存 | earlySingletonObjects | 已实例化但未初始化的早期引用 | | 三级缓存 | singletonFactories | ObjectFactory工厂对象 | #### 执行流程分解(以A→B→A循环依赖为例): 1. **创建Bean A** - 通过`getBean("A")`触发实例化 - 调用构造器创建A的原始对象(此时对象属性为空) - 将A的ObjectFactory存入三级缓存`singletonFactories` 2. **填充属性阶段** ```java // 伪代码示例 populateBean(){ if (需要注入B) { getBean("B") // 触发B的创建流程 } } ``` 3. **创建Bean B** - 通过`getBean("B")`触发实例化 - 调用构造器创建B的原始对象 - 将B的ObjectFactory存入三级缓存 4. **B填充属性A** - 执行`getBean("A")`时: - 在一级缓存未找到 - 在三级缓存找到A的ObjectFactory - 通过`getObject()`获取A的早期引用 - 将A早期引用移入二级缓存`earlySingletonObjects` - 从三级缓存删除A的工厂对象 5. **完成B的初始化** - B持有A的早期引用 - 将完整B对象存入一级缓存`singletonObjects` - 清除B在二、三级缓存的记录 6. **完成A的初始化** - A获得完整B对象的引用 - 执行初始化后处理器 - 将完整A对象存入一级缓存 #### 关键约束条件 1. 仅支持**setter/field注入**方式的循环依赖 2. 构造器注入无法通过此机制解决 3. 要求Bean必须是**单例作用域** 4. 不支持原型(prototype)作用域的Bean ```plantuml @startuml participant "一级缓存" as L1 participant "二级缓存" as L2 participant "三级缓存" as L3 participant "Bean A" as A participant "Bean B" as B A -> L3: 存入A的ObjectFactory A -> B: getBean("B") B -> L3: 存入B的ObjectFactory B -> L3: 查询A的ObjectFactory L3 --> B: 返回A的早期对象 B -> L2: 存入A的早期引用 B -> L1: 存入完整B对象 A -> L1: 获取完整B对象 A -> L1: 存入完整A对象 @enduml ```
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值