如何在Rust中用Arc<Mutex>从Vector构建多线程安全链表

你正向遍历构建链表时遇到的核心问题是锁持有期间尝试修改head变量，以及错误复用已移动的next值。以下是无需反转向量的正确正向实现：

use std::sync::{Arc, Mutex};

// 简化的链表节点结构
struct LinkedList {
    next: Option<Arc<Mutex<LinkedList>>>,
    val: u32,
}

fn main() {
    let vec_int: Vec<u32> = vec![1, 2, 3, 4, 5];
    if vec_int.is_empty() {
        return;
    }

    // 初始化头节点
    let mut head = Arc::new(Mutex::new(LinkedList { next: None, val: vec_int[0] }));
    
    // 从第二个元素开始遍历
    for &val in vec_int.iter().skip(1) {
        // 直接创建新节点的Arc<Mutex>
        let new_node = Arc::new(Mutex::new(LinkedList { next: None, val }));
        
        // 对当前尾节点加锁，设置其next为新节点
        head.lock().unwrap().next = Some(new_node.clone());
        
        // 将尾指针更新为新节点
        head = new_node;
    }
}

关键要点说明 #

• 提前创建新节点的Arc：直接生成Arc<Mutex<LinkedList>>，避免后续因变量移动导致的编译错误
• 锁的生命周期控制：head.lock().unwrap()返回的MutexGuard是临时变量，设置完next后立即释放锁，不会阻碍后续对head变量的修改
• 直接更新尾指针：无需从已锁节点的next字段克隆，直接用新节点的Arc更新head，彻底规避借用冲突

反向遍历方案虽然能运行，但需要额外的反转操作，正向实现更直观，且在处理大向量时避免了反转带来的性能开销。

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