Rust Pin 解析：核心原理与异步编程实践-优快云博客

文章目录

Rust Pin 解析：核心原理与异步编程实践

Rust Pin 解析：核心原理与异步编程实践

在学习 Rust 的时候，Pin 绝对是最容易让人困惑的概念之一。它不像所有权、借用那样贯穿日常编码，却在异步编程、自引用结构等场景中扮演着重要的角色。很多开发者在接触 Pin 时，都会被不可移动、Unpin、不安全构造等概念绕晕，本文将从实际问题出发，层层拆解 Pin 的本质、用法与底层逻辑。

为什么需要 Pin？

Rust 的所有权模型默认允许值在内存中自由移动，比如赋值、函数返回、容器扩容等场景，这种灵活性通常不会有问题，但当遇到自引用结构时，就会触发致命的内存安全问题。

自引用结构，简单来说就是结构体的一个字段持有指向自身另一个字段的指针或引用。当结构体被移动时，其内存地址会发生变化，但内部的自引用指针不会自动更新，依然指向原来的旧地址，最终导致指针悬垂（dangling pointer），触发未定义行为（UB）。

崩溃的自引用示例

#[derive(Debug)]
struct SelfRef {
    v: String,
    ptr: *const String, // 指向自身 v 字段的指针
}

impl SelfRef {
    pub fn new(v: String) -> Self {
        Self {
            v,
            ptr: std::ptr::null(),
        }
    }

    // 初始化自引用指针
    pub fn set_ptr(&mut self) {
        self.ptr = &self.v;
    }
}

fn create_self_ref() -> SelfRef {
    let mut res = SelfRef::new("hello rust".to_string());
    res.set_ptr(); // 此时 ptr 指向 res.v 的地址
    res // 返回时发生移动，res 的内存地址改变，ptr 仍指向旧地址
}

fn main() {
    let a = create_self_ref();
    // 解引用悬垂指针，触发未定义行为（可能崩溃、乱码）
    println!("{}", unsafe { &*a.ptr });
}

这段代码看似逻辑正常，实则存在致命隐患：函数返回时，res 会被移动到 main 函数的 a 中，内存地址发生变化，但 ptr 依然指向原来 res.v 的旧地址，此时解引用指针就会访问无效内存。

而这种自引用结构，在 Rust 异步编程中几乎无处不在，async/await 语法糖的本质是编译器生成的状态机，当代码中存在跨 await 的引用时，状态机结构体就会形成自引用。

async/await 背后的自引用

我们写一段简单的 async 函数：

async fn self_referential() -> i32 {
    let x = String::from("async demo");
    let x_ref = &x; // 引用x
    dummy_future().await; // 等待点，状态机切换
    x_ref.len() as i32 // 跨await访问引用
}

编译器会将其编译为类似如下的状态机（简化版），其中 x_ref 指向同一个结构体中的 x，形成自引用：

enum SelfReferentialFuture {
    Start, // 初始状态
    Waiting {
        x: String,
        x_ref: *const String, // 自引用指针
        dummy: DummyFuture,
    },
    Done,
}

如果这个状态机（Future）在 poll 过程中被移动，x_ref 就会变成悬垂指针。为了避免这种问题，Rust 引入了 Pin 就是将值“固定”在内存中的某个位置，防止其被移动，从而保证自引用指针的有效性。

Unpin 又是什么？

Unpin 是Rust标准库中的一个自动特征（auto trait），其定义如下：

pub auto trait Unpin {}

如果一个类型的所有字段都实现了 Unpin，那么该类型会自动实现 Unpin。默认情况下，Rust 中绝大多数类型，比如 u32、String、Vec<T>等，都实现了 Unpin，这意味着它们“不关心是否被移动”，即使被 Pin 包裹，也依然可以自由移动，Pin 对它们没有任何限制。

只有当一个不实现 Unpin 类型使用 !Unpin 标记为时，Pin 才能真正发挥固定作用。这种类型通常是包含自引用的结构，我们需要通过 Pin 强制其不可移动，保证内存安全。

安全构造：Pin::new（仅适用于 Unpin 类型）

对于实现了 Unpin 的类型，可以直接使用 Pin::new 构造 Pin 实例。但是由于这些类型是可自由移动的，Pin 的固定约束对它们无效，本质上只是一个普通的指针包装。

use std::pin::Pin;

fn main() {
    let mut s = String::from("safe pin");
    // 安全构造：String 实现了 Unpin
    let mut pinned_s = Pin::new(&mut s);
    // 可以正常修改
    pinned_s.as_mut().push_str(" demo");
    println!("{}", pinned_s); // 输出：safe pin demo
}

不安全构造：Pin::new_unchecked（适用于 !Unpin 类型）

对于! Unpin 类型（如自引用结构），必须使用 unsafe 块中的 Pin::new_unchecked 构造。这是因为 Rust 无法静态验证该值是否会被移动，需要开发者手动保证：一旦构造出 Pin 实例，被指向的值在生命周期内不会被移动。

use std::marker::PhantomPinned;
use std::pin::Pin; // 用于手动标记 !Unpin

#[derive(Debug)]
struct SelfRef {
    v: String,
    ptr: *const String,
    _pin: PhantomPinned, // 标记该类型 !Unpin（PhantomPinned 实现了 !Unpin）
}

impl SelfRef {
    // 安全构造 SelfRef 实例，并返回 Pin<Box<Self>>
    pub fn new(v: String) -> Pin<Box<Self>> {
        let res = Box::new(Self {
            v,
            ptr: std::ptr::null(),
            _pin: PhantomPinned,
        });
        // 此时地址已固定，安全地修改 ptr 指向自身的 v
        let ptr = &res.v as *const String;
        unsafe {
            // 获得 Box<Self> 的可变引用，构造 Pin
            let mut pinned_res = Pin::new_unchecked(res);
            // 安全修改 ptr
            (*pinned_res.as_mut().get_unchecked_mut()).ptr = ptr;
            pinned_res
        }
    }
}

fn main() {
    let pinned_self_ref = SelfRef::new("hello pin".to_string());
    // 解引用查看结果（安全，因为值已被固定）
    unsafe {
        println!("{}", &*pinned_self_ref.ptr); // 输出：hello pin
    }
}

实用工具：简化 Pin 的使用

实际开发中，我们很少直接使用 Pin::new_unchecked，更多是借助 Rust 生态提供的工具简化操作：

Box::pin：将值分配到堆上并固定，返回 Pin<Box<T>>，适用于需要长期固定的值（如异步任务）；
pin! 宏：将栈上的局部变量固定，返回 Pin<&mut T>，适用于临时固定的场景（如处理Stream）；
pin-project：用于处理包含多个字段的 !Unpin 类型，简化 Pin 的投影操作，避免手动写 unsafe 代码。

使用 Box::pin 简化异步任务的固定：

async fn async_task() -> String {
    "async task done".to_string()
}

fn main() {
    // 将async任务固定到堆上，返回 Pin<Box<impl Future>>
    let pinned_future = Box::pin(async_task());
    // 后续可安全地 poll 该 Future（无需担心移动）
}