为何添加类型注解能消除Rust中的借用错误？

问题现象 #

• 无类型注解的代码无法编译：ref1在第5行被移动后，第8行无法再使用

fn main() {
    let mut n = 42u32;

    let ref1 = &mut n; 
    let ref2 = ref1;   // line 5
    
    ref2;
    ref1;              // line 8
}

• 添加&mut u32类型注解后，rustc 1.36+版本可正常编译：

fn main() {
    let mut n = 42u32;

    let ref1 = &mut n;
    let ref2: &mut u32 = ref1;
    //      ++++++++++
    ref2;
    ref1;
}

• rustc 1.35.0（无NLL）的错误信息：

error[E0505]: cannot move out of `ref1` because it is borrowed --> 
<source>:9:5  
  |
6 |     let ref2: &mut u32 = ref1;  
  |                          ---- borrow of `*ref1` occurs here
...
9 |     ref1; 
  |     ^^^^ move out of `ref1` occurs here
error: aborting due to previous error

背后原因解析 #

1. 移动语义 vs 重借用 #

&mut引用属于非Copy类型：

• 无类型注解时，let ref2 = ref1会触发移动语义：ref1的所有权被转移给ref2，后续ref1无法再被访问，这是第一个代码编译失败的核心原因。
• 显式添加类型注解后，编译器会将ref1的使用解析为重借用：相当于隐式执行let ref2 = &mut *ref1;，创建一个新的、生命周期更短的&mut引用，原ref1的所有权并未被转移，只是暂时被借用。

2. NLL（非词法生命周期）的关键作用 #

• 旧版词法生命周期（rustc <1.36）：重借用的生命周期会绑定到变量ref2的整个作用域，即使ref2在第7行之后不再被使用，ref1仍会被判定为持续被借用，因此1.35版本报错“无法从ref1移动，因为它被借用了”。
• NLL（rustc >=1.36）：编译器会根据代码的实际使用位置计算生命周期，ref2的生命周期仅到它最后一次被调用的第7行，之后ref1的借用限制自动解除，第8行就能正常使用ref1。

3. 类型注解为何能触发重借用？ #

当没有类型注解时，编译器优先匹配最直接的语义——移动（非Copy类型的默认赋值行为）。而添加&mut u32类型注解后，编译器需要将ref1转换为目标类型，此时会自动触发强制重借用逻辑，将原引用转换为新的短生命周期引用，而非移动所有权。

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