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，但是这个绑定禁用了使用特征对象的能力（如{{1} }}）。我们甚至没有解决Box<Entity>甚至没有为Box<Entity>上的类型参数T指定值的事实。

看起来Entity（也可能是Entity）应该使用an associated type而不是类型参数。但是，相关类型无法解决您的原始问题;你将得到基本相同的问题，因为你仍然需要EntityRenderer绑定，因为你需要为特征对象（Self: Sized）指定相关类型的值。

Rust中的通用特征相互依赖

1 个答案: