如何在Safe Rust中实现链表remove函数？解决借用错误

错误原因 #

你的代码触发借用错误，是因为Rust的借用检查器禁止同时持有对同一个值的可变借用和修改该值的操作：

• 在while let Some(node) = current_node中，node是对current_node指向内容的可变借用，整个循环体中current_node都处于被借用状态。
• 当执行*current_node = node.next.take()时，你试图修改current_node指向的内容，但此时node还在借用该内容，违反了"可变引用独占性"规则。

修正方案 #

通过std::mem::take暂时转移节点所有权，打破借用链，避免冲突。以下是修正后的remove函数，同时补充了链表长度更新的逻辑：

fn remove(&mut self, value: T) {
    let mut current = &mut self.first;

    loop {
        // 取出当前节点的所有权，current暂时变为None
        let mut node = match current.take() {
            None => break, // 无节点可遍历，退出循环
            Some(n) => n,
        };

        if node.content == value {
            // 匹配目标值：将当前位置替换为下一个节点
            *current = node.next.take();
            self.size -= 1; // 更新链表长度
            break;
        } else {
            // 不匹配：将当前节点放回，移动到下一个节点的引用
            *current = Some(node);
            current = &mut current.as_mut().unwrap().next;
        }
    }
}

代码解释 #

1. current.take()：将current指向的Option<Box<Node<T>>>取出，current暂时变为None，彻底避免了后续操作的借用冲突。
2. 匹配处理：
   • 若取出的节点内容匹配目标值，直接将current设置为该节点的下一个节点（通过node.next.take()转移所有权）。
   • 若不匹配，将节点放回current，再获取下一个节点的可变引用继续遍历。
3. 长度更新：删除节点后记得减少size，保证链表状态一致性。

完整测试代码 #

你可以在main函数中添加测试逻辑验证功能：

fn main() {
    let mut list = LinkedList::new();
    list.push(1);
    list.push(2);
    list.push(3);
    
    list.remove(2);
    assert_eq!(list.size, 2);
    
    assert_eq!(list.pop(), Some(3));
    assert_eq!(list.pop(), Some(1));
    assert_eq!(list.pop(), None);
}

内容的提问来源于stack exchange，提问作者Breno Macêdo