基本

我们现在已经知道了很多Rust的基础知识,所以我们可以再次做很多简单的事情。

对于构造函数,我们又可以直接复制粘贴:

impl<T> List<T> {
    pub fn new() -> Self {
        List { head: None }
    }
}

pushpop已经不太能表达含义了。我们可以提供appendtail来代替它们,它们提 供的东西大致相同。

让我们从append开始。它接受一个列表和一个元素,并返回一个列表。就像可变列表的情况一样, 我们要做一个新的节点,它的next值是旧列表。唯一新奇的是如何获得下一个值,因为我们不 允许改变任何东西。

我们祈祷的答案就是Clone特性。几乎所有的类型都实现了克隆,它提供了一种通用的方法来获得 "像这样的另一个",而这个逻辑上是不相干的,只给了一个共享的引用。它就像C++中的复制构造 函数,但它不会被隐式调用。

特别地,Rc使用Clone作为增加引用计数的方法。因此,与其移动一个Box到子列表中,不如直接 克隆旧列表的头部。我们甚至不需要在头部进行匹配,因为Option暴露了一个Clone的实现,它所 做的正是我们想要的事情。

好了,让我们试一试吧:

pub fn append(&self, elem: T) -> List<T> {
    List { head: Some(Rc::new(Node {
        elem: elem,
        next: self.head.clone(),
    }))}
}
> cargo build

warning: field is never used: `elem`
  --> src/third.rs:10:5
   |
10 |     elem: T,
   |     ^^^^^^^
   |
   = note: #[warn(dead_code)] on by default

warning: field is never used: `next`
  --> src/third.rs:11:5
   |
11 |     next: Link<T>,
   |     ^^^^^^^^^^^^^

哇,Rust对实际使用字段真的很苛刻。它可以告诉没有消费者可以真正观察到这些字段的使用情 况! 不过,到目前为止,我们似乎还不错。

tail是这个操作的逻辑逆运算。它接收一个列表并返回除去第一个元素的整个列表。所有这些 都是克隆列表中的第二个元素(如果它存在的话)。我们来试试这个:

pub fn tail(&self) -> List<T> {
    List { head: self.head.as_ref().map(|node| node.next.clone()) }
}
cargo build

error[E0308]: mismatched types
  --> src/third.rs:27:22
   |
27 |         List { head: self.head.as_ref().map(|node| node.next.clone()) }
   |                      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected struct `std::rc::Rc`, found enum `std::option::Option`
   |
   = note: expected type `std::option::Option<std::rc::Rc<_>>`
              found type `std::option::Option<std::option::Option<std::rc::Rc<_>>>`

嗯,我们搞砸了。map希望我们返回一个Y,但是在这里我们要返回一个Option<Y>。值得庆 幸的是,这是另一个常见的Option模式,我们可以直接使用and_then来让我们返回一个Option。

pub fn tail(&self) -> List<T> {
    List { head: self.head.as_ref().and_then(|node| node.next.clone()) }
}
> cargo build

很好。

现在我们有了tail,我们也许应该提供head,它返回对第一个元素的引用。这只是从可 变列表中peek

pub fn head(&self) -> Option<&T> {
    self.head.as_ref().map(|node| &node.elem )
}
> cargo build

很好。

这已经有足够的功能,我们可以测试它:

#[cfg(test)]
mod test {
    use super::List;

    #[test]
    fn basics() {
        let list = List::new();
        assert_eq!(list.head(), None);

        let list = list.append(1).append(2).append(3);
        assert_eq!(list.head(), Some(&3));

        let list = list.tail();
        assert_eq!(list.head(), Some(&2));

        let list = list.tail();
        assert_eq!(list.head(), Some(&1));

        let list = list.tail();
        assert_eq!(list.head(), None);

        // Make sure empty tail works
        let list = list.tail();
        assert_eq!(list.head(), None);

    }
}
> cargo test

     Running target/debug/lists-5c71138492ad4b4a

running 5 tests
test first::test::basics ... ok
test second::test::into_iter ... ok
test second::test::basics ... ok
test second::test::iter ... ok
test third::test::basics ... ok

test result: ok. 5 passed; 0 failed; 0 ignored; 0 measured

很完美!

Iter也与我们的可变链表的情况相同:

pub struct Iter<'a, T> {
    next: Option<&'a Node<T>>,
}

impl<T> List<T> {
    pub fn iter(&self) -> Iter<'_, T> {
        Iter { next: self.head.as_deref() }
    }
}

impl<'a, T> Iterator for Iter<'a, T> {
    type Item = &'a T;

    fn next(&mut self) -> Option<Self::Item> {
        self.next.map(|node| {
            self.next = node.next.as_deref();
            &node.elem
        })
    }
}
#[test]
fn iter() {
    let list = List::new().append(1).append(2).append(3);

    let mut iter = list.iter();
    assert_eq!(iter.next(), Some(&3));
    assert_eq!(iter.next(), Some(&2));
    assert_eq!(iter.next(), Some(&1));
}
cargo test

     Running target/debug/lists-5c71138492ad4b4a

running 7 tests
test first::test::basics ... ok
test second::test::basics ... ok
test second::test::iter ... ok
test second::test::into_iter ... ok
test second::test::peek ... ok
test third::test::basics ... ok
test third::test::iter ... ok

test result: ok. 6 passed; 0 failed; 0 ignored; 0 measured

谁曾说过动态类型更容易?

(笨蛋说的)

注意,我们不能为这个类型实现IntoIter或IterMut。我们只有对元素的共享访问。