【发布时间】:2018-01-05 05:06:10
【问题描述】:
我正在尝试在 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
}
【问题讨论】:
-
我正在做同样的事情...不是吗? - 不。不同之处在于
get_node_with_id采用 不可变 引用&self而add_node_and_borrow采用可变 引用&mut self。 (即使在第一个示例中,您也无法在获得第一个节点后添加第二个节点......) -
我怎样才能让 Rust 知道我已经完成了可变借用 - 将
let parent: &Node = graph.add_node_and_borrow(ParentNode::new());包裹在花括号中。 -
@Shepmaster 但是以后我将无法使用 parent。我计划创建一种名为“ChildNode”的新型节点,它拥有对其父节点的借用引用。要构造 ChildNode,我需要将 parent 保留在范围内,以便可以将其作为参数传递。
-
@user2102929 是正确的。您不能同时保留
parent并继续修改graph,因为修改graph可能会使引用无效。然后访问parent会读取未定义的内存,从而导致崩溃或安全漏洞。
标签: graph rust immutability mutable borrow-checker