如何将struct的字段作为`Iterator`而不是`T`元素？

Question

我希望struct的字段是Iteratorover T元素,但是Iterator没有type参数.我知道我正在尝试做一些根本错误的事情,尽管如此？

Answer 1

在Rust中,Iterator(更具体地说Iterator<Item = T>,T迭代时产生的类型在哪里)是一个特征.表示迭代器的类型实现此特征.

这是一个更一般的问题的实例"如何在结构中存储特征的值？".我故意以一种不精确的方式表达这个问题 - 我们真正想要的是存储一个实现该特征的类型的值,并且有两种方法可以做到这一点.

把它放在一个盒子里

最简单的方法是使用Box<Iterator<Item = T>>.该Box代表所属的指针,当你有一个指向特性对象,防锈创建了一个"胖指针",包括有关类型的运行时信息.这样,迭代器的具体类型在编译时是未知的.

定义如下:

struct IteratorHolder {
    iter: Box<Iterator<Item = u32>>,
}

用法:

let ih = IteratorHolder { iter: Box::new(0..10) };
println!("{:?}", ih.iter.collect::<Vec<_>>());

泛型

另一种做同样事情的方法是避免在堆上分配任何框,这是使用通用结构.这样我们将有一些类型实现Iterator<Item = T>,具体将在编译时确定.

定义:

struct IteratorHolder<I: Iterator<Item = u32>> {
    iter: I,
}

用法:

let ih = IteratorHolder { iter: 0..10 };
println!("{:?}", ih.iter.collect::<Vec<_>>());