10. Async Traits 🟡
你将学到:
- 为什么 async trait methods 花了数年时间才稳定
- RPITIT:原生的 async trait 方法(Rust 1.75+)
- dyn 派发的挑战和
trait_variant变通方案- Async 闭包(Rust 1.85+):
async Fn()和async FnOnce()
graph TD
subgraph "Async Trait Approaches"
direction TB
RPITIT["RPITIT (Rust 1.75+)<br/>async fn in trait<br/>Static dispatch only"]
VARIANT["trait_variant<br/>Auto-generates Send variant<br/>Enables dyn dispatch"]
BOXED["Box<dyn Future><br/>Manual boxing<br/>Works everywhere"]
CLOSURE["Async Closures (1.85+)<br/>async Fn() / async FnOnce()<br/>Callbacks & middleware"]
end
RPITIT -->|"Need dyn?"| VARIANT
RPITIT -->|"Pre-1.75?"| BOXED
CLOSURE -->|"Replaces"| BOXED
style RPITIT fill:#d4efdf,stroke:#27ae60,color:#000
style VARIANT fill:#e8f4f8,stroke:#2980b9,color:#000
style BOXED fill:#fef9e7,stroke:#f39c12,color:#000
style CLOSURE fill:#e8daef,stroke:#8e44ad,color:#000
历史:为什么花了这么长时间
Async methods in traits 多年来一直是 Rust 最请求的功能。问题是:
#![allow(unused)]
fn main() {
// 这在 Rust 1.75 (2023 年 12 月) 之前无法编译:
trait DataStore {
async fn get(&self, key: &str) -> Option<String>;
}
// 为什么?因为 async fn 返回 `impl Future<Output = T>`,
// 而 trait 返回位置不支持 `impl Trait`。
}
根本挑战:当 trait 方法返回 impl Future 时,每个实现者返回不同的具体类型。编译器需要知道返回类型的大小,但 trait 方法是动态派发的。
RPITIT: Return Position Impl Trait in Trait
从 Rust 1.75 开始,这对静态派发直接可用:
#![allow(unused)]
fn main() {
trait DataStore {
async fn get(&self, key: &str) -> Option<String>;
// Desugars to:
// fn get(&self, key: &str) -> impl Future<Output = Option<String>>;
}
struct InMemoryStore {
data: std::collections::HashMap<String, String>,
}
impl DataStore for InMemoryStore {
async fn get(&self, key: &str) -> Option<String> {
self.data.get(key).cloned()
}
}
// ✅ 适用于泛型(静态派发):
async fn lookup<S: DataStore>(store: &S, key: &str) {
if let Some(val) = store.get(key).await {
println!("{key} = {val}");
}
}
}
dyn 派发和 Send 约束
限制:你不能直接使用 dyn DataStore,因为编译器不知道返回 future 的大小:
#![allow(unused)]
fn main() {
// ❌ 无法工作:
// async fn lookup_dyn(store: &dyn DataStore, key: &str) { ... }
// Error: the trait `DataStore` is not dyn compatible because method `get`
// is `async`
// ✅ 变通方案:返回 box future
trait DynDataStore {
fn get(&self, key: &str) -> Pin<Box<dyn Future<Output = Option<String>> + Send + '_>>;
}
// 或者使用 trait_variant 宏(见下文)
}
Send 问题:在多线程 runtime 中,派生的任务必须是 Send。但 async trait 方法不会自动添加 Send 约束:
#![allow(unused)]
fn main() {
trait Worker {
async fn run(self); // Future 可能 Send 也可能不 Send
}
struct MyWorker;
impl Worker for MyWorker {
async fn run(self) {
// 如果这使用 !Send 类型,future 就是 !Send
let rc = std::rc::Rc::new(42);
some_work().await;
println!("{rc}");
}
}
// ❌ 这失败是因为 future 是 !Send(Rc 是 !Send):
// tokio::spawn(worker.run()); // Requires Send + 'static
//
// 注意:这里我们用 `self`(owned)是因为 tokio::spawn 也需要 'static ——
// 一个借用 &self 的 future 不能是 'static。
// 即使没有 Rc,`async fn run(&self)` 也不能被 spawn。
}
trait_variant Crate
trait_variant crate(来自 Rust async 工作组)自动生成一个 Send 变体:
#![allow(unused)]
fn main() {
// Cargo.toml: trait-variant = "0.1"
#[trait_variant::make(SendDataStore: Send)]
trait DataStore {
async fn get(&self, key: &str) -> Option<String>;
async fn set(&self, key: &str, value: String);
}
// 现在你有两个 traits:
// - DataStore: futures 上没有 Send 约束
// - SendDataStore: 所有 futures 都是 Send
// 两者有相同的方法,实现者实现 DataStore
// 如果他们的 futures 是 Send,则免费获得 SendDataStore。
// 当你需要 spawn 时使用 SendDataStore:
async fn spawn_lookup(store: Arc<dyn SendDataStore>) {
tokio::spawn(async move {
store.get("key").await;
});
}
}
快速参考:Async Traits
| 方法 | 静态派发 | 动态派发 | Send | 语法开销 |
|---|---|---|---|---|
原生 async fn in trait | ✅ | ❌ | 隐式 | 无 |
trait_variant | ✅ | ✅ | 显式 | #[trait_variant::make] |
手动 Box::pin | ✅ | ✅ | 显式 | 高 |
async-trait crate | ✅ | ✅ | #[async_trait] | 中(过程宏) |
推荐:对于新代码(Rust 1.75+),使用原生 async traits, 当你需要
dyn派发时使用trait_variant。async-traitcrate 仍然 广泛使用,但 box 每个 future —— 原生方法对静态派发是零成本的。
Async 闭包(Rust 1.85+)
从 Rust 1.85 开始,async 闭包 稳定了 —— 捕获环境并返回 future 的闭包:
#![allow(unused)]
fn main() {
// 1.85 之前:笨拙的变通方案
let urls = vec!["https://a.com", "https://b.com"];
let fetchers: Vec<_> = urls.iter().map(|url| {
let url = url.to_string();
// 返回一个非 async 闭包,返回一个 async 块
move || async move { reqwest::get(&url).await }
}).collect();
// 1.85 之后:async 闭包直接可用
let fetchers: Vec<_> = urls.iter().map(|url| {
async move || { reqwest::get(url).await }
// ↑ 这是 async 闭包 —— 捕获 url,返回一个 Future
}).collect();
}
Async 闭包实现了新的 AsyncFn、AsyncFnMut 和 AsyncFnOnce traits,它们镜像 Fn、FnMut、FnOnce:
#![allow(unused)]
fn main() {
// 接受 async 闭包的泛型函数
async fn retry<F>(max: usize, f: F) -> Result<String, Error>
where
F: AsyncFn() -> Result<String, Error>,
{
for _ in 0..max {
if let Ok(val) = f().await {
return Ok(val);
}
}
f().await
}
}
迁移提示:如果你有使用
Fn() -> impl Future<Output = T>的代码, 考虑切换到AsyncFn() -> T以获得更清晰的签名。
🏋️ 练习:设计一个 Async Service Trait(点击展开)
挑战:设计一个 Cache trait,带有 async get 和 set 方法。实现两次:一次使用 HashMap(内存中),一次使用模拟 Redis 后端(使用 tokio::time::sleep 模拟网络延迟)。编写一个泛型函数,适用于两者。
🔑 解答
use std::collections::HashMap;
use std::sync::Arc;
use tokio::sync::Mutex;
use tokio::time::{sleep, Duration};
trait Cache {
async fn get(&self, key: &str) -> Option<String>;
async fn set(&self, key: &str, value: String);
}
// --- 内存中实现 ---
struct MemoryCache {
store: Mutex<HashMap<String, String>>,
}
impl MemoryCache {
fn new() -> Self {
MemoryCache {
store: Mutex::new(HashMap::new()),
}
}
}
impl Cache for MemoryCache {
async fn get(&self, key: &str) -> Option<String> {
self.store.lock().await.get(key).cloned()
}
async fn set(&self, key: &str, value: String) {
self.store.lock().await.insert(key.to_string(), value);
}
}
// --- 模拟 Redis 实现 ---
struct RedisCache {
store: Mutex<HashMap<String, String>>,
latency: Duration,
}
impl RedisCache {
fn new(latency_ms: u64) -> Self {
RedisCache {
store: Mutex::new(HashMap::new()),
latency: Duration::from_millis(latency_ms),
}
}
}
impl Cache for RedisCache {
async fn get(&self, key: &str) -> Option<String> {
sleep(self.latency).await; // 模拟网络往返
self.store.lock().await.get(key).cloned()
}
async fn set(&self, key: &str, value: String) {
sleep(self.latency).await;
self.store.lock().await.insert(key.to_string(), value);
}
}
// --- 泛型函数适用于任何 Cache ---
async fn cache_demo<C: Cache>(cache: &C, label: &str) {
cache.set("greeting", "Hello, async!".into()).await;
let val = cache.get("greeting").await;
println!("[{label}] greeting = {val:?}");
}
#[tokio::main]
async fn main() {
let mem = MemoryCache::new();
cache_demo(&mem, "memory").await;
let redis = RedisCache::new(50);
cache_demo(&redis, "redis").await;
}
关键要点:同一个泛型函数通过静态派发适用于两种实现。没有 boxing,没有分配开销。对于动态派发,添加 trait_variant::make(SendCache: Send)。
关键要点——Async Traits
- 从 Rust 1.75 开始,你可以在 traits 中直接编写
async fn(不需要#[async_trait]crate)trait_variant::make为动态派发自动生成Send变体- Async 闭包(
async Fn())在 1.85 稳定 —— 用于回调和中间件- 对于性能关键代码,优先使用静态派发(
<S: Service>)而不是dyn
另见: 第 13 章 — 生产级模式 了解 Tower 的
Servicetrait,第 6 章 — 手动构建 Futures 了解手动 trait 实现