Push

我们来实现将一个值推入列表的功能吧。push改变了列表，因此我们需要&mut self。还需要提供一个推入的i32参数：

impl List {
    pub fn push(&mut self, elem: i32) {
        // TODO
    }
}

首先，我们需要创建一个节点来存储我们的元素：

    pub fn push(&mut self, elem: i32) {
        let new_node = Node {
            elem: elem,
            next: ?????
        };
    }

next那里存储的是什么呢？呃，是整个原先的列表！我们...可以这么做么？

impl List {
    pub fn push(&mut self, elem: i32) {
        let new_node = Node {
            elem: elem,
            next: self.head,
        };
    }
}

> cargo build
   Compiling lists v0.1.0 (file:///Users/ABeingessner/dev/lists)
src/first.rs:19:10: 19:14 error: cannot move out of borrowed content
src/first.rs:19           next: self.head,
                                ^~~~
error: aborting due to previous error
Could not compile `lists`.

不不不。Rust在告诉我们正确的事，但是它的实际意义和修复它的方法并不明了：

cannot move out of borrowed content （无法移动出租借的内容）

我们尝试把self.head字段移动到next中，但是Rust不想让我们做这件事。这会导致在我们的租借结束，值返回到其所有者的时候，self只是部分初始化的。正如我们之前所说，这是你不能通过&mut做的唯一一件事：这样做是非常粗野的，而Rust则打算尽量保持礼貌（同时这也是极其危险的，但是并不是Rust关心它的原因）。

如果我们把东西放回去呢？具体的说，就是我们创建的节点：

pub fn push(&mut self, elem: i32) {
    let new_node = Box::new(Node {
        elem: elem,
        next: self.head,
    });

    self.head = Link::More(new_node);
}

> cargo build
   Compiling lists v0.1.0 (file:///Users/ABeingessner/dev/lists)
src/first.rs:19:10: 19:14 error: cannot move out of borrowed content
src/first.rs:19           next: self.head,
                                ^~~~
error: aborting due to previous error
Could not compile `lists`.

不行。在原则上，Rust是可以接受这样的行为的，但是它不会（出于数个原因——最重要的是安全性）我们需要某种方法得到head，而不让Rust发现它已经消失了。我们转而向声名狼藉的Rust黑客Indiana Jones寻求建议：

噢没错，Indy建议采用mem::replace这一招。这个极其有用的函数让我们通过替换将一个值从租借中偷出来。让我们先在文件顶部把std::mem拉进来，这样mem就在局部作用域了：

use std::mem;

然后恰当的使用它：

pub fn push(&mut self, elem: i32) {
    let new_node = Box::new(Node {
        elem: elem,
        next: mem::replace(&mut self.head, Link::Empty),
    });

    self.head = Link::More(new_node);
}

在将 self.head 替换为列表的新头部之前，我们临时的将它replace为Link::Empty。我不会撒谎：非要这么去做真是很糟糕。悲伤的是，我们必须这样（至少现在）。

不过，这样子push就完成了！或许吧。说真的，我们应该测试一下它。现在来说，最简单的测试方法是实现pop，然后确认它给出了正确的结果。

Previous所有权 NextPop

Last updated 3 years ago