为什么局部变量的生存时间不足以支持thread :: scoped？

Question

鉴于示例2编译得很好，为什么示例1不能编译？ 这些示例之间的唯一区别在于，在示例1中， value是函数局部变量，在示例2中， value是函数的参数。

例子1

#![feature(scoped)]

use std::thread;
use std::sync::atomic::{AtomicUsize, Ordering};

pub fn foo<F>() {
    let mut join_guards = Vec::new();
    let value = AtomicUsize::new(0);

    for _ in 0..10 {
        join_guards.push(thread::scoped(|| {
            value.fetch_add(1, Ordering::SeqCst);
        }));
    }
}

例子2

#![feature(scoped)]

use std::thread;
use std::sync::atomic::{AtomicUsize, Ordering};

pub fn foo<F>(value: AtomicUsize) {
    let mut join_guards = Vec::new();

    for _ in 0..10 {
        join_guards.push(thread::scoped(|| {
            value.fetch_add(1, Ordering::SeqCst);
        }));
    }
}

这些是我尝试编译的错误消息示例1：

error: `value` does not live long enough
         join_guards.push(thread::scoped(|| {
             value.fetch_add(1, Ordering::SeqCst);
         }));
note: reference must be valid for the block at 6:20...
pub fn foo<F>() {
    let mut join_guards = Vec::new();
    let value = AtomicUsize::new(0);

     for _ in 0..10 {
         join_guards.push(thread::scoped(|| {

note: ...but borrowed value is only valid for the block suffix following statement 1 at 8:40
    let value = AtomicUsize::new(0);

     for _ in 0..10 {
         join_guards.push(thread::scoped(|| {
             value.fetch_add(1, Ordering::SeqCst);
         }));

Answer 1

join_guards是具有一定共享生存期的作用域线程的向量。 生命周期由其结束的变量决定： value是唯一的变量。 因此，作用域线程的生存期是value的范围。 value在哪里合法？ 定义之后 ，直到超出范围为止，即“ 8:40语句1之后的块后缀”。 join_guards的生存期必须不超过此生存期，但是如果在 value 之前定义了join_guards ，则情况并非如此。

解决方案是颠倒声明的顺序：

let value = AtomicUsize::new(0);
let mut join_guards = Vec::new();

这也解释了为什么第二个示例也起作用。