Rust异步闭包生命周期不足：如何正确标注with_lock闭包？

你的代码编译失败的核心原因是：闭包返回的Future没有被约束为必须和传入的&FileCacheLock引用的生命周期绑定。原代码中Fut作为独立的泛型参数，编译器无法确认这个Future不会在lock实例被销毁后仍然持有它的引用，因此抛出了生命周期不匹配的错误。

修正后的代码 #

use std::future::Future;
use std::error::Error;

#[derive(Debug)]
pub struct FileCache {}

#[derive(Debug)]
struct FileCacheLock {}

impl FileCacheLock {
    pub fn set_state(&self) -> Result<(), Box<dyn Error>> {
        unimplemented!();
    }
}

impl FileCache {
    pub fn lock(&self) -> Result<FileCacheLock, Box<dyn Error>> {
        Ok(FileCacheLock {})
    }

    pub async fn with_lock<F>(&self, func: F) -> Result<(), Box<dyn Error>>
    where
        for<'a> F: FnOnce(&'a FileCacheLock) -> impl Future<Output = ()> + 'a,
    {
        let lock = self.lock()?;
        func(&lock).await;
        Ok(())
    }

    pub async fn get_or_set_state_with(&self) -> Result<(), Box<dyn Error>> {
        self.with_lock(|l| async move {
            // 可根据实际需求处理Result，比如用?传播错误
            let _ = l.set_state();
        })
        .await
    }
}

关键改动说明 #

1. 绑定生命周期与Future：
   将闭包的返回类型约束为impl Future<Output = ()> + 'a，其中'a是传入的&FileCacheLock引用的生命周期。这明确告诉编译器：返回的Future的生命周期不能超过该引用的生命周期，而lock实例在with_lock函数内创建，其生命周期完全覆盖了func(&lock).await的执行过程，完美满足约束。

2. 简化泛型参数：
   去掉了独立的Fut泛型参数，改用impl Future的写法，让代码更简洁，同时避免了泛型参数与生命周期脱节的问题。

3. 处理未使用的Result：
   原代码中l.set_state()返回的Result未被处理，这里添加了let _ =消除警告，你可以根据业务逻辑改为l.set_state()?来传播错误。

另一种等价写法（保留Fut泛型） #

如果你希望显式保留Fut泛型参数，可以这样修改约束：

pub async fn with_lock<F, Fut>(&self, func: F) -> Result<(), Box<dyn Error>>
where
    for<'a> F: FnOnce(&'a FileCacheLock) -> Fut,
    for<'a> Fut: Future<Output = ()> + 'a,

这种写法同样能让编译器将Fut的生命周期与'a绑定，达到相同的效果。

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