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());
此处 LOGGED_IN_USER 绑定的是对 user 实例的引用，而 User 类本身未做任何封装保护（name 字段 public 且可变）。因此在 f1() 中执行 user.name = "DEF"，实际修改的是堆中同一个 User 对象的状态；f2() 中再次 get() 到的仍是该对象引用，自然读取到已被修改的 "DEF"。
✅ 正确理解：
- ✅ ScopedValue 的绑定是不可变的：你无法在作用域内调用 LOGGED_IN_USER.set(...)（该方法根本不存在），也无法通过其他方式篡改当前作用域绑定的引用。
- ❌ 所绑定对象的内部状态仍可被修改——这取决于对象自身是否遵循不可变（immutable）设计原则。
? 如何真正实现安全的 ScopedValue 使用？
推荐做法是绑定不可变对象，例如：
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" 也会编译失败，从根本上杜绝状态污染。
⚠️ 注意事项：
- 不要将可变对象（如 ArrayList、普通 POJO）直接作为 ScopedValue 值，除非你明确接受其跨方法调用被意外修改的风险；
- 若必须使用可变对象，请确保其生命周期严格限定于单次作用域，或采用防御性拷贝（如 new User(original.name)）；
- ScopedValue 不提供线程/作用域隔离的对象副本机制——它只管理引用绑定，不负责深拷贝。
总结：ScopedValue 的“不可变”是语义层面的绑定契约，而非运行时对象冻结。开发者需主动配合——选择不可变数据类型，才能真正发挥 ScopedValue 在虚拟线程环境下的安全性与可预测性优势。
