Rust的trait对象是胖指针，包含两个常规指针:数据指针和vtable指针.vtable是一个包含析构函数指针、所有trait方法指针以及数据大小和对齐方式的 struct .
What are the size and alignment fields for?
我找不到太多:
Box不存储其分配的位置、大小和对齐方式吗？每个DST的每个大小变量都不能获得自己版本的vtable，是吗？)以下是我迄今为止的发现:
尺寸和尺寸；vtable中的对齐属性加载到librustc_codegen_llvm::glue::size_and_align_of_dst()函数中，该函数返回动态大小类型的大小和对齐方式.对于ty::Dynamic(..)个值(编译器描述特征对象的内部方式)，从vtable读取大小和对齐方式:
match t.sty {
ty::Dynamic(..) => {
// load size/align from vtable
let vtable = info.unwrap();
(meth::SIZE.get_usize(bx, vtable), meth::ALIGN.get_usize(bx, vtable))
}
...
}
该功能依次用于多个地方:
librustc_codegen_llvm::operand::store_unsized()用于在堆栈上分配足够的存储空间来存储未绑定的值. librustc_codegen_llvm::intrinsic::codegen_intrinsic_call()用于实施size_of_val() intrinsiclibrustc_codegen_llvm::intrinsic::codegen_intrinsic_call()用于实施min_align_of_val() intrinsic我没有发现这些值当前被输入到Rust deallocation函数(__rust_dealloc())中的任何地方，但它们肯定会在将来被用于该函数.