历史： 在Rust 1.0 中，PhantomData 稳定之前，开发者在表达结构体与泛型数据之间的类型关系时遇到了困难，尤其是在包装 C 库句柄时，它们在概念上拥有泛型数据但仅存储原始指针。编译器完全依赖具体字段推断变异性和所有权，这导致了过于严格的生命周期错误或内存安全违规，当 借用检查器 假设类型与其内容无关时。PhantomData 被引入作为零大小标记，以在没有运行时成本的情况下明确传达变异性、所有权和特征的影响。
问题： 考虑一个自定义智能指针 struct RawBox<T> { ptr: *const T }。虽然 *const T 对 T 是协变的，但编译器缺乏明确确认 RawBox 逻辑上拥有 T 值，特别是在 Drop Check（dropck）方面。没有 PhantomData，编译器将 T 视为一个纯粹的合成类型参数，结构体仅提及但不拥有，可能允许 T 被丢弃，而结构体仍保持指向其内存的原始指针。这个遗漏也阻止结构体正确实现基于 T 属性的自动特征，如 Send 和 Sync。
解决方案： 通过添加 PhantomData<T> 字段，您明确标记 RawBox 为对 T 协变，并表示逻辑上的所有权。这确保编译器强制 T 的生命周期长于结构体，并应用正确的子类型变异性规则。对于需要不同变异性的情况，PhantomData 接受各种类型构造器：PhantomData<fn(T)> 创建反变异性，而 PhantomData<*mut T> 或 PhantomData<Cell<T>> 则强制不变性。这个机制允许在保持 Rust 的零成本保证的同时安全地抽象原始指针。
在开发高性能音频处理库时，我需要包装一个 C API 句柄 *mut AudioContext，它实际上被类型化为一个 Rust 结构体 AudioBuffer<T>，其中 T 可以是 f32 或 i16。包装器 AudioHandle<T> 仅存储原始指针和虚表指针，但我需要它在生命周期和线程安全性方面表现得像 Box<AudioBuffer<T>>。具体而言，当 T 是 Send 时，句柄需要是 Send，并且对 T 协变，以便允许无缝替换音频样本类型。
第一种方法涉及省略任何标记，完全依赖 *mut c_void 字段。这种策略保持了最小的结构大小，避免了任何样板代码，这是其主要优势。然而，编译器假设 AudioHandle<T> 对 T 是不变的，并拒绝实现 Send，即使 T 是 Send，因为它无法验证所有权，最终破坏了要求跨线程句柄移动的 API 合同。
第二种方法考虑完全存储一个 Option<Box<T>> 以引导类型系统。这种方法正确地建立了变异性和 Send/Sync 衍生，解决了特征实现问题。不幸的是，它加倍了结构的大小，引入了复杂的丢弃逻辑，如果伪字段与 C 指针没有正确同步，可能会导致恐慌，违背了零成本抽象的目标。
选择的解决方案是向结构体中添加 marker: PhantomData<AudioBuffer<T>>。这个零大小的标记立即赋予了对 T 的协变语义，使得自动特征能够根据 T 正确推导，并确保 Drop Check 验证 AudioBuffer<T> 在句柄之前没有被丢弃。因此，FFI 包装器成功编译，没有错误，未增加任何运行时开销，并安全地允许当 T 是 Send 时音频句柄的跨线程移动，完美满足了库的要求。
为什么特定的 PhantomData<T> 触发了 Drop Check（dropck）规则，防止在仍有引用数据存活时丢弃值，而如果没有它会导致什么不安全性？
没有 PhantomData<T>，编译器假设结构体不拥有 T，允许用户代码在结构体的 Drop 实现仍持有 T 的内存的原始指针时丢弃 T。这导致了在析构函数运行时使用后已释放，因为内存可能已被重新分配或破坏。PhantomData 向 dropck 表示结构体在概念上包含 T，强制编译器验证 T 严格长于结构体，并防止这种不安全性，即使 T 在布局中占用零字节。
如何利用 PhantomData 强制对类型参数的反变异性，这在什么类型的 API 设计中是必需的？
反变异性是通过使用 PhantomData<fn(T)> 来实现的。这对于像 struct Comparator<T> { compare: fn(T, T) -> Ordering, _marker: PhantomData<fn(T)> } 这样的回调存储类型至关重要。因为 fn(T) 对 T 是反变的，所以结构体正确模型化了接受 &'static str 的比较器可以在需要 &'short str 比较器的地方使用，这与协变关系相反，并且对于函数指针的子类型是关键的。
PhantomData<Cell<T>> 与 PhantomData<T> 的变异性影响有什么区别，为什么包装不安全的内部可变性原语的结构体可能需要前者？**
PhantomData<T> 暗示协变，而 PhantomData<Cell<T>> 暗示不变性，因为 Cell 对其内容是不变的。当构建一个基于 UnsafeCell 的自定义容器，如 MyRefCell<T> 时，不变性是强制的，以防止将 MyRefCell<&'long str> 强制转换为 MyRefCell<&'short str>。这样的强制转换将允许在期望长寿命的引用的地方存储短寿命的引用，违反别名规则，并在写入操作时导致悬挂指针，而不变性标记则防止了这种情况。