async fn Future是否為Send的取決于是否在.await點上保留非Send類型。編譯器盡其所能地估計值在.await點上的保存時間。

示例

• 源碼

use std::rc::Rc;

#[derive(Default)]
struct NotSend(Rc<()>);

async fn bar() {}

async fn foo() {
    NotSend::default();
    bar().await;
}

fn required_send(_: impl Send) {}

fn main() {
    required_send(foo());
}

• 說明

上述代碼并不會報錯。但是，如果我們將代碼foo函數修改為如下：

async fn foo() {
    let x = NotSend::default();
    bar().await;
}

• 原因分析

如果我們存儲了x變量，那么在await之前，x可能并不會drop，那么也就意味著可能會在線程之間傳遞。而Rc是不能在線程之間傳遞的。

• 解決方式

async fn foo() {
    {
        let x = NotSend::default();
    }
    bar().await;
}