为何在Rust的trait对象中必须指定关联类型？

先看你给出的无法编译的代码：

trait Trait {
    type Type;
}

struct Struct;

impl Trait for Struct {
    type Type = i32;
}

fn main() {
    Box::new(Struct) as Box<dyn Trait>;
}

修复后的代码需要显式指定关联类型：

Box::new(Struct) as Box<dyn Trait<Type = i32>>;

核心原因在于trait对象的动态分发机制和类型完整性要求：

• 关联类型是trait定义的一部分，未指定关联类型的Trait本质是一个不完整的“泛型trait骨架”。当你尝试创建dyn Trait这种trait对象时，编译器需要明确这个抽象类型的完整接口定义——包括所有关联项的具体类型。
• 动态分发依赖vtable（虚表）实现，而vtable的生成需要确定的类型信息。如果不指定Type的具体类型，dyn Trait无法对应唯一的vtable：假设有另一个实现impl Trait for AnotherStruct { type Type = String; }，那么dyn Trait既可以指向Struct也可以指向AnotherStruct，但两者的关联类型完全不同，这会导致类型歧义，编译器无法确定trait对象的内存布局和潜在方法的签名（哪怕当前trait没有方法，关联类型也是trait类型的必要组成部分）。
• 类型擦除只针对具体的实现类型（比如Struct），但不会擦除trait本身的关联类型参数。你必须填充这些参数，让dyn Trait<Type = i32>成为一个完整、明确的类型，编译器才能安全地生成对应的trait对象和vtable。

简单来说：关联类型是trait的“类型参数”，未填充的话trait类型不完整，无法作为动态分发的trait对象使用。

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