rust - 关联类型的 self 生命周期

Question

完整的 Rust 示例在这里: https://play.rust-lang.org/?gist=0778e8d120dd5e5aa7019bc097be392b&version=stable

总体思路是实现一个通用的拆分迭代器，该迭代器将为由指定分隔符拆分的每次运行的值生成迭代器。所以对于 [1, 2, 3, 0, 4, 5, 6, 0, 7, 8, 9],split(0) 你会得到 [[1, 2, 3 ], [4, 5, 6], [7, 8, 9]]

对于这段代码:

impl<'a, I, F> Iterator for Split<I, F>
    where I: Iterator,
          F: PartialEq<I::Item>,
{
    type Item = SplitSection<'a, I, F>;
    fn next(&'a mut self) -> Option<Self::Item> {
        self.iter.peek().map(|_| 
        SplitSection {
            exhausted: false,
            iter: self,
        })
    }
}

我收到以下错误:

error[E0207]: the lifetime parameter `'a` is not constrained by the impl trait, self type, or predicates
  --> src/main.rs:22:6
   |
22 | impl<'a, I, F> Iterator for Split<I, F>
   |      ^^ unconstrained lifetime parameter

有没有一种方法可以“约束”生命周期参数，或者以某种方式重构它，以便返回关联类型(Item)的生命周期，并将其与 next() 联系起来？

基本上，由于每个 SplitSection 都使用 Split 拥有的迭代器，我想确保不会同时迭代两个 SplitSection。

谢谢!

Answer 1

遗憾的是，目前在 Rust 中实现 Iterator 特征时这是不可能的 - 与方法的原始特征定义相比，不允许修改生命周期关系。

好消息是最近合并了generic associated type RFC在编译器中实现时，将提供一种语言功能来执行此操作。不过，这可能需要一些时间。

我最近尝试自己实现类似的功能，我发现现有的稳定编译器最简单的方法是需要Clone + Iterator，从“主机”迭代器(https://gitlab.com/mihails.strasuns/example-iterators-calendar/blob/master/src/split_adaptor.rs)中单独迭代拆分块。 )