thread::scope()变量与派生线程的生命周期疑问

问题场景 #

尝试对数值列表做并行处理时，写出如下代码：

fn process_list(list: Vec<f32>) -> Vec<f32> { // Block F
    let chunk_size = 100;
    let output_list = vec![0.0f32;list.len()];

    thread::scope(|s| { // Block S
        (0..list.len()).collect::<Vec<_>>().chunks(chunk_size).for_each(|chunk| { // Block T
            s.spawn(|| {
                chunk.into_iter().for_each(|&idx| {
                    let value = calc_value(list[idx]);
                    unsafe {
                        let out = (output_list.as_ptr() as *mut f32).offset(idx as isize);
                        *out = value;
                    }
                });
            });
        });
    });
    output_list
}

尽管thread::scope()会等待所有派生线程结束后才返回，但编译器仍提示：临时对象(0..list.len()).collect::<Vec<_>>()在线程可能存活时就已被销毁。

底层生命周期逻辑解释 #

编译器的报错并非thread::scope()的实现问题，而是静态生命周期检查的规则导致：

• thread::scope()允许派生线程引用其作用域（Block S）内的变量，但要求被引用变量的生命周期必须覆盖整个scope的执行周期。
• 原始代码中，(0..list.len()).collect::<Vec<_>>()是一个临时对象，它的生命周期仅限于所在的表达式语句（即从创建到for_each调用执行完毕）。当for_each遍历完所有chunk后，这个临时Vec会被立即销毁，但此时派生线程可能还在运行（编译器不会依赖thread::scope()的runtime等待逻辑来放宽检查），导致线程闭包中捕获的chunk切片变成悬垂引用，触发编译错误。

最佳实践验证 #

将临时对象移至Block F中定义是完全合理的最佳实践：

• 移到Block F后，变量range的生命周期覆盖了整个函数执行周期，自然也包含了thread::scope()的执行阶段。
• range.chunks(chunk_size)返回的切片引用的是range的内存，其生命周期满足编译器对线程闭包的要求，不会出现悬垂引用问题。

优化后的代码如下：

fn process_list(list: Vec<f32>) -> Vec<f32> { // Block F
    let chunk_size = 100;
    let output_list = vec![0.0f32;list.len()];
    let range = (0..list.len()).collect::<Vec<_>>();

    thread::scope(|s| { // Block S
        range.chunks(chunk_size).for_each(|chunk| { // Block T
            s.spawn(|| {
                chunk.into_iter().for_each(|&idx| {
                    let value = calc_value(list[idx]);
                    unsafe {
                        let out = (output_list.as_ptr() as *mut f32).offset(idx as isize);
                        *out = value;
                    }
                });
            });
        });
    });
    output_list
}

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