scopedvalue 本身是不可变的——它只提供对绑定值的只读访问，但其持有的对象实例仍可被修改；真正的不可变性需由对象自身保证，而非 scopedvalue 机制。
scopedvalue 本身是不可变的——它只提供对绑定值的只读访问，但其持有的对象实例仍可被修改；真正的不可变性需由对象自身保证，而非 scopedvalue 机制。
ScopedValue 是 Java 20 引入的孵化特性（位于 jdk.incubator.concurrent），旨在安全、高效地在线程作用域内传递上下文数据。其设计核心之一是值绑定的不可变性（immutability of binding）：一旦通过 ScopedValue.where() 绑定某个值，该绑定在作用域内不可被覆盖或重新赋值——即无法调用类似 set() 的方法更改当前作用域所见的 ScopedValue 实例关联的对象引用。
但需明确区分两个关键概念：
- ✅ ScopedValue 的绑定是不可变的：你不能在作用域内“替换” LOGGED_IN_USER 所指向的对象引用。ScopedValue 不提供 set()、reset() 等写入接口，get() 始终返回最初绑定的那个引用。
- ❌ 该引用所指向的对象本身未必不可变：如示例中 User 类是可变的（name 字段为 public 且无封装），因此 user.name = "DEF" 修改的是堆上同一个 User 实例的状态，而非改变 ScopedValue 的绑定目标。
这就是为何输出为：
In f1 user = ABC In f2 user = DEF
——f1 和 f2 获取到的是同一个 User 对象引用，而 f1 中对其字段的修改直接影响了后续所有对该对象的访问。
正确实践：确保上下文对象的不可变性
要真正实现线程作用域内“安全共享”，应让上下文对象本身不可变。例如重构 User 类：
final class User {
private final String name;
public User(String name) { this.name = name; }
public String name() { return name; } // Java 14+ record 或显式 getter
}
或更简洁地使用 record（推荐）：
record User(String name) {}
此时，即使尝试 user.name = "DEF" 也会编译失败（record 字段隐式 final），从根本上杜绝意外状态污染。
补充说明与注意事项
- ? ScopedValue 的不可变性是作用域级、引用级的，不是深不可变（deep immutability）。它不递归冻结对象图。
- ? 若必须使用可变对象，请在文档和团队规范中明确约定：仅读取，禁止修改；必要时可在 get() 后手动防御性拷贝（如 new User(user.name())），但会增加开销。
- ? ScopedValue 与 ThreadLocal 的关键差异正在于此：前者无需手动清理、天然支持虚拟线程，且绑定行为由 JVM 保障原子性与作用域隔离；但二者对值对象的可变性约束完全一致——均不干预对象内部状态。
总之，ScopedValue 提供的是“安全的只读引用通道”，而非“自动冻结对象”。构建健壮的上下文传递逻辑，必须协同设计不可变的数据载体。
