013 Rust 异步编程,Send trait 相关

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;
}
本作品采用《CC 协议》,转载必须注明作者和本文链接

令狐一冲

讨论数量: 0
(= ̄ω ̄=)··· 暂无内容!

请勿发布不友善或者负能量的内容。与人为善,比聪明更重要!