Rust编译疑问：闭包何以存活超过main函数？进程随main终止

问题代码 #

use std::thread;

fn main() {
    let x: &'static mut [i32; 3] = Box::leak(Box::new([1, 2, 3]));
    thread::spawn(|| dbg!(&x));
}

编译错误信息 #

error[E0373]: closure may outlive the current function, but it borrows `x`, which is owned by the current function
--> src\main.rs:10:19
|
10 |     thread::spawn(|| dbg!(&x));
|                   ^^       - `x` is borrowed here
|                   |
|                   may outlive borrowed value `x`
|
note: function requires argument type to outlive `'static`
--> src\main.rs:10:5
|
10 |     thread::spawn(|| dbg!(&x));
|     ^^^^^^^^^^^^^^^^^^^^^^^^^^
help: to force the closure to take ownership of `x` (and any other referenced variables), use the `move` keyword
|
10 |     thread::spawn(move || dbg!(&x));
|                   ++++

原因解释 #

• Rust的生命周期检查是静态分析，它不会考虑程序运行时的行为逻辑（比如main函数结束后进程终止、子线程随之退出这种情况）。编译器只会基于类型系统的规则做判断，不会做运行时场景的推论。
• thread::spawn的设计目标是支持线程独立存活，因此它要求传入的闭包必须满足'static生命周期——也就是说，闭包不能捕获任何仅存在于当前函数栈上的借用值，因为编译器无法保证子线程不会在当前函数退出后继续运行。
• 这里的关键误区：你让x指向的内存拥有'static生命周期，但变量x本身是main函数栈上的局部变量。默认情况下闭包是借用这个栈上的变量x，而x的生命周期只限于main函数内部，所以闭包的生命周期依赖于x，无法满足thread::spawn要求的'static。

解决方案 #

按照编译器提示添加move关键字，让闭包获取变量x的所有权：

use std::thread;

fn main() {
    let x: &'static mut [i32; 3] = Box::leak(Box::new([1, 2, 3]));
    thread::spawn(move || dbg!(&x));
}

此时闭包拥有了这个&'static mut引用的所有权，自身生命周期也满足'static，完全符合thread::spawn的要求。

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