锈菌属性状相互依存关系研究

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

不能用属性对象来实现这一点，因为属性对象会擦除底层对象的真实类型。这样做的好处是，为了在绑定的Self上使用T，您需要绑定的Self: Sized，而非常绑定的Self: Sized却禁用了使用特征对象(如Box<Entity>)的能力。我们甚至没有提到Box<Entity>甚至没有为Entity上的类型参数T指定一个值。

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