异步编程延申

async 和 await

简单来说:async 负责"包装"，await 负责"推进"。

我们可以从以下两个维度来拆解:

1.async 阶段: 静态的代码转换(编译期)

编译器会将 async 代码块转换成一个实现了 Future trait 的状态机(State Machine)。

• 当你定义一个 async fn 时，它不会立即执行任何逻辑。
• 它仅仅是返回一个保存了该函数执行状态(局部变量、执行进度等)的结构体。

这和 for 循环转 Iterator 非常相似:for 本身只是语法糖，核心是那个能不断产生值的迭代器对象。

2.await 阶段: 动态的执行驱动(运行期)

这里是容易产生误解的地方。await 并不是简单的"执行完毕"，它是"挂起"与"再唤醒"的控制点。

• 它不是阻塞:.await 不会像 sleep 那样锁死线程。
• 它是状态机的边界点: 在编译器生成的状态机里，每一个 .await 都是一个 Yield Point(让出点)。

推进过程如下:

运行到 .await
    │
    ▼
调用内部 Future 的 poll()
    │
    ├─── Pending(未就绪)──→ 交出控制权,返回 Executor 等待唤醒
    │
    └─── Ready(已就绪)───→ 获取结果,继续执行后续逻辑

总结

	async	await
阶段	编译期	运行期
作用	将逻辑打包为 Future 对象	驱动状态机向前推进
类比	定义迭代器结构	调用 .next()

⚠️ 如果没有 .await，Future 就永远只是一个静止的结构体，不会有任何代码被实际执行。

Pin 和 Unpin

为什么需要 Pin？

在异步状态机中，Future 保存了跨 .await 点的局部变量。问题来了:

async fn example() {
    let s = String::from("hello");
    let r = &s; // r 引用了同一个栈帧内的 s
    some_async_op().await;
    println!("{}", r); // .await 之后还要用 r
}

编译器会把 s 和 r 都放进生成的状态机结构体里。这就产生了自引用结构体——结构体内部有一个字段指向另一个字段。

危险在于: 如果这个结构体在内存中被移动(Move)，指针 r 还指向旧地址，就变成了悬垂指针！

移动前0x1000              移动后0x2000
┌────────────┐          ┌────────────┐
│ s: "hello" │  →移动→  │ s: "hello" │
│ r: 0x1000  │          │ r: 0x1000  │  ← 指向旧地址！已失效！
└────────────┘          └────────────┘

Pin<P> 的作用就是在编译层面保证: 被 Pin 住的值不会再被移动。

而这个保证是通过Rust 类型系统和借用检查器的"禁令"来实现的。简单理解就是被 Pin 包裹的值不能再转移所有权(T) 和 生成新的引用(&mut T) 来移动它。

Unpin: 我不怕移动

Unpin 是一个 auto trait，绝大多数类型默认都实现了它。

• 实现了 Unpin 的类型:可以安全地移动，Pin 对它们没有实际约束效果。
• 没有实现 Unpin 的类型(如 async 生成的 Future):Pin 会认真保护它们。

可以把 Unpin 理解为一个类型在说:"随便移动我，我内部没有自引用，不怕！"

直观类比

概念	类比
Pin	把一封信钉在公告板上，它不能再被挪走
Unpin	普通便利贴，随便移动，没关系
自引用	信里写着"见本信第3行"，挪走后"第3行"就找不到了

简单示例

use std::pin::Pin;

// 一个普通的 Unpin 类型,Pin 对它没有实质限制
let mut x = 42i32;
let mut pinned = Pin::new(&mut x);
*pinned = 100; // 完全正常

// async fn 生成的 Future 是 !Unpin 的
// 需要用 Box::pin 或 pin! 宏将其固定在堆/栈上
let fut = async { println!("hello") };
let pinned_fut = Box::pin(fut); // 固定在堆上,可以安全 poll

在实际调用 poll() 时，执行器要求传入 Pin<&mut dyn Future>，正是为了保证在整个轮询过程中 Future 不会被移动。

总结

概念	说明
Pin<P>	包装指针，承诺不移动其指向的值
Unpin	标记trait，表示该类型可以安全移动，Pin不限制它
!Unpin	自引用结构(如async状态机)需要被Pin保护
使用场景	手写 Future、调用底层 poll 时需要处理 Pin

💡 日常使用 async/await 时，Pin 由编译器和运行时自动处理，通常不需要手动介入。只有在手写 Future 或使用 tokio::pin! 宏固定栈上变量时才会直接接触到它。