在这种情况下,错误意味着什么:

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

我发现索引是通过IndexIndexMut个特征实现的,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;
}

令我惊讶的是,这项工作完美无瑕!为什么第一个片段不起作用,而第二个片段起作用?按照我对文档的理解,它们应该是等效的,但事实显然并非如此.

推荐答案

脱go 糖衣的版本和你的略有不同.排队

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个,可变地borrow v个.接下来,应该判断Index::index(&v, 1),但这是不可能的——v已经被可变地borrow 了.最后,编译器显示,对index_mut()的函数调用仍然需要可变引用,因此在try 共享引用时,可变引用仍然有效.

实际编译的版本的计算顺序略有不同.

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

首先,从左到右计算方法调用的函数参数,即首先计算*v.index(1).这将产生usize,并且v的临时共享borrow 可以再次释放.index_mut()是可变的,即index_mut()是可变的.这很好,因为共享borrow 已经完成,整个表达式都通过了borrow 判断器.

请注意,自引入"非词汇生存期"以来,编译的版本才这样做.在Rust的早期版本中,共享borrow 将一直存在到表达式结束,并导致类似的错误.

在我看来,最干净的解决方案是使用一个临时变量:

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

Rust相关问答推荐

关于Rust 中回归的逻辑

如何在Rust中表示仅具有特定大小的数组

这是不是在不造成嵌套的情况下从枚举中取出想要的变体的惯用方法?

如何点击()迭代器?

如何在Rust中将选项<;选项<;字符串>;转换为选项<;选项&;str>;?

Trait bound i8:来自u8的不满意

装箱特性如何影响传递给它的参数的生命周期 ?(举一个非常具体的例子)

在 Rust 中,在需要引用 self 的 struct 体方法中使用闭包作为 while 循环条件

这个不安全的 Rust 代码有什么问题,所以它可以在 Windows 上运行,但不能在 Ubuntu 上运行?

Rust,如何从 Rc> 复制内部值并返回它?

为什么要这样编译?

没有得到无法返回引用局部变量`queues`的值返回引用当前函数拥有的数据的值的重复逻辑

在 Rust 中,为什么整数溢出有时会导致编译错误或运行时错误?

返回引用字符串的future

预期的整数,找到 `&{integer}`

如何在 Rust 中创建最后一个元素是可变长度数组的 struct ?

字符串切片的向量超出范围但原始字符串仍然存在,为什么判断器说有错误?

如何获取包裹在 Arc<> 和 RwLock<> 中的 Rust HashMap<> 的长度?

需要括号的宏调用中的不必要的括号警告 - 这是编写宏的糟糕方法吗?

BigUint 二进制补码