rust - “cannot borrow as immutable because it is also borrowed as mutable”在嵌套数组索引中是什么意思？

Question

在这种情况下，错误是什么意思:

fn main() {
    let mut v: Vec<usize> = vec![1, 2, 3, 4, 5];
    v[v[1]] = 999;
}

error[E0502]: cannot borrow `v` as immutable because it is also borrowed as mutable
 --> src/main.rs:3:7
  |
3 |     v[v[1]] = 999;
  |     --^----
  |     | |
  |     | immutable borrow occurs here
  |     mutable borrow occurs here
  |     mutable borrow later used here

我发现通过 Index和 IndexMut特性实现索引，并且 v[1]是 *v.index(1)的语法糖。具备了这些知识之后，我尝试运行以下代码:

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

fn main() {
    let mut v: Vec<usize> = vec![1, 2, 3, 4, 5];
    *v.index_mut(*v.index(1)) = 999;
}

令我惊讶的是，这完美无缺!为什么第一个代码段不起作用，而第二个代码段却起作用？以我对文档的理解方式，它们应该是等效的，但事实并非如此。

Answer 1

脱糖版本与您所拥有的版本略有不同。线

v[v[1]] = 999;

实际上对

*IndexMut::index_mut(&mut v, *Index::index(&v, 1)) = 999;

这将导致相同的错误消息，但是注释会提示正在发生的事情:

error[E0502]: cannot borrow `v` as immutable because it is also borrowed as mutable
 --> src/main.rs:7:48
  |
7 |     *IndexMut::index_mut(&mut v, *Index::index(&v, 1)) = 999;
  |      ------------------- ------                ^^ immutable borrow occurs here
  |      |                   |
  |      |                   mutable borrow occurs here
  |      mutable borrow later used by call

与已简化版本的重要区别在于评估顺序。在实际进行函数调用之前，将按列出的顺序从左到右评估函数调用的参数。在这种情况下，这意味着首先对 &mut v进行评估，并可变地借用 v。接下来，应评估 Index::index(&v, 1)，但这是不可能的– v已经可变地借用了。最后，编译器显示对 index_mut()的函数调用仍然需要可变引用，因此，当尝试共享引用时，可变引用仍然有效。

实际编译的版本的评估顺序略有不同。

*v.index_mut(*v.index(1)) = 999;

首先，从左到右评估方法调用的函数参数，即，首先评估 *v.index(1)。结果为 usize，并且可以再次释放 v的临时共享借用。然后，评估 index_mut()的接收者，即mutt借用 v。这很好，因为共享借用已经完成，并且整个表达式都通过了借用检查器。

请注意，自从引入“非词法生存期”以来，编译的版本才这样做。在Rust的早期版本中，共享借用将一直存在到表达式结尾，并导致类似的错误。

我认为最干净的解决方案是使用一个临时变量:

let i = v[1];
v[i] = 999;