Ref[T] 的读写与受控可变性

语法

该条目描述 Ref[T] 的 surface 读写操作与方法面。

语义

Ref[T] 应明确区分：

• 读取当前值
• 覆写当前值
• 可变性是否需要线性或单线程约束

level-1 中，Ref[T] 的读写属于受控可变性操作；它不是普通值解构，也不是裸指针写内存。

Ref[T] 的 surface 可通过既定方法面或赋值协议暴露，但其核心语义始终是“在单 world 内读/写一个受控 cell”。

Usage

let r: Ref[i32] = cell
let x = r.get()
r.set(x + 1)

注释：这里的 get / set 只是说明读写是显式受控操作；具体 surface 可继续细化，但不能把 Ref 降格成普通值或裸地址。

边界

读写表面可以继续在方法、专用赋值协议或两者结合之间细化，但不改变 Ref[T] 的单 world 受控可变性定位。