ИтераторыIterators

Трейт Iterator (trait Iterator { type Item; fn next(&mut self) -> Option<Self::Item>; }, см. associated-types.html) — единственный метод, который обязан реализовать каждый итератор; всё остальное — методы ПО УМОЛЧАНИЮ, предоставленные самим трейтом, реализованные исключительно через повторные вызовы next(). Цепочки адаптеров (v.iter().map(f).filter(g).collect()) ЛЕНИВЫ — никакая работа не выполняется и никакая промежуточная коллекция не выделяется, пока "потребляющий" метод (.collect(), .sum(), цикл for, .count() и т.д.) действительно не запускает цепочку, многократно вызывая .next().The Iterator trait (trait Iterator { type Item; fn next(&mut self) -> Option<Self::Item>; }, see associated-types.html) is the single method every iterator must implement — everything else is a DEFAULT method provided by the trait itself, implemented purely in terms of repeated calls to next(). Adaptor chains (v.iter().map(f).filter(g).collect()) are LAZY — no work happens, and no intermediate collection is allocated, until a consuming method (.collect(), .sum(), a for loop, .count(), etc.) actually drives the chain by calling .next() repeatedly.

struct Counter { count: u32 }

impl Iterator for Counter {
    type Item = u32;

    fn next(&mut self) -> Option<u32> {
        if self.count < 5 {
            self.count += 1;
            Some(self.count)
        } else {
            None
        }
    }
}  // .map(), .filter(), .sum() и т.д. Counter получает бесплатно, реализовав только next()// .map(), .filter(), .sum() etc. Counter gets for free just by implementing next()

Ленивость плюс агрессивная мономорфизация делают функциональный стиль по-настоящему бесплатным:Laziness plus aggressive monomorphization make functional-style code genuinely free:

В цепочке ниже .filter и .map не создают промежуточный Vec — единственное, что реально запускает итерацию, это .sum() в конце.In the chain below, .filter and .map never build an intermediate Vec — the only thing that actually drives iteration is .sum() at the end.

let total: i32 = (1..=100)
    .filter(|n| n % 3 == 0)
    .map(|n| n * n)
    .sum();  // только здесь запускается итерация — ни один Vec не аллоцируется по пути// only here does iteration actually run — no Vec is allocated along the way

Трейт IntoIterator — это то, что позволяет работать for x in collection: сами коллекции реализуют IntoIterator, а не Iterator напрямую, и цикл for раскрывается в вызов .into_iter() с последующими повторными вызовами .next().The IntoIterator trait is what makes for x in collection work — collections implement IntoIterator, not Iterator directly, and a for loop desugars to calling .into_iter() followed by repeated calls to .next().

• The Rust Book — Processing a Series of Items with Iterators
• std::iter::Iterator — documentation