解读

国内面试中，这道题常被用来区分“能写 Hello Thread”与“能写生产级并发代码”。
面试官真正想听的是：

1. 你清楚 Rust 的线程边界必须是 'static 这一硬性约束；
2. 你手里有一把“安全剪刀”，能把非 'static 数据在编译期剪成 'static，而不碰 unsafe；
3. 你能权衡 Scoped thread、Arc+Mutex、Channel、Box::leak 等方案的代价与场景，并给出最小化生命周期、零拷贝、零泄漏的代码骨架。
   答不到“Scoped 线程”或“Arc 借用计数”的候选人，基本会被归为“只写过 LeetCode 多线程”。

知识点

1. thread::spawn 的 F: FnOnce() + Send + 'static 签名——Rust 运行时要求闭包及其捕获必须活得比线程久。
2. 'static 的三种语义：
   a) 字面量静态存储（&'static str）；
   b) 泄漏后视为静态（Box::leak）；
   c) 被外部保证“活得足够久”（Scoped 线程）。
3. crossbeam::scope / std::thread::scope（1.63 起稳定）——RAII 线程池，父线程 join 前保证子线程退出，编译期把 'static 降级到局部生命周期，零成本、零泄漏、零 unsafe。
4. Arc<T> + Mutex<T> 或 Channel——把“借用”转成“共享所有权”，代价是原子引用计数，适用跨线程边界的长期数据。
5. Box::leak——O(1) 转 'static，不可回卷，只适用进程级单例或短脚本次优方案，面试提到即可，慎用。
6. tokio::task::spawn 的 'static 要求——异步面试延伸，思路与 OS 线程一致，可用 block_in_place + scope 混编。

答案

给出国内面试官最爱“两段式”回答：先一句话结论，再甩一段可编译、无 unsafe、零泄漏的 Scoped 代码。

结论：
“用 std::thread::scope 把线程生命周期锚定在父栈帧，即可安全传递非 'static 借用，无需 Arc 也不用泄漏。”

代码：

use std::thread;

fn main() {
    let mut data = vec![1, 2, 3, 4];
    // &mut data 绝非 'static，但 scope 保证子线程先退出
    thread::scope(|s| {
        s.spawn(|| {
            data.push(5);          // 直接可变借用，零拷贝
        });
        s.spawn(|| {
            data.push(6);
        });
    }); // 编译器在此隐式 join，data 生命周期结束
    println!("{:?}", data); // [1, 2, 3, 4, 5, 6]
}

亮点：

• 无 Arc、无 Mutex、无 Channel、无 Box::leak；
• 编译期 Borrow Checker 就能证明安全，面试写这段等于甩出“我看过 Rust 1.63 稳定公告”。

备选方案一句话：
“如果线程需要脱离当前栈帧继续跑，就用 Arc<Mutex<T>> 把借用升级成共享所有权；短脚本一次性泄漏可用 Box::leak，但生产代码不推荐。”

拓展思考

1. 嵌入式裸机没有 std::thread::scope，如何用 static_cell + cortex-m 的临界区模拟“Scoped”？
2. tokio 的 LocalSet 能把 !Send 数据关在单线程，但 spawn 仍要 'static，如何结合 scope 做“异步-同步-异步”三明治？
3. rayon::scope 与 crossbeam::scope 的工作窃取差异，哪个在国产 ARM 服务器上 cache-miss 更低？
4. 如果数据结构本身带自引用（Pin<&mut Self>），Scoped 线程会不会触发 borrow-split 报错？如何改用 owning_ref 或 self_cell？
5. 面试反向提问：
   “贵司的并发场景里，线程是短任务还是长服务？”——若答长服务，立刻补一句“我会用 Arc+Mutex 而非 scope”，体现场景嗅觉。