如何创建一个指定超级特征关联类型的特征？

Question

我想创建一个抽象特征，它指定索引类型和值类型，其中实现该特征的任何结构都必须实现Index<IndexType>并IndexMut<IndexType>定义Output在实现该特征的每个结构中保持相同的类型。

我尝试创建一个特征，但似乎无法指定输出类型：

use std::ops::{Index, IndexMut};

struct Coord;
struct LightValue;

trait LightMap: Index<Coord> + IndexMut<Coord> {}

impl LightMap {
    type Output = LightValue;
}

warning: trait objects without an explicit `dyn` are deprecated
 --> src/lib.rs:8:6
  |
8 | impl LightMap {
  |      ^^^^^^^^ help: use `dyn`: `dyn LightMap`
  |
  = note: `#[warn(bare_trait_objects)]` on by default

error[E0191]: the value of the associated type `Output` (from the trait `std::ops::Index`) must be specified
 --> src/lib.rs:8:6
  |
8 | impl LightMap {
  |      ^^^^^^^^ associated type `Output` must be specified

error[E0202]: associated types are not yet supported in inherent impls (see #8995)
 --> src/lib.rs:9:5
  |
9 |     type Output = LightValue;
  |     ^^^^^^^^^^^^^^^^^^^^^^^^^

如果我不指定输出类型，那么associated type Output must be specified无论我尝试使用该特征，都会发生这种情况。

Answer 1

您需要将关联类型的限制放在超级特征上：

trait LightMap: Index<Coord, Output = LightValue> + IndexMut<Coord> {}

也可以看看：

• 比 supertrait 具有更严格关联类型界限的特征
• 如何将特征与使用特征的关联类型作为参数的超级特征绑定？
• 对相关特征类型的限制
• 将泛型参数与 impl 中的关联类型相匹配
• 有没有办法为多个特征创建类型别名？
• “dyn”在类型中意味着什么？
• 为什么我要在特征上实现方法而不是作为特征的一部分？