文档 / 语言
内存模型
每个 owning 值同一时刻一个所有者。按值传参/返回/写入 owning 槽即 move。离开作用域确定性 drop。use-after-move 是编译错误。
| 写法 | 含义 |
|---|---|
按值 string / []T | move |
&x | 共享借用 |
mut &x（x 须 mut） | 独占借用 |
*r | 解引用标量（写需 &mut） |
共享借用存活期间不可写 / move / 再取 &mut。没有 unsafe 关键字。托管目标拒绝任意地址的 volatile 写。
File、Conn 等资源采用 affine 所有权：move 转移资源，作用域退出时自动关闭，原生句柄保持包内可见。I/O 通过借用访问资源，使用进度 API 时须处理 EOF/错误携带的数据和明确的写入进度结果。