Rust非有序链表去重代码else分支底层逻辑解析及疑问

链表定义 #

pub struct Node<T> {
    val: T,
    next: Option<Box<Node<T>>>
}

pub struct LinkedList<T> {
    head: Option<Box<Node<T>>>
}

核心疑问 #

1. 拆解第一种去重函数的执行流程，说明其如何恢复所有权并移动到下一个节点；
2. 若注释掉else分支中的A3行代码current = &mut current.as_mut().unwrap().next;，为何函数返回后self.head最终指向None而非原链表头？

执行流程拆解（含所有权恢复逻辑） #

针对你标注的A0-A4关键代码，逐步骤解析所有权与遍历逻辑：

• A0行 while let Some(mut node) = current.take()：调用take()会夺走current持有的节点所有权，将current置为None，同时把节点的所有权转移给node变量。这是Rust中安全操作可变数据的常用手段，避免同一时间存在多个可变引用。
• A1行 let next = node.next.take();：再次用take()夺走node.next的所有权，将node.next置为None，把后续链表的所有权暂存到next变量。这一步是为了断开当前节点与后续链表的关联，防止所有权混淆。
• A2行 *current = Some(node);：将处理后的node（此时node.next为None）重新赋值给current，恢复current对当前节点的所有权。这是核心的所有权恢复操作，确保当前节点不会被Rust的所有权机制自动丢弃。
• A3行 current = &mut current.as_mut().unwrap().next;：将current的可变引用切换到当前节点的next字段（此时该字段为None）。这一步完成了遍历的"指针移动"，让下一次循环可以处理后续节点。
• A4行 *current = next;：把之前暂存的后续链表所有权放回current（此时指向当前节点的next字段），让循环能够继续处理下一个节点。

整个流程通过take()临时转移所有权，操作完成后再将所有权归位，同时通过更新可变引用的指向实现遍历，全程严格遵循Rust的所有权规则，避免悬垂引用或双重所有权问题。

注释A3行后self.head变为None的原因 #

注释A3行后，current始终保持对self.head的可变引用，而非切换到当前节点的next字段，导致流程出现致命的所有权覆盖：

1. 每次循环的A0行都会通过current.take()把self.head置为None，将节点所有权转移给node；
2. A2行把处理后的节点放回self.head，暂时恢复链表头的指向；
3. 但A4行直接把next（后续节点或最终的None）赋值给self.head，完全覆盖了刚刚放回的节点；
4. 当处理到最后一个节点时，next的值为None，执行A4行后self.head被设为None，循环结束后没有任何代码恢复链表头的指向，最终就会呈现None的结果。

而正常流程中，A3行将current切换到当前节点的next字段，A4行是把后续节点挂载到当前节点的next上，不会修改self.head，最终链表头会保留处理后的第一个节点。

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