如何创建指定超trait关联类型的Rust抽象trait？

你想要定义一个抽象Trait，强制所有实现它的结构体都能通过Coord索引，且索引结果统一为LightValue类型对吧？你的代码里的几个错误，核心是对Trait关联类型和约束的用法理解有偏差，咱们一步步拆解修正：

错误原因拆解 #

1. bare_trait_objects警告：你写impl LightMap时，Rust默认认为你要给Trait对象添加固有方法，但旧语法里的裸Trait对象已经被弃用，需要加dyn。不过更关键的是——你根本不需要这个impl块，因为你要约束的是关联类型，不是给Trait加固有方法。
2. Output关联类型未指定（E0191）：Index和IndexMut都自带Output关联类型，当你让LightMap继承这两个Trait时，必须明确指定它们的Output是什么，否则Rust无法保证所有实现LightMap的类型的索引结果是统一的。
3. 固有Impl不能定义关联类型（E0202）：关联类型是Trait定义的一部分，只能在Trait声明里指定，不能在impl LightMap这种固有实现块里定义，这是Rust当前的语言规则。

正确实现方式 #

我们需要在LightMap的Trait定义里，直接约束Index<Coord>和IndexMut<Coord>的Output类型为LightValue，这样所有实现LightMap的类型都会自动满足索引结果统一的要求：

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

struct Coord;
struct LightValue;

// 直接在Trait继承时约束Index/IndexMut的Output为LightValue
trait LightMap: Index<Coord, Output = LightValue> + IndexMut<Coord, Output = LightValue> {}

// 示例：给一个结构体实现LightMap所需的Index/IndexMut
struct MyLightMap;

impl Index<Coord> for MyLightMap {
    type Output = LightValue;
    
    fn index(&self, _index: Coord) -> &Self::Output {
        // 这里替换为你的实际索引逻辑
        unimplemented!()
    }
}

impl IndexMut<Coord> for MyLightMap {
    fn index_mut(&mut self, _index: Coord) -> &mut Self::Output {
        // 这里替换为你的实际可变索引逻辑
        unimplemented!()
    }
}

// 因为MyLightMap满足了所有约束，所以可以自动实现LightMap
impl LightMap for MyLightMap {}

扩展：给Trait添加默认方法 #

如果需要给LightMap添加通用方法，直接写在Trait定义里即可，所有实现该Trait的类型都会自动继承这些方法：

trait LightMap: Index<Coord, Output = LightValue> + IndexMut<Coord, Output = LightValue> {
    // 新增一个默认方法，统一处理设置灯光值的逻辑
    fn set_light(&mut self, coord: Coord, value: LightValue) {
        *self[coord] = value;
    }
}

内容的提问来源于stack exchange，提问作者jm4ier