寻求Rust迭代构建单链表并分步调试打印的惯用方法及借用方案

问题描述 #

我想在迭代构建单链表的过程中分步打印链表状态调试，但找不到合法的借用方式。想问我的思路是不是太面向对象了？有没有必要放弃安全Rust或者用RefCell来实现这个简单功能？相关代码如下：

fn main() {
    let mut list = Some(Box::new(List { val: 0, next: None }));
    let mut current = &mut list;
    for i in 1..10 {
        let next = Box::new(List { val: i, next: None });
        current.as_mut().unwrap().next = Some(next);
        current = &mut current.as_mut().unwrap().next;
        // dbg!(list); Illegal!
    }
}

#[derive(Debug, Clone)]
struct List {
    val: i32,
    next: Option<Box<List>>,
}

解答 #

你的思路没问题，和面向对象无关——问题出在Rust的借用规则上：current在整个循环周期内一直持有list的可变引用，此时尝试调用dbg!(list)会再次借用list，违反了“同一时间只能存在一个可变引用”的核心规则。

完全不需要放弃安全Rust或者使用RefCell，调整借用的生命周期就能解决问题，这里提供两种简单方案：

方案一：用块作用域限制可变借用的生命周期

把每次添加节点的逻辑放在单独的块里，块结束后current的可变引用会被释放，此时就能安全借用list来打印：

fn main() {
    let mut list = Some(Box::new(List { val: 0, next: None }));
    dbg!(&list); // 打印初始状态

    for i in 1..10 {
        {
            let mut current = &mut list;
            // 遍历到链表尾部
            while current.as_mut().unwrap().next.is_some() {
                current = &mut current.as_mut().unwrap().next;
            }
            // 添加新节点
            current.as_mut().unwrap().next = Some(Box::new(List { val: i, next: None }));
        } // 此处current的可变引用被释放，list不再被可变借用
        dbg!(&list); // 安全打印当前链表状态
    }
}

#[derive(Debug, Clone)]
struct List {
    val: i32,
    next: Option<Box<List>>,
}

方案二：每次循环重新获取尾部节点引用

不需要持续持有current的可变引用，每次添加新节点前重新遍历到尾部，这样每次操作后list的借用都会被释放，自然可以打印：

fn main() {
    let mut list = Some(Box::new(List { val: 0, next: None }));
    dbg!(&list);

    for i in 1..10 {
        // 重新遍历到尾部
        let mut current = &mut list;
        while let Some(node) = current.as_mut() {
            if node.next.is_none() {
                node.next = Some(Box::new(List { val: i, next: None }));
                break;
            }
            current = &mut node.next;
        }
        dbg!(&list);
    }
}

#[derive(Debug, Clone)]
struct List {
    val: i32,
    next: Option<Box<List>>,
}

关键说明 #

原代码中current作为&mut list的引用，在整个循环迭代中一直存活，导致list被持续可变借用，无法进行其他借用操作。只要让可变引用的生命周期被限制在单次节点添加的逻辑内，就能避开这个冲突，完全不需要引入内部可变性（比如RefCell）。

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