我正在尝试存储一个可变向量元素的引用,以供以后使用。然而,一旦我改变了向量,我就不能再使用存储的引用了。我理解这是因为借用对元素的引用也需要借用对向量本身的引用。因此,不能修改vector,因为这需要借用一个可变引用,而当另一个对vector的引用已经被借用时,这是不允许的。
这里有一个简单的例子
struct Person {
name: String,
}
fn main() {
// Create a mutable vector
let mut people: Vec<Person> = ["Joe", "Shavawn", "Katie"]
.iter()
.map(|&s| Person {
name: s.to_string(),
})
.collect();
// Borrow a reference to an element
let person_ref = &people[0];
// Mutate the vector
let new_person = Person {
name: "Tim".to_string(),
};
people.push(new_person);
// Attempt to use the borrowed reference
assert!(person_ref.name == "Joe");
}
这会产生以下错误
error[E0502]: cannot borrow `people` as mutable because it is also borrowed as immutable
--> src/main.rs:21:5
|
15 | let person_ref = &people[0];
| ------ immutable borrow occurs here
...
21 | people.push(new_person);
| ^^^^^^^^^^^^^^^^^^^^^^^ mutable borrow occurs here
...
24 | assert!(person_ref.name == "Joe");
| --------------- immutable borrow later used here
我还尝试过将向量元素装箱,如建议的here,但这没有帮助。我以为它可以让我删除对vector的引用,同时保持对元素的引用,但显然不是。
struct Person {
name: String,
}
fn main() {
// Create a mutable vector
let mut people: Vec<Box<Person>> = ["Joe", "Shavawn", "Katie"]
.iter()
.map(|&s| {
Box::new(Person {
name: s.to_string(),
})
})
.collect();
// Borrow a reference to an element
let person_ref = people[0].as_ref();
// Mutate the vector
let new_person = Box::new(Person {
name: "Tim".to_string(),
});
people.push(new_person);
// Attempt to use the borrowed reference
assert!(person_ref.name == "Joe");
}
这仍然会产生相同的错误
error[E0502]: cannot borrow `people` as mutable because it is also borrowed as immutable
--> src/main.rs:23:5
|
17 | let person_ref = people[0].as_ref();
| ------ immutable borrow occurs here
...
23 | people.push(new_person);
| ^^^^^^^^^^^^^^^^^^^^^^^ mutable borrow occurs here
...
26 | assert!(person_ref.name == "Joe");
| --------------- immutable borrow later used here
有没有办法做到这一点,或者我试图做一些不可能的事情?
2条答案
按热度按时间kh212irz1#
我发现使用reference counted smart pointer可以让我完成我正在尝试的事情。共享所有权是有必要的,因为如果原始向量超出范围,元素引用将变得无效(这将释放元素,无论是否有
Box
)。下面的代码编译成功。
如果其他人有任何更正,改进或进一步的见解,我很高兴听到它。但如果不是,我对这个答案暂时感到满意。
m3eecexj2#
虽然奥利弗给出的答案似乎是最好的解决方案,
但是如果我们只想改变向量(如问题标题所述),也就是说,不推送任何更多的元素(因为向量处理复杂),只是修改值,我们可以使用Vec给出的函数split_at_mut()。
let (head, tail) = people.split_at_mut(1);
现在我们可以让某个东西借头而我们变异尾巴。但是我们不能推到它,因为头部和尾部都是切片。