当前位置：首页 > 文章列表 > 文章 > java教程 > Java 25 稳定值接口为什么会因循环依赖抛 IllegalStateException：依赖图与强可达边界

Java 25 稳定值接口为什么会因循环依赖抛 IllegalStateException：依赖图与强可达边界

来源：17golang原创 2026-08-30 21:49:43 0浏览收藏

线上配置组件偶尔在第一次请求时直接抛出 IllegalStateException，排查后发现并不是多个线程同时初始化，而是两个 StableValue 互相等待对方的内容。Java 25 的 StableValue 适合表达“只设置一次”的惰性状态，但它不会替你修复循环依赖。

StableValue 的关键约束是：每个值最多成功设置一次；orElseSet 可以把一次性初始化和并发竞态收在一起，但初始化图必须保持无环。

要点速览：

orElseSet 负责惰性计算和最多一次的成功写入，不等于依赖关系自动安全。
两个稳定值在 supplier 中互相调用时，会形成循环依赖，并在取值路径上抛出 IllegalStateException。
稳定值一旦设置就不会移除，长期持有大对象时要把强可达和生命周期一起纳入设计。

变化先看清：StableValue 不是普通可变缓存

StableValue 是 Java 25 的预览 API。它保存一个最多设置一次的内容：可以先用 StableValue.of() 建立空容器，再通过 trySet、setOrThrow 或 orElseSet 写入；读取时则使用 orElseThrow、orElse 或再次调用 orElseSet。

这和普通的 Map 缓存有一个很实际的差别：稳定值没有“刷新”或“删除已设置内容”的操作。它表达的是初始化完成后保持不变的状态，而不是随时可替换的缓存条目。

为什么两个 supplier 会绕成一个圈

下面的代码把依赖关系缩小到两个组件。FOO 负责创建 Foo，BAR 负责创建依赖 FOO.get() 的 Bar。只要 Foo 的构造过程又回头访问 BAR.get()，依赖图就不再是树。

final class Components {
    static final Supplier FOO = StableValue.supplier(Foo::new);
    static final Supplier BAR = StableValue.supplier(() -> new Bar(FOO.get()));

    static final class Foo {
        Foo() {
            BAR.get(); // 形成 Foo -> Bar -> Foo 的回路
        }
    }

    static final class Bar {
        Bar(Foo foo) {}
    }
}

FOO、BAR、Foo和Bar之间形成循环依赖的静态框图 — 图1：FOO 创建 Foo，BAR 创建依赖 Foo 的 Bar；构造过程若回访 BAR，就会把两个稳定值连成闭环。

第一次调用 BAR.get() 时，BAR 尚未设置，于是 supplier 开始创建 Bar。创建 Bar 需要先取 FOO.get()；而 Foo 构造器又调用 BAR.get()，这次访问回到了仍在计算的稳定 supplier。这个回路无法得到一个先完成的起点，最终会以 IllegalStateException 结束。

把初始化图改成单向依赖

修复的重点不是给 get() 外面加一层捕获，而是让对象构造依赖一个已经存在的输入，或者把共享依赖提升到第三个不回访下游的组件。比如让 Foo 不在构造器里访问 BAR，由业务入口在拿到两个对象后再执行组合动作。

final class Components {
    static final Supplier FOO = StableValue.supplier(Foo::new);
    static final Supplier BAR = StableValue.supplier(() -> new Bar(FOO.get()));

    static Bar bar() {
        return BAR.get();
    }

    static void useBoth() {
        Foo foo = FOO.get();
        Bar bar = BAR.get();
        // 组合动作放在初始化完成之后
        use(foo, bar);
    }

    static void use(Foo foo, Bar bar) {}
}