8 Pinning（固定） on 编程那些事儿

8.1 什么是 pinning

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

译文 · 基于 Comprehensive Rust

原文链接: https://google.github.io/comprehensive-rust/unsafe-deep-dive/pinning/what-pinning-is.html

8.1 什么是 pinning

被固定的类型不能改变其内存地址（移动）
被指向的值不能被 safe 代码移动

Pin<Ptr> 利用所有权系统来控制如何访问被固定的值。Rust 并未改变语言本身，而是通过所有权系统来强制 pinning。Pin 拥有其内容，且其 safe API 中没有任何操作会触发移动。

8.2 什么是移动

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

译文 · 基于 Comprehensive Rust

原文链接: https://google.github.io/comprehensive-rust/unsafe-deep-dive/pinning/what-a-move-is.html

8.2 什么是移动

即使对于未实现 Copy 的类型，移动也始终是按位拷贝：

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


// Copyright 2026 Google LLC
// SPDX-License-Identifier: Apache-2.0
#[derive(Debug, Default)]
pub struct DynamicBuffer {
 data: Vec<u8>,
 position: usize,
};

pub fn move_and_inspect(x: DynamicBuffer) { println!("{x:?}"); }

pub fn main() {
 let a = DynamicBuffer::default();
 let mut b = a;
 b.data.push(b'R');
 b.data.push(b'U');
 b.data.push(b'S');
 b.data.push(b'T');
 move_and_inspect(b);
}

调用 move_and_inspect() 时生成的 LLVM IR：

8.3 Pin 的定义

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

译文 · 基于 Comprehensive Rust

原文链接: https://google.github.io/comprehensive-rust/unsafe-deep-dive/pinning/definition-of-pin.html

8.3 Pin 的定义

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


// Copyright 2026 Google LLC
// SPDX-License-Identifier: Apache-2.0
#[repr(transparent)]
pub struct Pin<Ptr> {
 pointer: Ptr,
}

impl<Ptr: Deref<Target: Unpin>> Pin<Ptr> {
 pub fn new(pointer: Ptr) -> Pin<Ptr> { ... }
}

impl<Ptr: Deref> Pin<Ptr> {
 pub unsafe fn new_unchecked(pointer: Ptr) -> Pin<Ptr> { ... }
}

Pin 是对 指针类型 的最小包装；指针类型定义为实现了 Deref 的类型。

8.4 为何难以使用

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

译文 · 基于 Comprehensive Rust

原文链接: https://google.github.io/comprehensive-rust/unsafe-deep-dive/pinning/why-difficult.html

8.4 为何难以使用

Pin<Ptr>「只是」标准库中定义的一个类型
这满足了其最初受众——async 运行时作者——的需求，而无需扩展核心语言
该受众可以接受一些人体工程学上的缺点，因为 async 的使用者很少直接与 Pin 交互

「你可能会疑惑 Pin 为何如此难用。答案很大程度上是历史原因。」

8.5 `Unpin` trait（可解除固定）

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

译文 · 基于 Comprehensive Rust

原文链接: https://google.github.io/comprehensive-rust/unsafe-deep-dive/pinning/unpin-trait.html

8.5 `Unpin` trait（可解除固定）

Unpin 类型即使被 Pin 包装也可以自由移动
大多数类型都实现 Unpin，因为它是「auto trait」
auto trait 的行为可以更改：
- !Unpin 类型绝不能移动
- 包含 PhantomPinned 字段的类型默认不实现 Unpin

说明：当某个类型实现了 Unpin 时，不会触发 Pin<Ptr> 的 pinning 行为。该值可以自由移动。

8.6 `PhantomPinned` 标记类型

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

译文 · 基于 Comprehensive Rust

原文链接: https://google.github.io/comprehensive-rust/unsafe-deep-dive/pinning/phantompinned.html

8.6 `PhantomPinned` 标记类型

定义

1
2
3
4
5


// Copyright 2026 Google LLC
// SPDX-License-Identifier: Apache-2.0
pub struct PhantomPinned;

impl !Unpin for PhantomPinned {}

用法

1
2
3
4
5
6
7


// Copyright 2026 Google LLC
// SPDX-License-Identifier: Apache-2.0
pub struct DynamicBuffer {
 data: Vec<u8>,
 cursor: std::ptr::NonNull<u8>,
 _pin: std::marker::PhantomPinned,
}

PhantomPinned 是一种标记类型。

8 Pinning（固定） on 编程那些事儿

8.1 什么是 pinning

8.1 什么是 pinning

8.2 什么是移动

8.2 什么是移动

8.3 Pin 的定义

8.3 Pin 的定义

8.4 为何难以使用

8.4 为何难以使用

8.5 `Unpin` trait（可解除固定）

8.5 Unpin trait（可解除固定）

8.6 `PhantomPinned` 标记类型

8.6 PhantomPinned 标记类型

定义

用法

8.5 `Unpin` trait（可解除固定）

8.6 `PhantomPinned` 标记类型