单链表节点删除的两种实现：为何while let版本编译失败？

我实现了两个单链表节点删除函数，其中方法1无法正常编译，编译器提示curr被借用。想了解while let Some(boxed_node) = curr与match curr的区别，为何方法1报错而方法2可行？

方法1（编译失败） #

fn delete_method_1(&mut self, val: i32) {
    let mut curr = &mut self.head;

    while let Some(boxed_node) = curr {
        if boxed_node.val == val {
            *curr = boxed_node.next.take(); // 编译报错
        } else {
            curr = &mut boxed_node.next
        }
    }
}

方法1的错误信息 #

while let Some(boxed_node) = curr {
   |                        ---------- `*curr` is borrowed here
26 |             if boxed_node.val == val {
27 |                 *curr = boxed_node.next.take(); // 编译报错
   |                 ^^^^^
   |                 |
   |                 `*curr` is assigned to here but it was already borrowed
   |                 borrow later used here

方法2（编译正常） #

fn delete_method_2(&mut self, val: i32) {
    let mut curr = &mut self.head;
    loop {
        match curr {
            None => return,
            Some(boxed_node) if boxed_node.val == val => {
                *curr = boxed_node.next.take();
            },
            Some(boxed_node) => {
                curr = &mut boxed_node.next;
            }
        }
    }
}

我原本预期方法1能够正常工作。

差异原因分析 #

核心在于Rust借用检查器对两种语法的借用生命周期处理逻辑不同：

• while let的借用范围问题
  while let Some(boxed_node) = curr会将boxed_node作为*curr的可变借用，且这个借用的生命周期会覆盖整个循环体的当前迭代。当你在if分支尝试对*curr赋值时，相当于同时持有*curr的可变借用（通过boxed_node）和试图修改*curr，违反了Rust"同一时间只能有一个可变借用"的规则。此外，while let的模式匹配会绑定curr的借用，直到迭代结束才释放，导致赋值操作无法获取*curr的访问权。

• match的分支隔离特性
  match curr的每个分支都是独立的作用域，借用检查器会逐个分支分析：

  • 进入Some(boxed_node) if boxed_node.val == val分支时，boxed_node的借用仅在该分支内有效。执行赋值操作后，分支结束，借用立即释放，不会和后续操作冲突。
  • 在Some(boxed_node)分支中，更新curr为&mut boxed_node.next后，原boxed_node的借用会被丢弃，不影响下一次循环的match匹配。

简单来说，match的分支独立特性让借用能及时释放，而while let会延长借用生命周期，引发冲突。

内容的提问来源于stack exchange，提问作者Wai Ting 13