Rust中闭包访问已销毁栈变量为何仍有效？编译器未报错原因

这是个很有意思的问题，核心是你对字节字面量的存储位置理解有偏差，咱们逐个问题拆解：

1. 为何此代码能正常运行？ #

你误以为var指向的数据存在bar函数的栈上，但实际上：

• Rust中的字节字面量b"foo"属于静态存储——它会被编译进程序的只读数据段，生命周期是'static（从程序启动到退出一直存在）。
• var这个变量本身确实在bar的栈帧里，但它的值只是一个指向静态内存中b"foo"的引用。当bar执行完毕栈帧销毁时，var这个变量消失了，但它指向的静态数据完全不受影响。
• 新线程的闭包捕获的是这个静态引用的值，后续访问的是一直存在的静态内存，所以能正常输出数据。

如果把代码改成栈上的动态数据，比如：

fn bar() {
    let var = vec![1, 2, 3]; // 存在栈上的Vec，数据在堆上但引用生命周期受栈帧限制
    thread::spawn(|| {
        write(&var); // 这里编译器会直接报错
    });
}

这时编译器就会拦截，因为闭包捕获的引用生命周期不满足'static，新线程可能在bar栈帧销毁后访问无效内存。

2. 为何Rust编译器未对此报错？ #

thread::spawn对传入的闭包有严格要求：闭包必须满足'static生命周期，因为Rust无法保证新线程会在当前线程的栈帧销毁前结束。
而你的代码中，var的类型是&'static [u8]（来自静态字节字面量），完全符合'static的要求——编译器能确认这个引用指向的数据会一直存在，所以认为这段代码是安全的，不会抛出生命周期错误。

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