Rust中v:T时，Layout::from_value与Layout::new::<T>是否存在差异？

1. 仅针对Sized类型实现MyBox是否安全？ #

完全安全。

对于Sized类型，编译期就能确定它的大小（mem::size_of::<T>()）和对齐要求（mem::align_of::<T>()），而mem::size_of_val(&data)和mem::align_of_val(&data)对于Sized类型的实例来说，返回值和对应的编译期常量完全一致——因为Sized类型的每个实例的大小、对齐都是固定的，不会随实例内容变化。

这意味着你分配时用的Layout::for_value(&data)和释放时用的Layout::new::<T>()会生成完全相同的布局描述，完全满足dealloc对“分配/释放布局一致”的要求，不会出现安全问题。

2. 当v属于类型T时，Layout::for_value(&v)与Layout::new::<T>()是否可能存在差异？ #

分两种情况：

• 如果T是Sized类型：不可能有差异。理由和上面一致，Sized类型的大小、对齐是编译期固定的，实例级别的size_of_val/align_of_val和类型级别的size_of/align_of返回值完全相同，因此两个方法生成的Layout完全一致。
• 如果T是动态大小类型（DST）：必然存在差异（甚至Layout::new::<T>()对于DST来说会直接编译报错，因为无法在编译期确定其大小）。Layout::for_value(&v)会根据v的实际动态信息（比如字符串的长度、切片的元素个数）计算出真实的大小，而Layout::new::<T>()因为T是DST，编译期无法获取其大小，根本无法调用——这也是为什么标准库中处理DST的Box需要额外的动态布局信息。

另外补充：即使T是包含DST指针的Sized类型（比如&str、Box<[i32]>），这些类型本身是Sized的，所以Layout::for_value和Layout::new::<T>依然会生成相同的布局，因为这类指针的大小和对齐是固定的（等于指针的大小和对齐）。

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