【Rust日报】 2019-10-27 為什麼async函數很難寫？

最新推荐文章于 2024-05-13 09:41:22 发布

Rust语言中文社区

最新推荐文章于 2024-05-13 09:41:22 发布

阅读量282

点赞数

本文链接：https://blog.csdn.net/u012067469/article/details/102774308

版权

目前可以使用 sqlite, postgres, mysql

他想異步地對數據庫執行各種操作

如果使用了 async_trait 這個庫

#[async_trait]
trait Database {
    async fn get_user(&self) -> User;
}

等同於

trait Database {
    fn get_user(&self) -> Pin<Box<dyn Future<Output = User> + Send + '_>>;
}

這會有一些問題

變成 impl Trait in traits 要 GATs generic associated type

他這邊要實作就要用

trait Database {
    type GetUser<'s>: Future<Output = User> + 's;
    fn get_user(&self) -> Self::GetUser<'_>;
}

用生命週期的原因是異步fn總是捕獲所有參數

因此我們返回的任何類型都將＆self作為回傳的一部分，因此它必須包含生命週期。

如果您要編寫通用代碼，則可能需要將生成的結果指定為Send。

像這樣

fn finagle_database<D: Database>(d: &D)
where
    for<'s> D::GetUser<'s>: Send,
{
    ...
    spawn(d.get_user());
    ...
}

要避免問題 #1 跟 #2, async-trait 讓 async fn返回dyn Future而不是impl Future。

要避免問題 #3, async-trait 你可以選用 Pin<Box<dyn Future + Send>> （您選擇用“Send”）。這幾乎是最常用的默認值。

這個問題解法非常複雜，小編我難以完全理解，請有興趣的人可以去看看。

即將進 nightly 版本

Zstandard是由Facebook的Yann Collet開發的一個無失真資料壓縮演算法。該名稱也指其C語言的參考實現。第1版的實現於2016年8月31日

實作1 實作2 論文

From 日报小组 @Damody

日报订阅地址：

独立日报订阅地址：

社区学习交流平台订阅：

关注