ScopedValue 的不可变性：理解对象引用与对象状态的区别-java教程-PHP中文网

ScopedValue 的不可变性：理解对象引用与对象状态的区别

scopedvalue 保证的是绑定值的引用不可变，而非其指向对象的内部状态不可变；修改对象属性（如 user.name）不会影响 scopedvalue 的绑定关系，但会改变共享对象的状态，需谨慎设计数据结构。

scopedvalue 保证的是绑定值的引用不可变，而非其指向对象的内部状态不可变；修改对象属性（如 user.name）不会影响 scopedvalue 的绑定关系，但会改变共享对象的状态，需谨慎设计数据结构。

ScopedValue 是 Java 20 引入的孵化特性（位于 jdk.incubator.concurrent 包），旨在为协程（虚拟线程）提供轻量、安全、作用域受限的隐式参数传递机制。其核心设计原则之一是 “绑定不可变性”（binding immutability） —— 即一旦通过 ScopedValue.where() 建立绑定，该作用域内 ScopedValue.get() 返回的引用值无法被外部代码替换或重新绑定（没有 set() 或 bind() 方法），从而避免意外覆盖和竞态问题。

但这绝不意味着所绑定对象本身是不可变的。正如示例所示：

public final static ScopedValue<user> LOGGED_IN_USER = ScopedValue.newInstance();

// 绑定一个可变对象
User user = new User();
user.name = "ABC";
ScopedValue.where(LOGGED_IN_USER, user, () -> f1());</user>

此处 LOGGED_IN_USER 绑定的是对 user 实例的引用，而 User 类本身未做任何封装保护（name 字段 public 且可变）。因此在 f1() 中执行 user.name = "DEF"，实际修改的是堆中同一个 User 对象的状态；f2() 中再次 get() 到的仍是该对象引用，自然读取到已被修改的 "DEF"。

✅ 正确理解：

✅ ScopedValue 的绑定是不可变的：你无法在作用域内调用 LOGGED_IN_USER.set(...)（该方法根本不存在），也无法通过其他方式篡改当前作用域绑定的引用。
❌ 所绑定对象的内部状态仍可被修改——这取决于对象自身是否遵循不可变（immutable）设计原则。

? 如何真正实现安全的 ScopedValue 使用？

Gen-2

Gen-2是一款AI视频创作工具，Runway最新推出的AI视频生成模型。

下载

推荐做法是绑定不可变对象，例如：

record User(String name) {} // record 自动实现不可变性

// 或使用 final 字段 + 无 setter 的普通类
final class ImmutableUser {
    private final String name;
    public ImmutableUser(String name) { this.name = name; }
    public String name() { return name; }
}

此时即使尝试 user.name = "DEF" 也会编译失败，从根本上杜绝状态污染。

⚠️ 注意事项：