【发布时间】:2015-03-14 05:29:02
【问题描述】:
假设我有一个像单链表这样的递归数据结构,我想写一个递归函数在最后一个节点*之后插入一个值:
struct Node {
next: Option<Box<Node>>,
val: i32,
}
fn put_after_node(maybe_node: Option<Box<Node>>, val: i32) -> Box<Node> {
match maybe_node {
None => Box::new(Node { next: None, val: val }),
Some(mut node) => {
// compile error on next line: use of partially moved value: `node`
node.next = Some(put_after_node(node.next, val));
node
}
}
}
问:如何避免编译错误提示node 已被部分移动?
修复失败 #1: 避免获取函数参数的所有权,而是采用 maybe_node: &mut Option<Box<Node>>。失败,因为我需要添加一个新节点并将其传回堆栈,如果我只有一个可变引用,那么我需要取消引用它,这会导致非法移出借来的值:
fn put_after_node(maybe_node: &mut Option<Box<Node>>, val: i32) -> Box<Node> {
match maybe_node {
&mut None => Box::new(Node { next: None, val: val }),
&mut Some(ref mut node) => {
node.next = Some(put_after_node(&mut node.next, val));
*node // compile error: cannot move out of borrowed content
}
}
}
修复失败 #2: 改为返回对新节点的引用 (fn ... -> &Box<Node>)。失败,因为新节点的生命周期不够长(或者至少,我不知道如何指定新节点的生命周期,以便它的生命周期至少与返回的引用一样长从函数)。
fn put_after_node(maybe_node: &mut Option<Box<Node>>, val: i32) -> &Box<Node> {
match maybe_node {
// compile error on next line: borrowed value does not live long enough
&mut None => &Box::new(Node { next: None, val: val }),
&mut Some(ref mut node) => {
// compile error on next line: cannot move out of borrowed content
node.next = Some(*put_after_node(&mut node.next, val));
node
}
}
}
(* 原始的 sn-p 是我尝试对 this red black tree implementation 的 put() 进行的 Rust 音译的简化版本。我意识到我在这里概述的最小示例会更好一个循环,但我实际尝试编写的代码并非如此。)
更新:我不认为这是 `cannot move out of dereference of `&mut`-pointer` while building a sorted linked list 的重复,因为 a) 我正在尝试处理不同的错误消息 & b) 我的 fn 采用 self - 不是&mut self。话虽如此,我可能会尝试重写它以获取&mut self,所以感谢指针@shepmaster。
【问题讨论】: