多线程能否共享临时不可变的非静态数据？求代码修正方案

多线程可以共享运行期间临时不可变的非静态数据，但必须确保数据的所有权或生命周期能覆盖所有线程的执行周期，同时通过线程安全的共享机制（比如Arc）来管理访问。

原代码的问题分析 #

你的代码触发E0621错误的核心原因：

• 你用Arc::new(v)包装的是&Vec<i64>引用，而非数据本身。thread::spawn要求闭包满足'static生命周期，但编译器无法保证原v的生命周期能覆盖所有线程的运行时长（比如f函数执行完毕后，g里的v还会被修改）。
• 这种情况下，Rust的所有权系统会阻止潜在的悬垂引用和数据竞争。

调整后的可行代码方案 #

方案一：让Arc拥有数据所有权（推荐）

将Vec<i64>的所有权转移到Arc中，让所有线程共享数据的所有权，而非引用，编译器能完全保证线程安全：

use std::sync::Arc;
use std::thread;

fn f(v: Arc<Vec<i64>>) {
    let n = v.len();
    let mut ts = Vec::new();

    for i in 0..n {
        let a_clone = v.clone();

        let t = thread::spawn(move || {
            println!("thread {}, v[{}] = {}", i, i, a_clone[i]);
        });

        ts.push(t);
    }

    for t in ts {
        t.join().unwrap();
    }
}

fn g() {
    let v: Vec<i64> = vec![1, 2, 3, 4, 5];
    // 将Vec包装进Arc，转移所有权
    f(Arc::new(v));
    // 原v的所有权已转移，若需要后续修改，可重新创建新的Vec
    let mut new_v = vec![1, 2, 3, 4, 5];
    new_v.push(6);
    dbg!(new_v);
}

fn main() {
    g();
}

方案二：使用作用域线程（保留原数据所有权）

如果需要保留原v的所有权并后续修改，可以用Rust 1.63+稳定版提供的scoped_threads，它允许线程访问父作用域的数据，且强制线程在父作用域结束前全部执行完毕：

use std::thread;

fn f(v: &Vec<i64>) {
    let n = v.len();
    // 作用域线程会在当前作用域结束前全部完成
    thread::scope(|s| {
        for i in 0..n {
            s.spawn(move || {
                println!("thread {}, v[{}] = {}", i, i, v[i]);
            });
        }
    });
}

fn g() {
    let mut v: Vec<i64> = vec![1, 2, 3, 4, 5];
    f(&v);
    // 所有线程已执行完毕，可安全修改v
    v.push(6);
    dbg!(v);
}

fn main() {
    g();
}

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