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;
}