迭代器模式

自定义 Counter 结构体类型,并实现迭代器。其他语言的场景,读取数据库行数据时,使用的就是迭代器。我们使用for语言遍历数组,也是一种迭代。

结构体对象实现 Iterator trait,创建自定义的迭代器,只需要实现一个next方法的定义。它会在每次调用时返回一个包裹在Some中的迭代器元素,并在迭代器结束时返回None

Item定义为关联类型,就像是给类型起了一个别名。

rust 复制代码
struct Counter {
    count: u32,
}

impl Counter {
    fn new() -> Counter {
        Counter { count: 0 }
    }
}

impl Iterator for Counter {
    type Item = u32;

    fn next(&mut self) -> Option<Self::Item> {
        self.count += 1;

        if self.count < 3 {
            return Some(self.count);
        }
        None
    }
}

#[test]
fn calling_next_directly() {
    let mut count = Counter::new();
    assert_eq!(count.next(), Some(1));
    assert_eq!(count.next(), Some(2));
    assert_eq!(count.next(), None);
}

这个迭代器并没有特别的地方,某种意义上它就是实现了一个接口,外部可以将这个对象当做接口来看待,最终体现在无脑适用迭代器提供的模式方法。

例子中的new方法称为关联函数associated function,将其命名为函数而不是方法,是因为它不会作用域某个具体的结构体实例,方法的参数声明中也不接受self,但它依然声明在impl块中。

new类似于构造函数,用来实例化一个新的结构体类型。通过类型名后面追加::来调用关联函数。单元测试的例子calling_next_directly声明了Counter实例并手动调用next方法。

适配器

实现了迭代器,如果只是为了手动调用next方法,那没啥意义。关键是依赖RUST提供的各种模式方法来链式处理迭代器。

迭代器抽象封装了很多处理模式,也就是迭代器适配器iterator adaptor方法,用来将现有的迭代器转换为其它不同类型的迭代器,通过链式地调用多个迭代适配器来完成一些复杂的操作。

下面的单元测试通过迭代器构造了一个[(1, 2)]元组。zip方法会在两个迭代器中任意一个返回None是结束迭代,skip跳过了第一个迭代,collect返回一个配对后值的集和。

rust 复制代码
#[test]
fn using_other_iterator_trait_methods() {
    let s: Vec<(u32, u32)> = Counter::new().zip(Counter::new().skip(1)).collect();
    println!("{:?}", s)
}

RUST正是有通过这个适配器,给我们抽象出了很多处理模式,我们通过简单的链式调用就可以实现很多复杂的能力。下面的方法介绍,也可以快速浏览官方查看。

collect方法

将一个迭代器转换为集合,只不过collect推断不出我们最终想要的类型,需要我们明确指定 collect返回值的类型。上个例子中的Vec<(u32, u32)>必须明确的指定类型,否则编译器会报错。

collect文档中还提供了另一种指定类型的方式:"turbofish::<>",调整之后的代码会变成下面这个样子,结合编译器给出的类型提示,理解迭代器链路上上对象声明。

rust 复制代码
#[test]
fn using_other_iterator_trait_methods() {
    let s = Counter::new()
        .zip(Counter::new().skip(1))
        .collect::<Vec<(u32, u32)>>();
    println!("{:?}", s)
}

collect返回集合的基础上还可以继续迭代,继续生成新的集合。下面的代码示例,我们基于第一次collect生成的元素[(1, 2)],重新生成一个新的集合[(2, 4)]

rust 复制代码
#[test]
fn using_other_iterator_trait_methods() {
    let s: Vec<(u32, u32)> = Counter::new()
        .zip(Counter::new().skip(1))
        .collect::<Vec<(u32, u32)>>()
        .iter()
        .map(|x| (x.0 * 2, x.1 * 2))
        .collect();
    println!("{:?}", s)
}
相关推荐
Trouvaille ~3 天前
【C++篇】在秩序与混沌的交响乐中: STL之map容器的哲学探寻
开发语言·数据结构·c++·算法·迭代器模式·stl·map
XYX的Blog5 天前
设计模式08-行为型模式1(命令模式/迭代器模式/观察者模式/Java)
设计模式·迭代器模式·命令模式
丶白泽14 天前
重修设计模式-行为型-迭代器模式
java·设计模式·迭代器模式·1024程序员节
伯牙碎琴23 天前
十五、行为型(迭代器模式)
迭代器模式
John_ToDebug25 天前
设计模式之迭代器模式
c++·设计模式·迭代器模式
刷帅耍帅1 个月前
设计模式-迭代器模式
设计模式·迭代器模式
湖南罗泽南1 个月前
设计模式之迭代器模式
设计模式·迭代器模式
java_heartLake1 个月前
设计模式之迭代器模式
java·设计模式·迭代器模式
仙魁XAN1 个月前
Unity 设计模式 之 行为型模式 -【中介者模式】【迭代器模式】【解释器模式】
设计模式·迭代器模式·解释器模式·中介者模式
coffee_baby1 个月前
深入探索迭代器模式的原理与应用
java·spring boot·迭代器模式·list