"不能将`graph`借用为不可变的因为它也被借用为可变的。"我怎么能让鲁斯特知道我已经完成了那个可变的借用?

时间:2018-01-05 05:06:11

标签: graph rust immutability mutable borrow-checker

我试图在Rust中创建一个类似图形的结构。我的第一个实现编译得很好:

fn main() {
    let mut graph: Graph = Graph::new(); // Contains a vector of all nodes added to the graph.  The graph owns the nodes.

    // Create a node
    let parent: usize = graph.add_node(ParentNode::new()); // Returns the ID of the node.
    let parent: &Node = graph.get_node_with_id(parent); // Returns a borrowed reference to the node with the given ID

    // Print the number of nodes
    println!("Num nodes: {}", graph.count_nodes());
}

我不知道如何调用add_node后跟get_node_with_id,所以我写了另一种方法,将这两个步骤合二为一:

fn main() {
    let mut graph: Graph = Graph::new();

    // Create a node
    let parent: &Node = graph.add_node_and_borrow(ParentNode::new());

    // Print the number of nodes
    println!("Num nodes: {}", graph.count_nodes());
}

add_node_and_borrow只是一个简写:

/// Like add_node, but returns a borrowed reference
/// instead of the id
pub fn add_node_and_borrow(&mut self, node: Box<Node>) -> &Node {
    let id = self.add_node(node);
    return self.get_node_with_id(id);
}

当我尝试编译时,我收到一个错误:

error[E0502]: cannot borrow `graph` as immutable because it is also borrowed as mutable
  --> src/main.rs:23:31
   |
20 |     let parent: &Node = graph.add_node_and_borrow(ParentNode::new());
   |                         ----- mutable borrow occurs here
...
23 |     println!("Num nodes: {}", graph.count_nodes());
   |                               ^^^^^ immutable borrow occurs here
24 | }
   | - mutable borrow ends here

奇怪!在这两个例子中,我做了完全相同的事情......不是吗?为什么Rust认为我从未停止在第二个例子中可靠地借用graph

这里有完整的源文件减去不重要的位,所以你可以看到整个图片:

fn main() {
    does_not_compike();
}

fn compiles() {
    let mut graph: Graph = Graph::new();

    // Create a node
    let parent: usize = graph.add_node(ParentNode::new());
    let parent: &Node = graph.get_node_with_id(parent);

    // Print the number of nodes
    println!("Num nodes: {}", graph.count_nodes());
}

fn does_not_compike() {
    let mut graph: Graph = Graph::new();

    // Create a node
    let parent: &Node = graph.add_node_and_borrow(ParentNode::new());

    // Print the number of nodes
    println!("Num nodes: {}", graph.count_nodes());
}

struct Graph {
    nodes: Vec<Box<Node>>,
    next_node_id: usize,
}

impl Graph {
    pub fn new() -> Graph {
        // Construct a new graph with no nodes.
        let new_graph = Graph {
            nodes: Vec::new(),
            next_node_id: 0,
        };

        return new_graph;
    }

    /// Adds a newly-created node to graph.
    /// The graph becomes the new owner of the node.
    /// Returns the node id of the node.
    pub fn add_node(&mut self, node: Box<Node>) -> usize {
        // Add the node
        self.nodes.push(node);

        // Return the id
        let id = self.next_node_id;
        self.next_node_id += 1;

        return id;
    }

    /// Like add_node, but returns a borrowed reference
    /// instead of the id
    pub fn add_node_and_borrow(&mut self, node: Box<Node>) -> &Node {
        let id = self.add_node(node);
        return self.get_node_with_id(id);
    }

    /// Returns a borrowed reference to the node with the given id
    pub fn get_node_with_id(&self, id: usize) -> &Node {
        return &*self.nodes[id];
    }

    pub fn count_nodes(&self) -> usize {
        return self.nodes.len();
    }
}

trait Node {
    // Not important
}

struct ParentNode {
    // Not important
}

impl ParentNode {
    pub fn new() -> Box<Node> {
        Box::new(ParentNode {
            // lol empty struct
        })
    }
}

impl Node for ParentNode {
    // Not important
}

1 个答案:

答案 0 :(得分:1)

在您的第一个示例中:

let parent: usize = graph.add_node(ParentNode::new());

可信地借用graph来调用add_node然后释放借用。

let parent: &Node = graph.get_node_with_id(parent);

借助graph不可变,保持借用,因为parent是对属于图的节点的引用。此时,like @kazemakase said,您将无法向图表添加新节点,因为不可变借用会阻止您创建新的可变借位。但是,您可以不可靠地重新借用graph来打印它。

在你的第二个例子中:

let parent: &Node = graph.add_node_and_borrow(ParentNode::new());

可变地借用graph(因为函数签名)并保持借用(因为parent引用)。在此之后,您根本无法重新借用图表,因为您已经有一个活跃的可变借用。