2 异步基础 on 编程那些事儿

2.1 `async`/`await`

Tue, 11 Aug 2026 11:30:00 +0800

译文 · 基于 Comprehensive Rust

原文链接: https://google.github.io/comprehensive-rust/concurrency/async/async-await.html

2.1 `async`/`await`

从高层看，异步 Rust 代码看起来很像「普通」顺序代码：

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17


// Copyright 2024 Google LLC
// SPDX-License-Identifier: Apache-2.0
use futures::executor::block_on;

async fn count_to(count: i32) {
 for i in 0..count {
 println!("Count is: {i}!");
 }
}

async fn async_main(count: i32) {
 count_to(count).await;
}

fn main() {
 block_on(async_main(10));
}

要点：

2.2 Futures

Tue, 11 Aug 2026 11:30:00 +0800

译文 · 基于 Comprehensive Rust

原文链接: https://google.github.io/comprehensive-rust/concurrency/async/futures.html

2.2 Futures

Future 是一个 trait，由表示可能尚未完成的操作的对象实现。可以对 future 进行轮询，poll 返回 Poll。

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14


// Copyright 2024 Google LLC
// SPDX-License-Identifier: Apache-2.0
use std::pin::Pin;
use std::task::Context;

pub trait Future {
 type Output;
 fn poll(self: Pin<&mut Self>, cx: &mut Context<'_>) -> Poll<Self::Output>;
}

pub enum Poll<T> {
 Ready(T),
 Pending,
}

async 函数返回 impl Future。也可以（但不常见）为自己的类型实现 Future。例如，tokio::spawn 返回的 JoinHandle 实现了 Future，以便对其 join。

2.3 状态机

Tue, 11 Aug 2026 11:30:00 +0800

译文 · 基于 Comprehensive Rust

原文链接: https://google.github.io/comprehensive-rust/concurrency/async/state-machine.html

2.3 状态机

Rust 会把 async 函数或块转换成实现 Future 的隐藏类型，用状态机跟踪函数进度。该转换的细节很复杂，但对其有个示意性理解是有益的。下面的函数

2.5 任务

Tue, 11 Aug 2026 11:30:00 +0800

译文 · 基于 Comprehensive Rust

原文链接: https://google.github.io/comprehensive-rust/concurrency/async/tasks.html

2.5 任务

Rust 有一个任务系统，是一种轻量级线程形式。

一个任务有一个顶层 future，由 executor 轮询以推进。该 future 可能有一个或多个嵌套 future，由其 poll 方法轮询，大致对应调用栈。任务内的并发可以通过轮询多个子 future 实现，例如让定时器与 I/O 操作竞赛。

2 异步基础 on 编程那些事儿

2.1 `async`/`await`

2.1 async/await

2.2 Futures

2.2 Futures

2.3 状态机

2.3 状态机

2.5 任务

2.5 任务

2.1 `async`/`await`