gpt4 book ai didi

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

转载 作者:行者123 更新时间:2023-12-01 23:11:08 24 4
gpt4 key购买 nike

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/

24 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com