除了在每个闭包之前克隆它之外,还有另一个选项可以在多个闭包中共享一个Arc吗？

Question

我有这样的事情:

use std::sync::Arc;

fn main() {
    let arc = Arc::new(42);
    move || { arc.clone() };
    move || { arc.clone() };
}

我正进入(状态:

error[E0382]: capture of moved value: `arc`
 --> src/main.rs:6:19
  |
5 |         move || { arc.clone() };
  |         ------- value moved (into closure) here
6 |         move || { arc.clone() };
  |                   ^^^ value captured here after move
  |
  = note: move occurs because `arc` has type `std::sync::Arc<i32>`, which does not implement the `Copy` trait

我理解为什么我得到这个:clone之前没有被调用arc传递给闭包.我可以通过在函数中定义每个闭包并Arc在将其传递给闭包之前克隆它来解决这个问题,但还有另一种选择吗？

Answer 1

没有其他办法了.您应该Arc在关闭之前克隆它.常见的模式是Arc在嵌套范围内将克隆重新绑定到相同的名称:

use std::sync::Arc;

fn main() {    
    let arc = Arc::new(42);
    {
        let arc = arc.clone();
        move || { /* do something with arc */ };
    }
    {
        let arc = arc.clone();
        move || { /* do something else with arc */ };
    }
}

这通常与thread::spawn()以下一起完成:

use std::sync::{Arc, Mutex};
use std::thread;

const NUM_THREADS: usize = 4;

fn main() {
    let arc = Arc::new(Mutex::new(42));
    for _ in 0..NUM_THREADS {
        let arc = arc.clone();
        thread::spawn(move || {
            let mut shared_data = arc.lock().unwrap();
            *shared_data += 1;
        });
    }
}

Answer 2

还有其他选择吗？

因为这种在定义闭包之前克隆事物的模式有些常见，所以有些人建议添加clone ||类似于move ||. 我不会对这种情况的发生抱有希望，但那里的一些评论指出宏可以很好地解决这个问题。

有几个板条箱提供了该宏的某种形式：

• 壁橱
• 捕获
• 全部克隆

许多项目可能会定义自己的宏来执行类似的操作。例如，WASM 示例 rust-todomvc定义：

macro_rules! enclose {
    ( ($( $x:ident ),*) $y:expr ) => {
        {
            $(let $x = $x.clone();)*
            $y
        }
    };
}

可以用作：

fn main() {
    let arc = Arc::new(42);
    enclose! { (arc) move || arc };
    enclose! { (arc) move || arc };
}