核心 trait：Iterator

实现迭代器的核心是提供 Iterator trait，它要求定义一个 Item 关联类型和一个返回 Option 的 next() 方法。实践中还需关注其他方法是否覆盖，例如 size_hint 能提供长度提示以优化容器分配。若未正确实现 size_hint，某些适配器（如 collect）可能产生意外分配开销。检查方式是手动调用 next() 并断言返回值的顺序，同时验证 size_hint 的上下界合理性。

在实现自定义迭代器时，通常先定义一个结构体保存状态，然后为它实现 Iterator。例如一个模拟步进计数器的迭代器：

struct Counter {
    current: u32,
    max: u32,
}

impl Iterator for Counter {
    type Item = u32;
    fn next(&mut self) -> Option<Self::Item> {
        if self.current < self.max {
            let val = self.current;
            self.current += 1;
            Some(val)
        } else {
            None
        }
    }
    fn size_hint(&self) -> (usize, Option<usize>) {
        let remaining = (self.max - self.current) as usize;
        (remaining, Some(remaining))
    }
}

这里 size_hint 返回精确剩余数量，collect 可以直接预分配内存。如果长度提示错误，比如返回的下界比实际大，会导致收集时预分配过多；如果上界比实际小，可能触发多次 realloc。建议在实现前先确认迭代器的长度是否可预知，不确定时使用默认实现（上界为 None）。

让容器可被遍历：IntoIterator

为了让容器本身能被用于 for 循环或其他消费迭代器的地方，需要为容器类型实现 IntoIterator trait。它要求定义 Item、IntoIter 关联类型，并返回一个 IntoIter 类型的迭代器。注意：如果容器是引用类型，如 &Vec，应实现 IntoIterator for &Vec 以避免所有权转移。常见坑是误将 IntoIterator 实现为消耗自身，导致后续无法使用容器。检查方法是用 for 循环遍历容器并确认编译通过且行为正确。

实现时通常分为三种情形：impl IntoIterator for MyContainer（消耗所有权）、impl IntoIterator for &MyContainer（不可变借用）、impl IntoIterator for &mut MyContainer（可变借用）。每种情形下的 Item 和 IntoIter 类型不同。例如对于 Vec<T>，标准库提供了三种 IntoIterator 实现，分别返回 T、&T、&mut T。建议为自定义容器也遵循这个模式，使调用方能灵活选择所有权。

从迭代器收集：FromIterator

若希望容器能够从迭代器收集而来（如使用 collect()），需实现 FromIterator trait。它仅需一个 from_iter 方法，接收 IntoIterator 类型参数并返回 Self。实现时注意泛型参数约束，特别是当容器元素类型与迭代器类型不同时需映射。风险边界在于如果迭代器产生过长序列可能导致内存溢出，但这是调用方责任。检查方法是调用 iter.collect::<MyContainer>() 并验证结果与预期一致。

例如实现一个只收集偶数的容器：

struct EvenNumbers(Vec<i32>);

impl FromIterator<i32> for EvenNumbers {
    fn from_iter<I: IntoIterator<Item=i32>>(iter: I) -> Self {
        let evens: Vec<_> = iter.into_iter().filter(|x| x % 2 == 0).collect();
        EvenNumbers(evens)
    }
}

注意 collect 的返回类型依赖编译器推导，如果推导失败，需要显式注解类型。另外 FromIterator 的泛型参数可以是不同的输入类型，但通常与容器元素类型相同。如果容器需要多个不同元素类型（如映射），需要用 FromIterator 的泛型参数区分。

可选 trait：按需增强

除三个必选 trait 外，可根据需要实现 FusedIterator、ExactSizeIterator 等。FusedIterator 表示迭代器在返回 None 后继续调用 next() 不会再改变行为，适合优化已耗尽迭代器的操作。ExactSizeIterator 要求实现 len() 方法并保证迭代器长度已知且精确。只有当迭代器确实能提前预知剩余元素数量时才实现后者，否则提供错误长度将导致适配器行为异常。检查方法是使用标准库的 is_fused() 和 exact_size() 等辅助函数或手动测试边界条件。

实现 ExactSizeIterator 时，len() 必须与 size_hint 返回的下界一致，且上下界相等。如果迭代器长度随遍历动态变化，不要实现此 trait。另一个常见 trait DoubleEndedIterator 允许从两端遍历，适合双向访问的数据结构（如双向链表）。若实现，需保证 next_back() 与 next() 不冲突，且当迭代器为空时返回 None。

生命周期与借用问题

当迭代器持有对内部数据的引用时（如 Vec 的 iter()），需要为迭代器结构体引入生命周期参数。实现 Iterator 时需确保 Item 类型与生命周期一致，例如 impl<'a> Iterator for MyIter<'a> { type Item = &'a T; }。常见坑是生命周期标注不足导致编译器报错，或误将 Item 设为 &T 但未正确约束。检查方法是从容器借用后调用 next()，看能否通过借用检查。注意不要无谓地分发生命周期，否则可能限制使用场景。

另一个易错点是返回引用时的所有权问题：若 next() 返回 &Item 而非 Item，必须确保引用的生命周期与迭代器本身一致。若迭代器被 move 或 drop，返回的引用将悬空。一种安全做法是让迭代器持有容器的借用（通过生命周期），并让 Item 类型为 &T。另外，避免在 next() 内部创建临时变量并返回其引用，这会导致返回悬垂指针。检查方法是使用编译器的生命周期检查，并测试用例中让迭代器被消耗后仍持有引用的场景。

最后，如果迭代器产生的是可变引用，要仔细考虑别名规则——标准库的迭代器适配器（如 map）往往要求闭包满足一定的借用检查约束。建议先对小规模数据编写单元测试，包括空迭代器、单元素、多元素以及借用冲突的场景。