如何绑定盒装结构的多个字段而不会出现"使用移动值"错误？

Question

我正在尝试编写通用的递归数据结构.事实证明,当我想要访问一个拥有的struct值的多个字段时,我无法进入墙.

我定义了一个包含列表的结构:

struct ListNode<T> {
    val: T,
    tail: List<T>
}

struct List<T>(Option<Box<ListNode<T>>>);

空列表由List(None).表示.

我希望能够附加到列表中:

impl<T> List<T> {
    fn append(self, val: T) -> List<T> {
        match self {
            List(None) => List(Some(Box::new(ListNode {
                val: val,
                tail: List(None),
            }))),
            List(Some(node)) => List(Some(Box::new(ListNode {
                val: node.val,
                tail: node.tail.append(val),
            }))),
        }
    }
}

这失败了一个可以理解的错误:

error[E0382]: use of moved value: `node`
  --> src/main.rs:17:23
   |
16 |                 val: node.val,
   |                      -------- value moved here
17 |                 tail: node.tail.append(val),
   |                       ^^^^^^^^^ value used here after move
   |
   = note: move occurs because `node.val` has type `T`, which does not implement the `Copy` trait

我找到了使用结构的多个字段的方法,并且我发现 在使用包含多个字段的结构时避免部分移动的值错误,所以我会这样做:

List(Some(node)) => {
    let ListNode {
        val: nval,
        tail: ntail,
    } = *node;
    List(Some(Box::new(ListNode {
        val: nval,
        tail: ntail.append(val),
    })))
}

好吧,不,仍然是同样的错误.显然这不再像在链接中那样工作了.

我也尝试过使用refs:

List(Some(node)) => {
    let ListNode {
        val: ref nval,
        tail: ref ntail,
    } = *node;
    List(Some(Box::new(ListNode {
        val: *nval,
        tail: (*ntail).append(val),
    })))
}

这次解构通过了,但是新节点的创建失败了:

error[E0507]: cannot move out of borrowed content
  --> src/main.rs:21:26
   |
21 |                     val: *nval,
   |                          ^^^^^ cannot move out of borrowed content

error[E0507]: cannot move out of borrowed content
  --> src/main.rs:22:27
   |
22 |                     tail: (*ntail).append(val),
   |                           ^^^^^^^^ cannot move out of borrowed content

我错过了一些明显的东西吗？如果没有,访问未通过引用传递的结构的多个字段的正确方法是什么？我正在使用Rust 1.1.

Answer 1

与之相继有一些奇怪的互动Box.您需要添加一个解包该框的中间let语句.

List(Some(node)) => {
    let node = *node; // this moves the value from the heap to the stack
    let ListNode { val, tail } = node; // now this works as it should
    List(Some(Box::new(ListNode { val: val, tail: tail.append(value) })))
}

请注意,我将您的函数参数重命名为value,因此我可以在没有重命名的情况下以简短形式编写解构.

在操场上试试吧.