Оverflow 评估需求，Rust Traits

Question

我正在尝试写一个需要内部类型迭代器的特征。迭代应实现迭代器。我遇到了这样的错误“溢出评估需求 str as thereRait＆gt; :: iter == _ ”，并且无法理解它想要什么。有人可以帮助理解吗？）

pub trait SomeIter { 
   type Iter where Self::Iter: Iterator;
}

struct NumberIter(u32, u8);

impl Iterator for NumberIter {
    type Item = u8;

    fn next(&mut self) -> Option<Self::Item> {
        if self.1 == 32 || (self.0 >> self.1) == 0 {
            None
        } else {
            let ret = ((self.0 >> self.1) as u8) & 0xFF;
            self.1 += 8;
            Some(ret)
        }
    }
}

impl SomeTrait for str {
    type Iter = NumberIter;
}

编译器建议阅读一些示例，但没有类似的东西。

Answer 1

问题在于 where Self::Iter 部分的解析（因为它是递归的），您只需要限制类型：

pub trait SomeIter { 
   type Iter: Iterator;
}

游乐场