万一有人看呢？
首先，明确堆上储存了什么
毫无疑问，堆上的数据无疑就是一个长度为 N的 i32数组
然后，Box<[i32; N]>是怎么储存的
依次将结构体展开，并将指针 *const T用编译器实际行为 core::ptr::metadata::PtrComponents<T>替代
(资料图)
非零大小而具有实际内容的数据紧密排列后，最终布局为
此时，对于任意的 N
故称指向 [i32; N]的指针是瘦指针，[i32; N]实现了特性 Thin = Pointee<Metadata = ()>
那么，Box<[i32]>是怎么储存的
同样进行展开，但是指针的元数据类型发生了改变
紧密排列后的最终布局为
此时
故称指向 [i32]的指针是胖指针，[i32]实现了特性 Pointee<Metadata = usize>
转换过程中发生了什么
很显然，在 *const [i32; N] as *const [i32]的过程中，从编译时具有的类型信息中抹去了 N，就必须在运行时具有的内存数据中放下 N
那么，从 Box<i32>到 Box<dyn Any>呢
堆上的数据非常简单
而 Box<i32>则为
排列毫无疑问
那么 Box<dyn Any>呢
排列则增加了虚表
此时
因此指向 dyn Any的指针也是胖指针，dyn Any实现了特性 Pointee<Metadata = DynMetadata<dyn Any>>
那么，虚表是什么
虚表对于用户来说是外部的类型，虽然我们不知道外部类型的大小，extern_type没有实现 Sized，但指向外部类型的指针依然是瘦的，extern_type实现了 Thin
最后一个问题，虚表有什么
很显然，在 *const i32 as *const dyn Any的过程中，从编译时具有的类型信息中抹去了实际数据类型布局和虚方法表，就必须在运行时具有的内存数据中放下它们
数据类型的布局，包括对齐和大小
虚方法表则包括特性及其父特性要求的所有方法，以及可能具有的最为特殊的 Drop::drop方法实现
一些其他内容
Thin和 Sized的关系是什么
Thin是 Sized和 extern_type的总和，实践中具有 Sized: Thin，Sized比 Thin更严格
如何获取 DynMetadata<Dyn>的布局
DynMetadata<Dyn>::layout(self) -> Layout获取布局，布局由对齐和大小两个部分组成
DynMetadata<Dyn>::size_of(self) -> usize获取大小
DynMetadata<Dyn>::align_of(self) -> usize获取对齐
如何在泛型中表示像 [i32; N]与 [i32]、i32与 dyn Any之间的关系
使用 T: Unsize<Dyn>其中 core::marker::Usize<T: ?Sized>
具有此关系后，可以在他们的指针上使用 as
如何在泛型中表示像 Box<[i32; N]>与 Box<[i32]>、Box<i32>与 Box<dyn Any>之间的关系
使用 BoxT: CoerceUnsized<BoxDyn>其中 core::ops::unsize::CoerceUnsized<T: ?Sized>
具有此关系后，可以在他们上使用 as
其他的其他
本文提及的一些特性还未稳定，如果你在代码中使用，需要 nightly 版本编译器并声明需要的功能
#![feature(unsize)]允许 trait Unsize的使用
#![feature(coerce_unsized)]允许 trait CoerceUnsized的使用
#![feature(ptr_metadata)]允许指针元数据相关API的使用
#![feature(extern_types)]允许外部类型的使用
本文在未使用分配器的情况下讨论，如果使用分配器API，情况可能发生改变
