为什么特征对象 vtable 包含大小和对齐方式？

Question

Rust 的 trait 对象是包含 2 个常规指针的胖指针：指向数据和指向 vtable。 vtable 是一个结构，包含一个析构函数指针、所有 trait 方法指针，最后是数据的大小和对齐方式。

大小和对齐字段的用途是什么？

我找不到太多：

• Blog post A：它用于释放内存，但今天没有使用，可能会被一些未来更灵活的机制使用（它可能是什么？是否存在？）
• Blog post B：它用于释放类型擦除的装箱值，因此它们知道如何释放内存（Box 不存储其分配的位置、大小和对齐方式？每个 DST 的每个大小变体都无法获得自己的版本一个 vtable，可以吗？）

Answer 1

这是我目前发现的：

vtable 中的大小和对齐属性在librustc_codegen_llvm::glue::size_and_align_of_dst() 函数中加载，该函数返回动态大小类型的大小和对齐方式。对于ty::Dynamic(..) 值（编译器内部描述 trait 对象的方式），从 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() intrinsic
• librustc_codegen_llvm::intrinsic::codegen_intrinsic_call() 用于实现 min_align_of_val() intrinsic

目前我没有发现将这些值输入到 Rust 释放函数 (__rust_dealloc()) 的任何地方，但它们肯定可以在未来用于此目的。