rust - 如何初始化数组并保存对其项的引用?

标签 rust borrow-checker ownership borrowing

let mut u:[usize;3] = [0;3];
let mut v = vec![];
for i in 0..3 {
    u[i] = i;
    let e = &(u[i]);
    v.push(e);
}
error[E0506]: cannot assign to `u[_]` because it is borrowed
 --> src/lib.rs:5:9
  |
5 |         u[i] = i;
  |         ^^^^^^^^ assignment to borrowed `u[_]` occurs here
6 |         let e = &(u[i]);
  |                 ------- borrow of `u[_]` occurs here
7 |         v.push(e);
  |         - borrow later used here

( Playground )

我知道编译器正在将我从自己的手中拯救出来,但我真的想要这种行为,并且我不想用 unsafe 强制它通过,因为我肯定会搞砸。我有什么选择?

我有一种感觉,这与我尚未理解的生命周期有关。也许这与相同数据有两个所有者有关?我不认为只要你活得比 v 还长,这就一定是一个问题。

我该如何恢复?或者它只是由于多个所有者而被禁止,因此我需要重新考虑我的方法?

我正在经历这个麻烦,因为我需要复制一个只能克隆的类型,但我不得不为此问另一个问题。

最佳答案

迭代器来拯救你!

由于编译器无法对循环中的代码进行推理,因此您需要以类型系统和生命周期要求的形式添加限制。这是通过迭代器完成的:

let mut u: [usize; 3] = [0; 3];
let mut v: Vec<&usize> = vec![];
u
    .iter_mut()
    .enumerate()
    .for_each(|(idx, val)| {
        *val = idx;
        v.push(&*val);
    });

Playground .

根据要求;这是它的作用:

  • u.iter_mut() 来自 array coerces to a slice ,切片有 iter_mut功能。此迭代器产生一个 &mut T

  • .enumerate() 接受一个迭代器,并使用一个索引。您的迭代器项将按如下方式转换:T 转到 (usize, T)

  • .for_each(f) 完全清空迭代器并为每个元素运行一个函数(f 是函数)。在这种情况下,f 必须具有调用签名 fn(value: (usize, &mut T)) -> ()

  • 我们将一个闭包传递到 for_each 调用中,这很重要:闭包可以可变地捕获 v。这允许修改 v,因此我们可以在闭包中说 v.push

至于为什么这个有效而你的却无效:

  • 您有一个简单的 for 循环。 for 循环可以做任何事情,编译器不会花精力去验证你正在做的事情。它只会确保编译器认为您所做的事情不违法,并且对此会很保守。

  • 另一方面,它使用闭包的语义来保证除了通过您此刻看到的元素之外,您无法以任何其他方式修改 u 。编译器认为对 u 的每个元素的引用都是唯一的,因为对 u 的原始引用是唯一的,因此对此没有问题。然后,v 中的借用(或引用,相同术语)的生命周期与 u 的生命周期相同,因此得出结论:v code> 以优雅的方式借用了 u

  • 这在循环中并不容易,因为编译器实际上必须逐行跟踪您的代码调用,否则才能确定这一点。这本来就是一个泡菜。它是一个泡菜,所以它只会向你吐出一个错误,因为在更复杂的情况下很难证明。

关于rust - 如何初始化数组并保存对其项的引用?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/60697379/

相关文章:

rust - 为什么在使用 `flat_map` 时需要收集到向量中?

rust - 当 ref 和所有权转移都不起作用时如何返回

rust - 包含引用时如何返回错误?

docker - 来自 docker 容器的 "Operation not permitted"以 root 身份登录

rust - 如何在 Rust 中实现 HashMap 上带有突变的嵌套循环?

generics - 如何将特征绑定(bind)到非泛型类型?

rust - 在 Iron 和 Hyper 中重用 hyper::client 和 tokio_core

rust - 如何从盒装特征中获取可变结构

multithreading - 如何在线程之间共享对 AtomicBool 的访问?

rust - 为什么 Rust borrow checker 会忽略函数参数中的可变指针?