Mitä ovat iteraattorit ja generaattorit?

Question

Accepted Answer

**Iteraattori** on objekti, jolla on `next()` metodi, joka palauttaa `{ value, done }`. Objekti on **iteroitava**, jos sillä on `[Symbol.iterator]` metodi — tämä on se, mikä tekee `for...of`-silmukan ja spreadin toimivaksi. **Generaattori** (`function*`) on kätevä tapa luoda iteraattoreita, jotka voivat **keskeyttää ja jatkaa** `yield`-komennolla.

## Generaattorit tuottavat arvoja laiskasti

```js
function* idGenerator() {
  let id = 1;
  while (true) {     // infinite, but lazy — only computes on demand
    yield id++;      // pause here, return a value, resume on next()
  }
}
const gen = idGenerator();
gen.next().value; // 1
gen.next().value; // 2 — execution resumed where it paused
```

Pääidea: suoritus **keskeytyy** jokaisella `yield`-komennolla ja **jatkuu** seuraavassa `.next()`-kutsussa, säilyttäen paikallisen tilan kutsujen välillä. Mitään ei lasketa, ennen kuin sitä pyydetään.

## Miksi laiskuus on tärkeää

```js
// process a huge/infinite sequence without building it all in memory
function* take(iterable, n) {
  let i = 0;
  for (const x of iterable) {
    if (i++ >= n) return;
    yield x;
  }
}
[...take(idGenerator(), 3)]; // [1, 2, 3] — from an infinite generator
```

## Mukautetun iteroitavan objektin luominen

```js
const range = {
  from: 1, to: 3,
  *[Symbol.iterator]() { for (let i = this.from; i <= this.to; i++) yield i; },
};
[...range]; // [1, 2, 3] — works with for...of and spread
```

## Miksi tämä on tärkeää

Generaattorit mahdollistavat laiskoja/äärettömiä sekvenssejä, mukautettua iterointia ja muistitehokkaan suoratoiston.

Ne olivat myös varhaisempien async-kirjastojen (co) perusta ja pohjalla async iteraatiolle (`for await...of`).

Iteraattoriprotokolla on se, mikä yhdistää `for...of`-silmukan, spreadin ja destrukturointia taulukoiden, Mapien, Setien ja merkkijonojen kautta.