无法通过索引访问向量中的可变引用

Cannot access mutable reference in a vector by indexing

我需要迭代可变引用向量;这是一个简化的复制:

trait Ticking {
    fn tick(&mut self);
}

trait Fish {}

struct World<'a> {
    fish: Vec<&'a mut dyn Fish>,
}

impl<'a> Ticking for World<'a> {
    fn tick(&mut self) {
        let _fish: &mut dyn Fish = self.fish[0];
        //let _fish: &mut dyn Fish = self.fish.get_mut(0).expect("expected value");
    }
}

struct Guppy<'a> {
    n_ref: &'a usize,
}

impl<'a> Fish for Guppy<'a> {}

fn main() {
    let mut guppy: Guppy = Guppy { n_ref: &5 };
    let _world: World = World {
        fish: vec![&mut guppy],
    };
}

我收到以下错误:

error[E0596]: cannot borrow data in an index of `std::vec::Vec<&mut dyn Fish>` as mutable
  --> src/main.rs:15:36
   |
15 |         let _fish: &mut dyn Fish = self.fish[0];
   |                                    ^^^^^^^^^^^^ cannot borrow as mutable
   |
   = help: trait `IndexMut` is required to modify indexed content, but it is not implemented for `std::vec::Vec<&mut dyn Fish>`

我试图直接调用 get_mut 并收到一个生命周期绑定错误:

error[E0277]: the trait bound `&'a mut (dyn Fish + 'a): Fish` is not satisfied
  --> src/main.rs:13:36
   |
13 |         let _fish: &mut dyn Fish = self.fish.get_mut(0).expect("expected value");
   |                                    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Fish` is not implemented for `&'a mut (dyn Fish + 'a)`
   |
   = note: required for the cast to the object type `dyn Fish`

编译器的解释对确定这里的根本原因没有帮助。

您 (1) 使用了错误的索引语法和 (2) 您的类型不匹配:

let _fish: &mut &mut dyn Fish = &mut self.fish[0];
//         ^^^^ 2               ^^^^ 1

无论如何都没有理由在这里有一个明确的类型:

let _fish = &mut self.fish[0];

另请参阅:

编译器在这里错误地选择了 Index 特性而不是 IndexMut 特性,并给出了实际上错误的错误消息。我 filed a bug 支持这种行为,但事实证明,这实际上已在 Rust 的 beta 版和夜间版中修复。 Beta 将在下周发布稳定版本,因此您的代码将来可以正常工作。

同时,有几种方法可以使代码在当前稳定版本和旧版本的 Rust 上运行。最简洁的方法是通过仅在赋值的 right-hand 侧添加 &mut 来强制编译器选择 IndexMut

let _fish: &mut dyn Fish = &mut self.fish[0];

right-hand 端现在有类型 &mut &mut dyn Fish,因此编译器将应用 deref 强制。或者,您可以显式取消引用 right-hand 端,*&mut self.fish[0].