chunks_exact_mut螺纹寿命

Question

以下代码产生有趣的结果：

use std::thread;

fn main() {
    let mut handles = Vec::new();
    let mut v = vec![1, 2, 3, 4];
    
    for x in v.chunks_exact_mut(2) {
        let handle = thread::spawn(move || {
            println!("Here's a vector: {:?}", x);
        });
        
        handles.push(handle);
    }

    for h in handles { h.join().unwrap(); }
}

error[E0597]: `v` does not live long enough
  --> src/main.rs:7:14
   |
7  |     for x in v.chunks_exact_mut(2) {
   |              ^^^^^^^^^^^^^^^^^^^^^
   |              |
   |              borrowed value does not live long enough
   |              argument requires that `v` is borrowed for `'static`
...
16 | }
   | - `v` dropped here while still borrowed

为什么“块” v更改寿命？如果不“分解” v，代码执行正确。那么，为什么现在会出错呢？

Answer 1

这里的问题在于thread :: Spawn完全将寿命与其余的寿命完全脱离，因为该线程可能会继续运行，而main已经完成。

x是对main中变量的引用，并且不能保证main寿命比线程更长。

我认为您真正想要的是一个螺纹助手库，例如 rayon ，由于他们已经在内部解决了这些问题：

use rayon::prelude::*;

fn main() {
    let mut v = vec![1, 2, 3, 4];

    v.par_chunks_exact_mut(2).for_each(|x: &mut [i32]| {
        let thread_id = std::thread::current().id();
        println!("{:?}: Here's a vector: {:?}", thread_id, x);
    });
}

ThreadId(5): Here's a vector: [1, 2]
ThreadId(2): Here's a vector: [3, 4]

Answer 2

如果不“块” v，您正在迭代vec＆lt; i32＆gt;。此迭代器生成类型i32的项目，因此，无参考，没有终生，thread :: spawn（）（特别是'static） >要求）。

chunks_exact_mut（），但是，是在切片上定义的，并通过＆amp; mut [t]赋予迭代器，因此它具有参考。并且由于此引用引用v，它存在于main（）中，因此它不是'static，并且不起作用。

如果您可以通过＆amp; v而不是v迭代，则可以观察到相同的问题，因为该迭代器给您＆amp; i32 s（

error[E0597]: `v` does not live long enough
  --> src/main.rs:7:14
   |
7  |     for x in &v {
   |              ^^
   |              |
   |              borrowed value does not live long enough
   |              argument requires that `v` is borrowed for `'static`
...
16 | }
   | - `v` dropped here while still borrowed

；那就是我建议使用rayon如@finomnis所建议的。