rust - 使用 Send 特征标记包含 !Send 字段的类型背后的原因是什么？

Question

标记包含 !Send 的类型背后的原因是什么？字段(如 Rc 或 NonNull )与 Send特征？例如，标准库的 LinkedList 以这种方式工作:它包含 Option<NonNull<_>>字段并实现 Send特征(当 T 是 Send 时)。

这如何安全，使用这种类型安全工作的保证和方法是什么？

Answer 1

查看rationale对于 NonNull 为 !Send:

NonNull pointers are not Send because the data they reference may be aliased.

但是 LinkedList 中的 NonNull 是私有(private)实现细节。如果此类型知道内部类型 T 是 Send 并且它所做的使用也是 Send - 安全的，(公共(public) API 中没有不安全) 然后它可以重新引入 Send 特性。

该保证基本上可以确保您无法获得内部类型的可变别名；并确保没有意外的内部可变性(从不可变引用中获取可变引用)。

NonNull 没有提供这些保证，但它们在 LinkedList 中。