3

我试图通过让每个节点存储对其邻居的引用来实现图形结构。具体来说,我正在尝试制作一个网格,其中每个节点都引用了最多 4 个邻居——比如“二维链表”。

但是在分配引用时出现错误。这个简约的例子重现了我的问题:

#[derive(Clone)]
struct Node<'a> {
    neighbor: Option<&'a Node<'a>>, // optional reference to another Node
}

fn main() {

    // a bunch of nodes:
    let mut nodes: Vec<Node> = vec![ Node{neighbor: None}; 100];

    // I want node 0 to have a reference to node 1
    nodes[0].neighbor = Some(&nodes[1]);

}

产生以下错误:

error[E0502]: cannot borrow `nodes` as mutable because it is also borrowed as immutable
  --> src/main.rs:12:5
   |
12 |     nodes[0].neighbor = Some(&nodes[1]);
   |     ^^^^^------------------------------
   |     |                         |
   |     |                         immutable borrow occurs here
   |     mutable borrow occurs here
   |     immutable borrow later used here

error: aborting due to previous error

For more information about this error, try `rustc --explain E0502`.

我正在努力弄清楚这应该如何在 Rust 中完成。我应该改用指针吗?

4

1 回答 1

4

由于创建借用检查器的原因,您不能完全实现这种数据结构。它告诉您您的数据结构不安全。

它不安全的原因很简单。

假设您创建了一个包含两个元素的图表,第一个元素引用了第二个元素。现在您希望第二个引用第一个。要修改您的图表,您需要获得对结构的可变访问权限。但是,如果您获得对它的可变访问权限,则没有什么可以阻止您从图中删除第二个节点,从而使第一个节点中的引用无效。

因此,借用检查器不允许您这样做。

适合您的方法是使用索引而不是引用。这将具有额外的优势:当您想要序列化/反序列化您的结构时,您将完全没有问题。

于 2021-09-17T14:28:16.390 回答