rust - 进行 BFS 时的借用检查器问题
问题描述
我正在编写一个小程序来计算生锈的PERT图( https://en.wikipedia.org/wiki/Program_evaluation_and_review_technique )上的关键路径。
我将Task
对象存储在哈希图中。hashmap 由一个名为 的对象拥有Pert
。每个Task
对象拥有两个Vec<String>
对象,标识任务的先决条件和后继者,并有一个 i32 来指定其持续时间。这些任务在 main.rs 中创建并通过add
函数添加到 Pert 对象。
任务.rs:
pub struct Task {
name: String,
i32: duration,
followers: Vec<String>,
prerequisites: Vec<String>
// Additional fields, not relevant for the example
}
impl Task {
pub fn new(name: &str, duration: i32) -> Task {
Task {
name: String::from(name),
duration: duration,
followers: Vec::new(),
prerequisites: Vec::new(),
}
}
pub fn name(&self) -> &str {
&self.name
}
pub fn duration(&self) -> i32 {
self.duration
}
pub fn get_prerequisites(&self) -> & Vec<String> {
&self.prerequisites
}
pub fn get_followers(&self) -> & Vec<String> {
&self.followers
}
}
为了评估关键路径,需要计算所有任务的最大持续时间总和,并记录每个任务的最早开始和结束时间,以及最晚开始和结束时间。可以做的方法是添加一个“开始”和一个“结束”任务,分别标记图表的开始和结束。从“开始”任务开始,在图上执行 BFS,直到我们到达“结束”任务。completion_time
BFS在对象的方法内部完成Pert
。
在我当前的实现中,我遇到了借用检查器的问题,因为我不止一次地可变地借用了包含任务的哈希图。除了借用两次之外,我没有看到其他方法可以做到这一点,但我对 rust 很陌生,没有函数式编程经验,所以如果有一种简单的方法可以用函数式编程做到这一点,我看不到任何一个。
pert.rs:
pub struct Pert {
tasks: HashMap<String, Task>
}
impl Pert {
pub fn completion_time(&mut self) -> i32 {
let mut time = 0;
let mut q = VecDeque::<&mut Task>::new();
// put "begin" task at the top of the queue, first mutable borrow of self.tasks
q.push_back(self.tasks.get_mut("begin").unwrap());
while !q.is_empty() {
let old_time = time;
let mut curr_task = q.pop_front().unwrap();
for x in curr_task.get_followers() {
// second mutable borrow of self.tasks happens here
let task = self.tasks.get_mut(x).unwrap();
// additional piece of code here modifying other task properties
time = std::cmp::max(old_time, old_time + task.duration())
}
}
time
}
}
使用空 main.rs 构建项目应该足以触发以下错误消息:
error[E0499]: cannot borrow `self.tasks` as mutable more than once at a time
--> src/pert.rs:84:28
|
79 | q.push_back(self.tasks.get_mut("begin").unwrap());
| ---------- first mutable borrow occurs here
80 | while !q.is_empty() {
| - first borrow later used here
...
84 | let task = self.tasks.get_mut(x).unwrap();
| ^^^^^^^^^^ second mutable borrow occurs here
解决方案
这里的问题是您试图从拥有任务的 HashMap 获取多个可变引用,并且一次只能安全地给出一个可变引用。通过将 VecDeque 更改为采用 &Task,并在 completion_time() 中的 hashmap 上使用 .get() 而不是 .get_mut(),程序将编译。
在这个例子中看起来你并没有改变任务,但是假设你想修改这个例子来改变任务,最好的方法是在 Task 结构本身中使用内部可变性,这通常是通过参考单元类型。Task 结构体中任何你想改变的值,你可以用 RefCell<> 包裹,当你需要改变值时,你可以在结构体字段上调用 .borrow_mut() 来获得一个临时可变的引用。这个答案更详细地解释了它:Borrow two mutable values from the same HashMap
推荐阅读
- ruby-on-rails-3 - Rails 5 上的参数数量错误(给定 2,预期为 1)
- c# - Automapper 配置解决问题,尝试访问方法失败
- python - 访问 Django 用户电子邮件列表
- pandas - 当函数不返回单个值时,将熊猫数据框传递给 scipy 优化
- xdebug - Xdebug 不写入日志文件
- python-2.7 - Python:如何在一个列表中查找元素的索引,以及它们在另一个列表中的对应值
- django - Django:选择多个字段值并将它们添加到数据库中
- microcontroller - 8051端口引脚是否变高
- python - python web抓取 - URL与Chrome Inspect结果不匹配
- phaser-framework - Phaser.io 3:在场景中获取游戏大小