如何創建一個指定超特征關聯類型的特征？

Question

我想創建一個抽象特征，它指定一個索引類型和一個值類型，其中實現該特征的任何結構都必須實現Index<IndexType>和IndexMut<IndexType>並定義Output類型，該類型在實現特征。

我嘗試創建一個特征，但似乎我無法指定 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;
  |     ^^^^^^^^^^^^^^^^^^^^^^^^^

如果我沒有指定 output 類型，那么在我嘗試使用該特征的任何地方associated type Output must be specified 。

Answer 1

您需要將關聯類型的限制放在超特征上：

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

也可以看看：

• 具有比超特征更嚴格的關聯類型邊界的特征
• 如何將特征與使用特征關聯類型作為參數的超特征綁定？
• 對相關特征類型的限制
• 將泛型參數與 impl 中的關聯類型匹配
• 有沒有辦法為多個特征創建類型別名？
• 類型中的“dyn”是什么意思？
• 為什么我要在特征上實現方法而不是作為特征的一部分？