在嵌套数组索引中，“不能借为不可变，因为它也被借为可变”是什么意思？

Question

在这种情况下，错误意味着什么：

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

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

我发现索引是通过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;

这会导致相同的错误消息，但注释会提示发生了什么：

v[v[1]] = 999;

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

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

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

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

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

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

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