直接回答：thread::spawn 要求闭包是 'static，因为它无法证明线程会在引用失效前结束，导致想在线程间借用栈上的数据必须 Arc 包装堆分配。std::thread::scope（1.63 稳定）建立作用域：作用域内 spawn 的线程可以借用作用域外的局部变量，scope 结束处自动 join 所有线程，编译器由此证明所有借用都活得比线程久——不需要 Arc，不需要克隆数据，也不存在泄漏的游离线程。

展开解析：机制上 scope 用 RAII：Scope 的 Drop 阻塞等待所有子线程，所以借用检查器看到的是确定的生命周期边界。这正是 crossbeam scoped thread 多年的实践进标准库的结果，也把臭名昭著的 leakpunk 事件（mem::forget 与泄漏安全性讨论）推到台前：标准库之所以能安全提供此 API，是因为 Drop 保证会被执行的场景由作用域结构保证。典型用法：对一个大切片并行分块处理，每块一个线程直接拿 &mut 子切片，处理完自然汇合，零 Arc 开销，rayon 的 par_iter 底层思想同源。注意 panics 的传播规则：子线程 panic 不会消失，scope 退出时会重新抛出（除非显式 join 处理），错误处理要在设计时想好。与 async 对比：CPU 密集的分治并行用作用域线程/rayon 更直接，async 的主场是 IO 并发。

追问方向：为什么 spawn 要求 'static 而不是传入生命周期？作用域线程能和 async 混用吗？

（约 470 字）