Rust, Future, Recursion, Send

这几天写了个爬虫， 遇到了一个Future中的变量不满足Send trait导致无法编译通过的问题，挺有意思，记录一下。

以下是简要复盘当时的现场:

fn f1<'a>() -> BoxFuture<'a, ()> {
    async move {
        let p = Rc::new(1);
        f2().await;
    }
    .boxed()
}

async fn f2() {
    println!("hell world");
}

以下是编译器的提示:

future cannot be sent between threads safely
within `impl futures::Future`, the trait `std::marker::Send` is not implemented for `Rc<i32>`

 

简单说一下出现这种问题的原因， 上一篇文章里面提到过，Future其实就是个状态机， 扔到线程上就可以跑，但是中途是可以yield的， 然后等到某些条件达到之后再唤醒线程， 从yield出去的那个点继续执行下去， 不过虽说叫`唤醒`线程， 但实际上不是Future直接与操作系统沟通来完成线程调度的，这个工作是由runtime来完成的(tokio之类的),  这些runtime一般自己会维护一个线程池， 具体怎么跟物理线程对应咱就不清楚了，但是在这里可以暂时把这个池子里的线程理解为物理线程, runtime从池子里拉一个闲着的线程来继续执行Future， 这就导致一个问题， 这个线程很有可能不是上一个执行这个Future的