gpt4 book ai didi

rust - 错误[E0502] : cannot borrow `vector` as immutable because it is also borrowed as mutable

转载 作者:行者123 更新时间:2023-11-29 08:20:27 27 4
gpt4 key购买 nike

在一个函数内,我试图将一个值压入一个向量,然后返回对该值的引用,该值位于该向量内。遗憾的是,它不起作用,我收到以下错误:

error[E0502]: cannot borrow `vector` as immutable because it is also borrowed as mutable
--> src\lib.rs:19:19
|
18 | let _unit_0 = push_and_get(&mut vector);
| ----------- mutable borrow occurs here
19 | let _unit_1 = vector.last().unwrap();
| ^^^^^^ immutable borrow occurs here
20 | drop(_unit_0);
| ------- mutable borrow later used here

这是我的代码,其中包含两个函数(this_worksthis_does_not_work),据我所知,它们做同样的事情,但只有其中一个起作用。

fn this_works() {
let mut vector = Vec::new();
vector.push(());
let _unit_0 = vector.last().unwrap();
let _unit_1 = vector.last().unwrap();
}

fn this_does_not_work() {
let mut vector = Vec::new();
let _unit_0 = push_and_get(&mut vector);
let _unit_1 = vector.last().unwrap();
drop(_unit_0); // Added, to make the error reappear
}

fn push_and_get(vector: &mut Vec<()>) -> &() {
vector.push(());
vector.last().unwrap()
}

有没有什么方法可以让 push_and_get 函数工作,或者是不可能的,因为 Rust 的限制?如果是第一个,我怎样才能让它工作?如果是后者,是否有任何解决这个特定问题的计划,或者是否有任何充分的理由说明为什么不应该解决这个问题?

最佳答案

经过更多测试,我想我现在可以回答我自己的问题了。提供的示例可以进一步简化以显示核心问题。这是重现错误所需的实际最少代码量:

// I have embedded the error message as comments
fn main() {
let mut owned: () = ();
let ref0: &() = &mut owned;
// ---------- mutable borrow occurs here
let ref1: &() = &owned;
// ^^^^^^ immutable borrow occurs here
drop(ref0);
// ---- mutable borrow later used here
}

归根结底,Rust 允许将 &mut 转换为 &,但这只是在理论上。实际上,一旦您使用从可变借用创建的借用,同时有另一个常规借用,编译器突然意识到,转换后的借用仍然是可变借用。类型检查器在撒谎。

总之,不可能将 push() 和 last() 组合成一个函数。

附言如果 Rust 支持从 &mut& 的真正转换,那会很好,将来不会产生上述错误。

关于rust - 错误[E0502] : cannot borrow `vector` as immutable because it is also borrowed as mutable,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/51935138/

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