代码块内部有一个 type Item,这是在声明迭代器的每个实现都有一个名为 Item 的关联类型。在这种情况下,当您调用 next 方法时,它可以返回这种类型。
Iterator 返回 Option<Self::Item> 的原因是该接口合并了 has_next 和 get_next 概念。 当拥有下一个值时,将返回 Some(value),当没有下一个值时,将返回 None。 这使得 API 在使用和实现上更符合人体工程学,更安全,同时避免了冗余的检查和 has next 和 get next 之间的逻辑。 太棒了!
实际上,我们已经有了使用List接口实现 IntoIter 的所有工具:只需一遍又一遍地调用 pop。因此,我们只需要将 IntoIter 作为 List 的新型包装器实现:
// Tuple structs are an alternative form of struct,
// useful for trivial wrappers around other types.
pub struct IntoIter<T>(List<T>);
impl<T> List<T> {
pub fn into_iter(self) -> IntoIter<T> {
IntoIter(self)
}
}
impl<T> Iterator for IntoIter<T> {
type Item = T;
fn next(&mut self) -> Option<Self::Item> {
// access fields of a tuple struct numerically
self.0.pop()
}
}
让我们写一个测试:
#[test]
fn into_iter() {
let mut list = List::new();
list.push(1); list.push(2); list.push(3);
let mut iter = list.into_iter();
assert_eq!(iter.next(), Some(3));
assert_eq!(iter.next(), Some(2));
assert_eq!(iter.next(), Some(1));
assert_eq!(iter.next(), None);
}
> cargo test
Running target/debug/lists-5c71138492ad4b4a
running 4 tests
test first::test::basics ... ok
test second::test::basics ... ok
test second::test::into_iter ... ok
test second::test::peek ... ok
test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured