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

Question

The Book 第 15.1 章中 Box<> 的示例显示了递归类型(缺点列表)实现的用法。我试图为这个 cons 列表实现一个方法，将最外层的值从列表中弹出，留下列表中的任何剩余值或 Nil。如果什么都没有了。但它不起作用，我不知道如何在改变 self 时返回值在解构之后(所以借用？)。真的，方法中的所有引用对我来说都没有意义....

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

这是我的代码:

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 )