防止不能借用'*自'作为不可变的，因为它也借用作为可变时访问结构中的不相交字段？

Question

之前的问题，这不是重复的：

• 不能借用'*自'作为可变的，因为它也是借用作为不可变的
  • 这个问题是不相关的b/c答案最终是Rust编译器有一个bug，我很确定不是这里的情况。

  我有以下结构：

  struct Foo {
      data: Vec<Bar>,
      a: usize,
  }
  
  struct Bar {
      b: usize
  }
  

  在impl Foo中，我有以下方法：

  fn example(&mut self, c: usize) {
      let baz = &mut self.data[c];
      let z = self.calc(c);
      baz.b = 42 + z;
  }
  
  fn calc(&self, x: usize) -> usize {
      self.a * x
  }
  

  当然，Rust编译器会抛出一个错误，大致是这样说的：“当您创建baz时会发生可变借用，然后当您调用self.calc时会执行不可变借用，最后当您分配给baz.a时会使用可变借用。”。

  但是，我访问结构上的不相交字段，因为calc从不读取通过baz写入的数据。

  有办法通知Rust编译器吗？

Answer 1

我最终做了：

fn example(&mut self, c: usize) {
    let baz = &self.data[c];
    // some stuff that requires reading `baz`
    let z = self.calc(c);
    let baz = &mut self.data[c];
    baz.b = 42 + z;
}

fn calc(&self, x: usize) -> usize {
    self.a * x
}

Answer 2

问题是Foo::calc的签名，需要

calc从不读取写入到baz中的数据这一事实是无关紧要的。在Rust中，对函数或方法的所有了解都暴露在签名中；编译器从不查看函数以确定它是否是特殊情况。

通过不要求calc获取

impl Foo {
    fn example(&mut self, c: usize) {
        let baz = &mut self.data[c];
        // This avoids borrowing `self` in its entirety...
        let z = Self::calc(self.a, c);
        baz.b = 42 + z;
    }

    fn calc(a: usize, x: usize) -> usize {
        a * x
    }
}