Rust 中相互依赖的通用特征

Question

我有两个需要作为类型参数相互传递的通用特征。代码归结为这一点

pub trait Entity<T: EntityRenderer<Self>>
    where Self: Sized
{
    fn get_renderer(&self) -> &T;
}

pub trait EntityRenderer<T: Entity<Self>>
    where Self: Sized
{
    fn get_animation_frame(&T) -> u32;
}

Entity 需要知道EntityRenderer 是什么类型，反之亦然。后来，我有

entities: Vec<Box<Entity>>

这是一个问题，因为我无法解析Entity 的类型参数。我也不能将需要类型参数的任何一个函数都设为泛型，因为 Rust 的编译器不会让具有泛型方法的特征成为特征对象。

有什么解决方法吗？还是我违反了某种我不知道的内存安全法？

Answer 1

您不能对 trait 对象执行此操作，因为 trait 对象会擦除底层对象的真实类型。赠品是，为了在T 的边界上使用Self，您需要绑定Self: Sized，但这个边界会禁用使用特征对象的能力（如Box<Entity>）。我们甚至还没有解决Box<Entity> 甚至没有为Entity 上的类型参数T 指定值这一事实。

---

看起来Entity（也可能是EntityRenderer）应该使用an associated type而不是类型参数。但是，关联类型并不能解决您原来的问题；您将遇到基本相同的问题，因为您仍然需要 Self: Sized 绑定，并且您需要为特征对象 (Box<Entity<Renderer=???>>) 上的关联类型指定一个值。