如何从 cons 列表中弹出一个值？

Question

The Book 的第 15.1 章显示了 Box<> 递归类型（cons 列表）实现的用法示例。我试图为这个 cons 列表实现一个方法，将最外层的值从列表中弹出，将列表保留为剩余的值，如果没有剩余，则为 Nil。但它不起作用，我无法弄清楚如何在 return 解构后改变 self 的值（因此借用？）。真的 none 方法中的引用对我来说很有意义....

如果不创建一个使用列表并吐出值和新列表的函数，就没有办法做到这一点吗？

这是我的代码：

use crate::List::{Cons, Nil};

fn main() {
    let mut list = Cons(1, Box::new(Cons(2, Box::new(Cons(3, Box::new(Nil))))));

    println!("The first value is: {}.", list.pop().unwrap());
    println!("The second value is: {}.", list.pop().unwrap());
}

#[derive(Debug)]
enum List {
    Cons(i32, Box<List>),
    Nil,
}

impl List {
    // It seems to me I need to mutably borrow the list to change it
    // but the way reference types behave later confuses me
    fn pop(&mut self) -> Option<i32> {
        if let Cons(value, list) = &self {
            self = **list; // <- how to do this bit? self is borrowed...
            Some(*value)
        } else {
            None
        }
    }
}

Answer 1

您可以先将当前列表移出 self，然后将其替换为 Nil，从而使您的方法奏效。这样，您可以在旧列表上进行匹配，并且仍然能够分配给 self:

fn pop(&mut self) -> Option<i32> {
    let old_list = std::mem::replace(self, Nil);
    match old_list {
        Cons(value, tail) => {
            *self = *tail;
            Some(value)
        }
        Nil => None,
    }
}

(Playground)

如何从 cons 列表中弹出一个值？

How to pop a value from cons list?

data-structures

rust

borrow-checker

cons