在Rust中，!Unpin是什么？

Question

3

我无法找到!Unpin的文档在这里的文档中提到。

更普遍地说，!运算符似乎缺乏有关特性的相应文档。具体而言，它似乎表示Not，例如在这种情况下是Not Unpin或者可能是Not Unpinable。我想它与Pin在某些方面不同，否则它将是多余的。目前，由于!经常出现，因此查找文档很具有挑战性。

如果可以在文档的附录B：运算符和符号中包含!在特性上的操作行为，那就太好了。

- George

2

这是一个自动特质的负实现。文档在这里：https://doc.rust-lang.org/stable/reference/special-types-and-traits.html#auto-traits - Sven Marnach

我承认如果不知道“自动特质”这个术语的话，很难找到它。 - Sven Marnach

另一方面，如果您不知道自动特征，则可能没有太大用处。@SvenMarnach - jthulhu

1个回答

网页内容由stack overflow 提供, 点击上面的

可以查看英文原文，
原文链接

- Silvio Mayolo · Accepted Answer

Unpin是几个自动特性之一，它会自动为与其兼容的任何类型进行实现。对于Unpin，这意味着基本上所有类型都适用，详见此处。

只有自动特性（而且仅限于自动特性）可以通过在特性名前加上!来编写负实现。

// By default, A implements Unpin
struct A {}

// But wait! Don't do that! I know something you don't, compiler.
impl !Unpin for A {}

Unpin指的是告诉Rust，实现类型T的值可以安全地从Pin中移动。通常情况下，Pin表示内部的内容不应该被移动。而Unpin则相反，它表示“我知道我们刚刚固定了这个值，但作为此类型的编写者，我知道它仍然可以安全地移动”。

通常，在Safe Rust中的任何内容都是Unpin的。唯一需要将某些东西标记为！Unpin的时候是当它与其他语言（如C）进行交互时。例如，如果您有一个在C中存储指针的数据类型，则C代码可能根据数据永远不会更改地址的假设来编写。在这种情况下，您需要取消Unpin的实现。