如何在递归异步函数中避免使用Arc传递堆数据给子任务？

你的核心思路完全正确：当前作用域创建的to_append会在所有子任务完成后才被销毁，完全可以用引用替代Arc来避免锁竞争。但编译器报错的根源是#[async_recursion]属性默认要求异步函数返回的Future是'static的——它不能持有任何非静态引用，而你传递的Vec<&Placeholder>带有生命周期，导致生成的Future不符合这个要求。

解决方案：手动实现递归，显式控制生命周期 #

放弃#[async_recursion]，手动编写递归逻辑并标注生命周期，让编译器明确引用的存活范围：

use futures::stream::FuturesUnordered;
use std::sync::Arc;
use std::time::Duration;
use tokio::time::sleep;

struct Placeholder {
    foo: i32,
}

type Result<T> = std::result::Result<T, Box<dyn std::error::Error>>;

async fn recur<'a>(depth: i32, max_depth: i32, aux: Vec<&'a Placeholder>) -> Result<Vec<Arc<Placeholder>>> {
    // 基准终止条件
    if depth == max_depth {
        return Ok(vec![Arc::new(Placeholder { foo: 1 })]);
    }

    // 挂起任务到队列尾部（保留原逻辑）
    sleep(Duration::from_millis(0)).await;

    // 创建当前层级的Placeholder，无需Arc
    let to_append = Placeholder { foo: depth };
    // 构建新的上下文列表，添加当前Placeholder的引用
    let mut base_aux = aux.clone();
    base_aux.push(&to_append);

    // 生成子任务
    let mut tasks = FuturesUnordered::new();
    for _ in 0..(max_depth - depth) {
        tasks.push(recur(depth + 1, max_depth, base_aux.clone()));
    }

    // 收集所有子任务结果
    let mut ret = Vec::new();
    while let Some(Ok(res)) = tasks.next().await {
        ret.extend(res.into_iter().map(Arc::clone));
    }

    Ok(ret)
}

// 递归入口函数
async fn start_recursion(max_depth: i32) -> Result<Vec<Arc<Placeholder>>> {
    recur(0, max_depth, Vec::new()).await
}

关键说明 #

1. 生命周期标注'a：告诉编译器aux中的引用生命周期绑定到当前函数的作用域，而to_append就在这个作用域内，所有子任务都会在to_append被销毁前完成（因为我们立即await了所有子任务），完全满足安全要求。
2. 去掉#[async_recursion]：该属性的自动推导会强制'static生命周期，反而限制了我们的场景。手动递归能更精准地控制生命周期关系。
3. 性能优化：把base_aux的clone移到循环外，减少不必要的Vec拷贝，进一步降低开销。

为什么原思路可行？ #

你的判断没错：to_append和子任务同属一个作用域，子任务的await操作会阻塞当前函数直到所有子任务完成，to_append会一直存活到所有引用它的子任务执行完毕，不存在悬垂引用的风险。

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