如何避免显式克隆被移动到闭包的变量？多闭包捕获优化

核心思路：在闭包定义内隐式克隆共享容器 #

不需要提前声明shared_clone_1这类全局临时变量，而是在创建每个闭包时，通过块表达式就地克隆共享容器，再将克隆后的实例move进闭包。这样既满足move关键字要求，又避免了冗余的临时变量声明。

示例代码（基于Rc+RefCell） #

use std::rc::Rc;
use std::cell::RefCell;

#[derive(Debug)]
struct MyStruct { value: u32 }

fn main() {
    let shared = Rc::new(RefCell::new(MyStruct { value: 42}));

    // 闭包1：直接使用原始shared，move后原始变量不再可用
    let closure_1 = move || { println!("closure_1 {:?}", shared); };
    
    // 闭包2-5：通过块表达式就地克隆，无需外部临时变量
    let closure_2 = {
        let shared = shared.clone();
        move || { println!("closure_2 {:?}", shared); }
    };
    
    let closure_3 = {
        let shared = shared.clone();
        move || { println!("closure_3 {:?}", shared); }
    };
    
    let closure_4 = {
        let shared = shared.clone();
        move || { println!("closure_4 {:?}", shared); }
    };
    
    let closure_5 = {
        let shared = shared.clone();
        move || { println!("closure_5 {:?}", shared); }
    };
    
    closure_1();
    closure_2();
    closure_3();
    closure_4();
    closure_5();
}

其他可选容器 #

如果需要多线程场景下的共享，可以用Arc（原子引用计数）替代Rc，搭配Mutex或RwLock实现内部可变性：

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

#[derive(Debug)]
struct MyStruct { value: u32 }

fn main() {
    let shared = Arc::new(Mutex::new(MyStruct { value: 42}));

    let closure_1 = move || { println!("closure_1 {:?}", shared); };
    
    let closure_2 = {
        let shared = shared.clone();
        move || { println!("closure_2 {:?}", shared); }
    };
    
    // 其余闭包定义方式一致...
}

关键说明 #

• 每个move闭包必须拥有独立的共享容器实例（Rc/Arc克隆），因为move会转移变量所有权，无法让多个闭包共享同一个Rc/Arc实例。
• 就地克隆的方式只是把临时变量的声明从全局移到了闭包定义的块内，本质还是克隆容器，但代码更简洁，避免了冗余的命名变量。
• 如果不需要修改共享值，可以去掉RefCell/Mutex，直接使用Rc<MyStruct>或Arc<MyStruct>。

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