rust - 没有 `pin_project`的 `Unpin`声音如何

Question

pin_project允许结构设计者从对整个结构的固定引用中获取对结构字段的固定引用。它进一步允许设计者指定哪些字段需要固定引用，哪些可以简单地获取常规引用:

#[pin_project]
struct Demo<A, B> {
    #[pin]
    field_a: A,
    field_b: B,
}

impl<A, B> Demo {
    fn show_references(self: Pin<&mut Self>) {
        let this = self.project();
        let field_a: Pin<&mut A> = this.field_a;
        let field_b: &mut B = this.field_b;
    }
}

我的问题是，没有 field_b怎么能使 B: Unpin部分发声？固定引用的创建会“固定”该结构，强制所引用的结构不得移出其在内存中的位置。不会像可变性一样递归地应用此属性吗？如果将 Demo固定，这是否意味着隐式固定了 field_a和 field_b？

Answer 1

如the documentation for pin projection中所述，Pin做出的保证不一定是递归的。
这里的主要保证是:“Pin<P>防止某些值(由包裹在Pin<P>中的指针指向)移动”。从设计上讲，这特别适用于整个这些值，而Pin本身对这些值的字段不作任何声明。Pin的设计可能有所不同，但是这种特定方法非常有用，因为它可以让每个特定用例自行决定是否需要“结构”固定(其中字段必须自己固定)和“非结构”固定(您可以安全地移动或交换字段)。
例如，假设必须固定一个类型为PinMe的值，然后将该值放入struct Wrapper中。此类Wrapper值的指针必须是Pin指针，以防止移动内部PinMe:

#[pin_project]
struct Wrapper {
    #[pin]
    pinned: PinMe,
}

fn f(w: Pin<&mut Wrapper>) {
    // We cannot move the `Wrapper` that `w` points to, as that would move `w.pinned`.
    // All we can do is grab a pinned pointer to the `PinMe`:
    let inner: Pin<&mut PinMe> = w.project().pinned;
}

但是，如果 Wrapper具有另一个与 PinMe完全无关的字段，则没有理由不移动或交换该字段:

#[pin_project]
struct Wrapper {
    #[pin]
    pinned: PinMe,
    counter: i32,
}

fn f(w: Pin<&mut Wrapper>) {
    let w = w.project();
    let inner: Pin<&mut PinMe> = w.pinned;
    let counter: &mut i32 = w.counter;

    // These sorts of operations do not affect the `PinMe`:
    *counter += 3;
    mem::replace(counter, 5);
}

结构钉扎与非结构钉扎的选择完全取决于您需要坚持的不变性。如果 field_b需要保留在 field_a的旁边，则向其添加 #[pin]。但是，如果这不是您的 Demo类型所需要的，则可以将其省略，它提供的保证较少，但仍然安全。
编辑:此外，即使该额外字段未实现 Unpin，这也适用，只要没有构造直接指向它的 Pin即可。例如:

#[pin_project]
struct Wrapper<T> {
    #[pin]
    pinned: PinMe,

    // We know nothing about this type except that it is `Sized`.
    // Thus, we cannot assume it implements `Unpin`.
    counter: T,
}

fn f<T>(w: Pin<&mut Wrapper<T>>, other: T) {
    let w = w.project();
    let inner: Pin<&mut PinMe> = w.pinned;
    let counter: &mut T = w.counter;

    // This is still okay:
    mem::replace(counter, other);
}