为何pin-project在无#[pin]字段时为任意结构体实现Unpin？

示例代码 #

use std::marker::PhantomPinned;

use pin_project::pin_project;

#[pin_project]
struct Struct<T> {
    field: T,
    #[pin] // <------ 这个`#[pin]`是让`Struct`成为`!Unpin`的必要条件。
    _pin: PhantomPinned,
}

关键注意事项 #

• 使用PhantomPinned但不添加#[pin]属性不会产生任何效果。
• Rust默认规则：当结构体所有字段都实现Unpin时，会自动为该结构体实现Unpin；但经pin-project宏处理的结构体，若没有被#[pin]标记的字段，即便包含!Unpin类型的字段，该结构体仍会被自动实现Unpin。

设计原因解析 #

这种设计是为了贴合pin-project的核心定位——精准控制字段的pin行为，具体原因如下：

1. 明确区分固定需求：pin-project的核心价值是帮开发者安全处理Pin指针下的字段访问，只有被#[pin]标记的字段才会被视为需要保持固定的部分。如果没有任何字段需要固定，整个结构体的pin状态就失去意义，此时让结构体实现Unpin，能让开发者自由移动它，无需受Pin约束。
2. 避免意外行为：如果仅凭结构体包含!Unpin字段就自动让其成为!Unpin，可能违背开发者预期——比如开发者只是用PhantomPinned做占位符，或者某个!Unpin字段实际上不需要固定。通过要求显式标记#[pin]字段，pin-project把是否让结构体成为!Unpin的控制权完全交给开发者，避免隐式逻辑带来的混淆。
3. 简化实现与使用：当结构体没有#[pin]字段时，pin-project生成的代码可以直接认定整个结构体可移动，无需处理Pin下的字段访问逻辑，既简化了宏生成的代码，也让开发者无需为不需要固定的结构体额外处理复杂的Pin相关逻辑。

内容的提问来源于stack exchange，提问作者bilosikia