在 Rust 中，如何创建一个接受“标记组件”作为类型参数的函数？

Question

我目前正在查看Rust Sokoban 教程，在我输入代码时玩弄代码，看看如何在不破坏它的情况下“改进”它。在Pushing boxes 的章节中，他们引入了两个“标记组件”来“告诉我们哪些实体是可移动的，哪些是不可移动的”：

#[derive(Component, Default)]
#[storage(NullStorage)]
pub struct Movable;

#[derive(Component, Default)]
#[storage(NullStorage)]
pub struct Immovable;

后来，我们有如下代码：

                let mut mov: HashMap<(u8, u8), Index> = (&entities, &movables, &positions)
                    .join()
                    .map(|t| ((t.2.x, t.2.y), t.0.id()))
                    .collect::<HashMap<_, _>>();
                let mut immov: HashMap<(u8, u8), Index> = (&entities, &immovables, &positions)
                    .join()
                    .map(|t| ((t.2.x, t.2.y), t.0.id()))
                    .collect::<HashMap<_, _>>();

其中&entities 是Entities 的实例，&positions 是WriteStorage<Position> 的实例，&movables 和&immovables 分别是ReadStorage<'a, Movable> 和ReadStorage<'a, Immovable> 的实例。

作为一个对 DRY 代码神经过敏的人，上面的两个函数真的让我很恼火，我想重构它，但我还没有弄清楚如何编写一个可以处理不同的函数&movables 和 &immovables 的类型。

例如，如果我尝试这个功能：

fn collect<T>(entities: &Entities, storable: &ReadStorage<T>, positions: &WriteStorage<Position>)
    -> HashMap<(u8, u8), Index> {
    (&entities, &storable, &positions)
            .join()
            .map(|t| ((t.2.x, t.2.y), t.0.id()))
            .collect::<HashMap<_, _>>()
}

然后像这样调用它：

let mov: HashMap<(u8, u8), Index> = collect(&entities, &movables, &positions);

或喜欢：

let mov: HashMap<(u8, u8), Index> = collect::<Movable>(&entities, &movables, &positions);

...编译失败：

错误[E0277]：特征绑定T: specs::Component不满足
--> src\resources\input_system.rs:95:46 | 95 | fn 收集（实体：&Entities，可存储：&ReadStorage，位置：&WriteStorage） | ^^^^^^^^^^^^^^^ 特征 specs::Component 没有为 T 实现 | ::: C:\Users\BrianKessler.cargo\registry\src\github.com-1ecc6299db9ec823\specs-0.17.0\src\storage\mod.rs:143:29 | 143 | pub struct MaskedStorage { | --------- MaskedStorage 中的此绑定要求 |求助：考虑限制类型参数T | 95 | fn collect（实体：&Entities，可存储：&ReadStorage，位置：&WriteStorage） | ^^^^^^^^^^^^^^^^^^

错误：由于先前的错误而中止

有关此错误的更多信息，请尝试rustc --explain E0277。 错误：无法编译rust-sokoban

要了解更多信息，请使用 --verbose 再次运行该命令。

例如，如果我尝试这个功能（按照@AlexeyLarionov 的建议）：

fn collect<T: specs::Component>(entities: &Entities, storable: &ReadStorage<T>, positions: &WriteStorage<Position>)
    -> HashMap<(u8, u8), Index> {
    (&entities, &storable, &positions)
            .join()
            .map(|t| ((t.2.x, t.2.y), t.0.id()))
            .collect::<HashMap<_, _>>()
}

编译失败：

错误[E0599]: 元组(&&specs::Read<'_, EntitiesRes>, &&specs::Storage<'_, T, Fetch<'_, MaskedStorage<T>>>, && specs::Storage<'_, Position, FetchMut<'_, MaskedStorage<Position>>>) 存在方法join， 但它的特征界限不满足 --> src\resources\input_system.rs:94:14 | 94 | .join() | ^^^^ 方法无法在 (&&specs::Read<'_, EntitiesRes>, &&specs::Storage<'_, T, Fetch<'_, MaskedStorage<T>>>, & &specs::Storage<'_, Position, FetchMut<'_, MaskedStorage<Position>>>) 上调用 由于不满意的特征界限| =注意：以下特征 边界不满足： &&specs::Read<'_, EntitiesRes>: specs::Join 这是(&&specs::Read<'_, EntitiesRes>, &&specs::Storage<'_, T, Fetch<'_, MaskedStorage<T>>>, &&specs::Storage<'_ , Position, FetchMut<'_, MaskedStorage<Position>>>): specs::Join 所要求的 &&specs::Storage<'_, T, Fetch<'_, MaskedStorage<T>>>: specs::Join 这是(&&specs::Read<'_, EntitiesRes>, &&specs::Storage<'_, T, Fetch<'_, MaskedStorage<T>>>, &&specs::Storage<'_ , Position, FetchMut<'_, MaskedStorage<Position>>>): specs::Join 所要求的 &&specs::Storage<'_, Position, FetchMut<'_, MaskedStorage<Position>>>: specs::Join 这是(&&specs::Read<'_, EntitiesRes>, &&specs::Storage<'_, T, Fetch<'_, MaskedStorage<T>>>, &&specs::Storage<'_ , Position, FetchMut<'_, MaskedStorage<Position>>>): specs::Join所要求的

错误：由于先前的错误而中止

有关此错误的更多信息，请尝试rustc --explain E0599。 错误：无法编译rust-sokoban

要了解更多信息，请使用 --verbose 再次运行该命令。

我真的需要引入一个特征来完成这项工作吗？ 如果是这样，该特征应该是什么样的？ 我还需要做哪些其他更改？ 我是否需要增加如此多的复杂性以至于治疗变得比疾病更糟？

Answer 1

正如我们在 cmets 中所讨论的，有两个错误来源：

1. 在ReadStorage<T> 或WriteStorage<T> 上运行的方法要求T 成为Component，幸运的是Movable 和Immovable 已经是，所以要修复它，我们可以简单地限制T特征。函数的声明看起来像这样fn collect<T: specs::Component> (...)
2. 由于复制粘贴，在对象(&entities, &storable, &positions) 上调用了.join() 方法，其中entities、storable、positions 是已在函数声明中指定的引用，因此调用了.join() （简单地说）类型为(&&A, &&B, &&C)，而它是为(&A, &B, &C) 定义的。要解决这个问题 我们需要在collect 函数中调用(entities, storable, positions).join()

代码的最终版本如下所示：

fn collect<T: specs::Component>(entities: &Entities, storable: &ReadStorage<T>, positions: &WriteStorage<Position>)
    -> HashMap<(u8, u8), Index> {
    (entities, storable, positions)
            .join()
            .map(|t| ((t.2.x, t.2.y), t.0.id()))
            .collect::<HashMap<_, _>>()
}