如何持有捕获变量的装箱异步函数？Rust生命周期问题求解

问题分析 #

当闭包捕获外部Test实例后，默认的异步代码块会借用闭包内的test变量，导致生成的Future生命周期被限制在闭包执行体范围内（编译错误中标记为'1）。但我们需要Future的生命周期与参数的'arg一致，二者不匹配就触发了编译错误。

解决方案 #

将异步代码块从async { ... }改为async move { ... }，让Future拥有捕获的test实例所有权，而非仅借用。这样Future的生命周期不再依赖闭包执行体，仅需与参数的'arg绑定，即可满足类型约束要求。

修正后的完整代码 #

use std::future::Future;
use std::pin::Pin;

fn constrain<Fun>(fun: Fun) -> Fun
where
    Fun: for<'arg> Fn(&'arg usize, &'arg usize) -> Pin<Box<dyn Future<Output = usize> + 'arg>>,
{
    fun
}

struct Test {}

impl Test {
    pub async fn fun<'test, 'arg>(&'test self, val0: &'arg usize, val1: &'arg usize) -> usize
    where
        'arg: 'test,
    {
        *val0 + *val1
    }
}

pub async fn fun<'arg>(val0: &'arg usize, val1: &'arg usize) -> usize {
    val0 + val1
}

#[tokio::main(flavor = "current_thread")]
async fn main() {
    let test = Test {};

    let boxed = Box::new(constrain(move |v0, v1| {
        // 使用async move将test所有权转移到Future内部
        let ret = Box::pin(async move {
            test.fun(v0, v1).await
        });

        ret
    }));

    let v0 = 10;
    let v1 = 20;

    let ret = boxed(&v0, &v1).await;

    println!("{ret}");
}

关键说明 #

• async move会把闭包内的test变量所有权转移到Future中，彻底消除了Future对闭包执行体生命周期的依赖。
• Test的fun方法仅需要&self引用，而'arg: 'test的约束保证了参数的生命周期足够覆盖&self的使用周期，因此异步调用可以安全执行。

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