Rust中从可变引用重借用共享引用的规则疑问

先看你给出的代码示例：

let mut v = (136, 139);
let m = &mut v;
let m0 = &mut m.0;   //ok: reborrowing mutable from mutable
*m0 = 137;
let r1 = &m.1;       //ok: reborrowing shared from mutable,
                     //and doesn't overlap with m0
v.1;                 //error: access through other paths still forbidden
println!("{}", r1);  //r1 gets used here

你的核心困惑是：既然m0是从m借用的可变引用，为什么还能通过m去借用m.1？这其实是Rust借用检查器细粒度非重叠借用规则的体现，我们结合书中的规则拆解：

1. 重借用的范围是“具体字段”而非整个父引用 #

书中提到：“唯一可与可变引用生命周期重叠的引用，是直接从该可变引用本身借用的引用”——这里的关键是，从m进行的重借用，是可以限定到具体子字段的，而不是把整个m完全锁定。

当你创建m0 = &mut m.0时，Rust的借用检查器会记录：m0只占用了m指向的元组的第一个字段，而m本身并没有被完全禁用，只要后续的借用不触碰m.0这个被占用的字段，就依然合法。

2. 非重叠的独立字段允许同时借用 #

元组的两个字段是完全独立的内存区域，m0借用的是v.0，r1借用的是v.1，二者没有任何内存重叠。借用检查器的核心目标是防止“同时存在可变引用和其他引用指向同一块内存”，而这里的两块内存完全分离，所以规则允许这种操作。

反过来，如果尝试在m0存活时借用m.0，就会触发错误：

let mut v = (136, 139);
let m = &mut v;
let m0 = &mut m.0;
let m1 = &m.0; // 报错：无法同时存在可变引用和共享引用指向同一块内存

3. 所有权树的实际含义 #

书中的所有权树可以这样理解：

• v是根节点，m是v的子节点（可变引用）
• m0是m.0的子节点（可变重引用），r1是m.1的子节点（共享重引用）
• 规则要求：同一节点下不能有重叠的可变/共享引用，但不同子节点（独立字段）的引用是允许共存的。
• 同时，根节点v的路径被m锁定，所以直接访问v.1会报错——这符合书中“不存在指向引用对象的其他可用路径”的规则，因为v的唯一合法路径是m。

总结 #

Rust的借用检查器不是粗粒度地锁定整个父引用，而是会追踪到具体的借用范围（比如字段级别）。只要从同一个父引用衍生出的重引用，指向的是无重叠的独立内存区域，就可以同时存在，这完全符合书中的规则——因为这些重引用都是“直接从该可变引用本身借用的”，且没有冲突。

内容的提问来源于stack exchange，提问作者mishar