如何在线程中修改Rust结构体成员？代码报错求助

你的代码存在三个核心问题：

• 普通引用无法满足线程的生命周期要求，且不可变引用无法修改数据
• 遍历vec_s时转移了所有权，导致后续无法访问该容器
• 多线程共享修改数据需要线程安全的同步机制

修正后的代码 #

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

#[derive(Debug)]
struct S {
    str: String,
    b: bool,
    i: u128,
}

fn main() {
    let mut vec_s = vec![];

    // 用Arc<Mutex>包装结构体，实现线程安全的共享可变访问
    vec_s.push(Arc::new(Mutex::new(S {
        str: "a".to_string(),
        b: false,
        i: 0,
    })));

    let mut threads = vec![];

    // 遍历vec_s的引用，避免转移所有权
    for s in &vec_s {
        // 克隆Arc，每个线程获得独立的引用计数实例
        let s_clone = Arc::clone(s);
        threads.push(thread::spawn(move || {
            // 锁定Mutex获取可变访问权限
            let mut s_inner = s_clone.lock().unwrap();
            s_inner.b = true;
            s_inner.str = "b".to_string();
            s_inner.i = 1;
        }));
    }

    // 等待所有线程完成
    for thread in threads {
        let _ = thread.join();
    }

    // 输出修改后的结果
    dbg!(&vec_s);
}

关键修改说明 #

1. 线程安全包装：使用Arc<Mutex<S>>组合，Arc通过引用计数实现多线程共享所有权，Mutex保证同一时间只有一个线程能修改内部数据，完全符合Rust的内存安全规则。
2. 保留容器所有权：遍历&vec_s而非直接遍历vec_s，避免将容器所有权转移给迭代器，确保后续仍能访问vec_s。
3. 适配线程生命周期：每个线程克隆Arc实例，线程拥有独立的引用计数，既满足线程对'static生命周期的要求，也不会影响原容器中的实例。
4. 安全修改数据：在线程中调用lock()获取MutexGuard，通过这个守卫可以安全地修改结构体成员；示例中用unwrap()简化错误处理，实际项目中建议处理PoisonError（线程panic可能导致该错误）。

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