如何在Rust结构体中保存可修改外部变量的闭包？

我正在实现一个栈虚拟机，该虚拟机可接收闭包作为输出目标，结构体定义如下：

pub struct VirtualMachine {
    stack: Vec<isize>,
    code: Vec<Op>,
    code_pointer: usize,
    io_dest: Box<dyn Fn(isize)>,
}

impl VirtualMachine {
    pub fn new(io_dest: Box<dyn Fn(isize)>) -> VirtualMachine {
        VirtualMachine { stack: vec![], code: vec![], code_pointer: 0, io_dest }
}

正常场景下我希望它直接打印结果，比如使用闭包|x:isize|println!("{}",x)。但测试时我想将输出捕获到变量中：

#[test]
fn test_simple_add() {
    let code = vec![Op::Push(1),Op::Push(2),Op::Add];
    let mut io= Arc::new(Mutex::new(vec![]));
    let io_closure=Box::new(|x:isize|io.lock().unwrap().push(x)); //<-- 错误：借用的值生命周期不足
    let mut virtual_machine = VirtualMachine::new(io_closure);
    virtual_machine.run();
    assert_eq!(3, io.lock().unwrap()[0]);
}

但我遇到了问题。参考资料后，我知道需将io数组放入Arc<Mutex<>>中，也想到将闭包放入Box中，但不知道如何配合工作，也不清楚报错原因。错误信息如下：

--> src\virtual_machine.rs:98:45
    |
98  |         let io_closure=Box::new(|x:isize| {         io.lock().unwrap().push(x); });
    |                                 ---------   ^^ 借用的值生命周期不足
    |                                 |
    |                                 在此捕获的值
99  |         let mut virtual_machine = VirtualMachine::new(io_closure);
    |                                                       ---------- 强制转换要求`io`被借用至`'static`
...
102 |     }
    |     - `io`在此被销毁，但仍处于借用状态

我的疑问：

• 为什么io的生命周期不够？io不是一直存活到测试结束，和闭包生命周期一致吗？
• 有没有更好的方法实现向结构体传递可修改外部变量的闭包？

一、生命周期报错的原因 #

Box<dyn Fn(isize)> 这类未标注生命周期的 trait object，Rust 会默认推断其生命周期为 'static——也就是说，闭包不能持有任何非全局的引用，必须完全独立存活。

你的闭包没有加move关键字，默认是借用捕获io变量，闭包里保存的是io的引用。而io是测试函数内的局部变量，生命周期仅到函数结束，但VirtualMachine持有这个闭包时，编译器会按照'static的要求检查：它需要确保闭包引用的io在闭包存活期间始终有效。哪怕实际运行中VirtualMachine不会比io活得久，Rust的静态检查只看类型约束，因此报错要求io必须是'static，但局部变量显然做不到。

你觉得io和闭包生命周期一致，但编译器不看运行时实际情况，只遵循静态类型规则，所以产生冲突。

二、核心解决方案：Arc<Mutex<>> + move闭包 #

你已经用Arc<Mutex<Vec<isize>>>是正确的方向，Arc支持多所有者共享同一个值，配合move闭包可以把Arc的所有权转移到闭包内，让闭包不再借用io，而是拥有Arc的副本，满足'static生命周期要求。

修改后的测试代码：

#[test]
fn test_simple_add() {
    let code = vec![Op::Push(1), Op::Push(2), Op::Add];
    let io = Arc::new(Mutex::new(vec![]));
    // 克隆Arc，避免原变量所有权被转移后无法使用
    let io_clone = io.clone();
    // 用move闭包转移克隆后的Arc所有权到闭包内
    let io_closure = Box::new(move |x: isize| {
        io_clone.lock().unwrap().push(x);
    });
    let mut virtual_machine = VirtualMachine::new(io_closure);
    virtual_machine.run();
    assert_eq!(3, io.lock().unwrap()[0]);
}

为什么这样可行？ #

• move关键字让闭包获取io_clone的所有权，而非引用，闭包不再依赖外部变量的生命周期。
• Arc是引用计数类型，克隆后多个Arc实例共享同一个Mutex<Vec<isize>>，闭包和原测试代码可以同时操作内部的向量。
• 闭包拥有独立的Arc所有权，满足Box<dyn Fn(isize)>的'static要求，编译器不再报错。

三、可选优化：给虚拟机添加生命周期参数 #

如果不想强制闭包是'static，可以给VirtualMachine结构体添加生命周期参数，让它和闭包的生命周期绑定：

pub struct VirtualMachine<'a> {
    stack: Vec<isize>,
    code: Vec<Op>,
    code_pointer: usize,
    io_dest: Box<dyn Fn(isize) + 'a>,
}

impl<'a> VirtualMachine<'a> {
    pub fn new(io_dest: Box<dyn Fn(isize) + 'a>) -> VirtualMachine<'a> {
        VirtualMachine { stack: vec![], code: vec![], code_pointer: 0, io_dest }
    }
}

这种方式下，VirtualMachine的生命周期会被约束为不超过闭包捕获变量的生命周期，测试代码即使不用move闭包（但仍需确保引用有效）也能通过编译。不过该方案通用性稍差，虚拟机的使用会被绑定到外部变量的生命周期，不如Arc+move的方式灵活。

总结 #

• 报错本质是未标注生命周期的trait object默认要求'static，而闭包借用了局部变量，生命周期不匹配。
• 最优解是用Arc<Mutex<>>配合move闭包，通过转移Arc所有权满足生命周期要求。
• 可选方案是给虚拟机添加生命周期参数，让结构体与闭包生命周期绑定，但通用性受限。

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