如何创建与T布局和niche一致且无Drop实现的PhantomSlot<T>类型？

先看你遇到的代码示例：

use std::mem::{size_of, MaybeUninit};

struct Foo<'a> {
    foo: &'a i32,
}


fn main() {
    println!("{}", size_of::<Option<Foo>>());              // 8
    println!("{}", size_of::<Option<MaybeUninit<Foo>>>()); // 16 (!)
}

问题核心是MaybeUninit<T>虽标注#[repr(transparent)]，但编译器会为其禁用niche优化——因为MaybeUninit<T>的语义是允许未初始化状态，编译器无法确定是否能安全复用T的niche值来表示None，最终导致Option<MaybeUninit<Foo>>无法像Option<Foo>那样利用引用的空指针niche实现空间压缩。

你需要的PhantomSlot<T>是可以实现的，以下是满足所有要求的实现方案：

use std::marker::PhantomData;
use std::mem::{self, MaybeUninit};

#[repr(transparent)]
pub union PhantomSlot<T> {
    inner: MaybeUninit<T>,
    _phantom: PhantomData<T>,
}

impl<T> PhantomSlot<T> {
    /// 创建未初始化的PhantomSlot实例
    pub const fn uninit() -> Self {
        unsafe { PhantomSlot { inner: MaybeUninit::uninit() } }
    }

    /// 从已初始化的T创建PhantomSlot实例
    pub const fn new(value: T) -> Self {
        PhantomSlot { inner: MaybeUninit::new(value) }
    }

    /// 获取内部值的可变指针
    pub const fn as_mut_ptr(&mut self) -> *mut T {
        unsafe { &mut self.inner as *mut MaybeUninit<T> as *mut T }
    }

    /// 获取内部值的不可变指针
    pub const fn as_ptr(&self) -> *const T {
        unsafe { &self.inner as *const MaybeUninit<T> as *const T }
    }

    /// 取出内部值（unsafe：调用前必须确保实例已初始化）
    pub unsafe fn assume_init(self) -> T {
        self.inner.assume_init()
    }
}

// 显式实现空Drop，确保无论T是否实现Drop，PhantomSlot都不会自动调用drop逻辑
impl<T> Drop for PhantomSlot<T> {
    fn drop(&mut self) {}
}

要求满足验证： #

• 可未初始化构造：通过PhantomSlot::uninit()直接创建未初始化实例，无需依赖已初始化的T，区别于ManuallyDrop必须从已初始化值构造。
• 与T同大小、对齐和niche：#[repr(transparent)]保证union的布局完全等同于MaybeUninit<T>（即与T的大小、对齐一致），同时编译器会识别到PhantomSlot<T>的niche与T完全相同——测试Option<PhantomSlot<Foo>>的大小会是8字节，和Option<Foo>一致。
• 绝不自动实现Drop：显式提供空的Drop实现，彻底避免编译器为其生成自动调用T的drop逻辑的代码，内存安全完全由用户手动控制。

测试验证代码：

fn main() {
    println!("{}", size_of::<Option<Foo>>());              // 8
    println!("{}", size_of::<Option<PhantomSlot<Foo>>>()); // 8，符合预期
}

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