遍历链表时如何在while循环中重新赋值&mut类型变量？

你的问题核心在于违反了Rust的可变借用规则：同一时间，一个值不能同时存在多个可变借用，也不能在可变借用未释放时修改被借用的变量。我们来一步步分析问题并解决它。

原代码的问题分析 #

在你的while let循环中：

while let Some(t) = inner_this {
    // ... 处理t ...
    inner_this = next;
}

• while let Some(t) = inner_this会将inner_this（类型为&mut Option<Box<ListNode>>）可变借用给t，这个借用会持续整个循环体。
• 当你尝试在循环末尾给inner_this赋值时，t的借用还未结束，这就触发了E0506错误（不能给被借用的变量赋值）。
• 同时，下一次循环迭代时，又会尝试再次借用inner_this，而之前的借用还未释放，导致E0499错误（不能同时多次可变借用）。

解决方案：改用loop手动控制借用生命周期 #

我们可以用loop配合match来明确控制借用的生命周期，避免同时持有借用和修改变量的冲突：

struct ListNode {
    val: i32,
    next: Option<Box<ListNode>>,
}

fn check_ten(this: &mut Option<Box<ListNode>>, f: &i32) {
    let mut inner_this = this;
    let mut flag = *f;
    
    loop {
        // 手动匹配当前节点，获取可变引用或退出循环
        let current = match inner_this {
            Some(node) => node,
            None => break,
        };
        
        // 处理当前节点的val和进位flag
        current.val += flag;
        if current.val >= 10 {
            current.val -= 10;
            flag = 1;
        } else {
            flag = 0;
        }
        
        // 将inner_this指向next节点，此时current的借用已结束
        inner_this = &mut current.next;
    }
}

fn main() {}

为什么这个写法可行？ #

• 在match块中，我们获取current（&mut Box<ListNode>）后，处理完val和flag，再将inner_this指向current.next。
• 当执行到inner_this = &mut current.next时，current的生命周期即将结束（下一行就会回到循环开头，current会被重新绑定），因此借用检查器允许这个操作，不会产生冲突。

另一种写法：使用as_mut()调整while let逻辑 #

如果你更倾向于保留while let的风格，可以用as_mut()方法将&mut Option<T>转换为Option<&mut T>，这样可以避免直接借用inner_this本身：

fn check_ten(this: &mut Option<Box<ListNode>>, f: &i32) {
    let mut inner_this = this;
    let mut flag = *f;
    
    while let Some(node) = inner_this.as_mut() {
        node.val += flag;
        if node.val >= 10 {
            node.val -= 10;
            flag = 1;
        } else {
            flag = 0;
        }
        
        // 将inner_this更新为next节点的可变引用
        inner_this = &mut node.next;
    }
}

这里inner_this.as_mut()返回Option<&mut Box<ListNode>>，node是&mut Box<ListNode>，循环体中我们并没有直接借用inner_this本身，而是借用了它内部的值，因此赋值inner_this = &mut node.next时不会触发借用冲突。

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