Iterator特性中的type Item是什么意思

Question

Iterator特征定义如下：

pub trait Iterator {
    type Item;
    fn next(&mut self) -> Option<Self::Item>;
}

什么type Item; 意思？ 以及如何称呼它？

上面的定义是否与此等效？

pub trait Iterator<T> {
    fn next(&mut self) -> Option<T>;
}

如果相同，为什么要这样声明呢？ 如果不一样，那有什么区别？

Answer 1

TL; DR ： type Item; 在Iterator是一个关联的类型。

---

Rust泛型具有输入和输出类型：

• 输入类型是在特征的声明中指定的类型（ trait X<T, U>以T和U作为输入类型）加上Self （实现特征的具体类型）
• 输出类型是特征定义中通过type X;指定的type X;

引入关联项目的RFC是RFC 195：关联项目 。 具体而言，其动机部分列举了具有相关特征的好处。

对我而言，最重要的一点是统一性 ：为该特性的任何给定实现定义了一个单一类型，例如，它可以为Deref或Index特性提供清洁动力。 在Deref或Index可以产生许多可能的类型的世界中，类型推断会更加复杂。