1. 迭代器的基础概念
1.1 迭代器的定义
在 JavaScript 中，迭代器是一个对象，它遵循 迭代协议，通过 next() 方法逐步返回集合的元素。返回值通常是一个形如 { value, done } 的对象，其中 value 表示当前元素，done 表示是否已经遍历结束。本文围绕 JS迭代器原理与实现解析：从核心概念到代码实现的完整剖析展开，帮助你理解从概念到实现的完整链路。
为何要使用迭代器？因为它提供了一致的访问方式，使得不同的数据结构能以同样的方式被遍历，尤其是在 for...of、展开运算符（spread）等语法中具有天然支持。
一个最直观的例子是，普通数组本身具备迭代能力，我们可以通过它的 Symbol.iterator 属性获取一个迭代器，并通过多次调用 next() 来获得值直到 done 为真。
// 数组自带的迭代器示例
const arr = [1, 2, 3];
const it = arr[Symbol.iterator]();
console.log(it.next()); // { value: 1, done: false }
console.log(it.next()); // { value: 2, done: false }
console.log(it.next()); // { value: 3, done: false }
console.log(it.next()); // { value: undefined, done: true }
1.2 迭代协议与 Symbol.iterator
Symbol.iterator 是决定对象“可迭代性”的关键属性。只有拥有该符号方法的对象，才可以被 for...of、Array.from、展开运算符等语法结构使用。
一个对象要成为可迭代对象，通常需要实现一个 [Symbol.iterator] 方法，该方法返回一个实现了 next() 的迭代器对象。这个迭代器对象必须遵循以下约束：每次调用 next() 返回一个对象 { value, done }，其中 done 为 true 时，表示遍历结束。
下面的示例展示如何把自定义对象变成可迭代对象，通过自定义的 [Symbol.iterator]，让它在 for...of 循环中工作。
const range = {from: 1,to: 5,[Symbol.iterator]() {let current = this.from;const last = this.to;return {next() {if (current <= last) {return { value: current++, done: false };} else {return { value: undefined, done: true };}}};}
};// for...of 将会遍历 range 的数字
for (const num of range) {console.log(num);
}
2. 迭代器实现的核心原理
2.1 自定义对象的可迭代性
要让一个自定义对象具备可迭代性，关键在于实现 [Symbol.iterator]，并让它返回一个实现了 next() 的迭代器对象。这个迭代器对象不需要是同一个对象，它可以是简单的函数字面量、也可以是一个具备状态的闭包。
在实现时，通常需要处理两个要点：一是维护用于遍历的内部状态（如索引、游标等），二是确保 next() 每次返回一个新对象，直到 done 为 true。
// 手写可迭代对象的简单实现
const words = {data: ['hello', 'world'],[Symbol.iterator]() {let i = 0;const items = this.data;return {next() {if (i < items.length) {return { value: items[i++], done: false };} else {return { value: undefined, done: true };}}};}
};// 使用可迭代对象
for (const w of words) {console.log(w);
}
这类实现强调了 状态驱动的遍历，并且可以在任意数据结构上实现迭代能力，提升代码的通用性与可组合性。
2.2 符号实现与兼容性
在实际工程中，考虑浏览器兼容性和框架生态，通常推荐通过 Symbol.iterator 来实现可迭代性，以确保与原生语言特性（如 for...of、Array.from、扩展运算符）无缝对接。
另外，除了实现 [Symbol.iterator]，有时也会提供一个显式的 iterator() 方法，方便在某些库中对迭代器版本进行版本控制或多重迭代器场景的显式管理。
对于生成器函数（见后文章节）而言，生成器函数会隐式返回一个迭代器对象，使得实现更为简洁，但背后原理仍然归结于 迭代协议 与 Symbol.iterator 的组合。
// 自定义可迭代对象，兼容性友好
const dataStream = {list: [10, 20, 30],[Symbol.iterator]() {let idx = 0;const arr = this.list;return {next() {if (idx < arr.length) {return { value: arr[idx++], done: false };}return { value: undefined, done: true };}};}
};// 直接遍历
for (const x of dataStream) {console.log(x);
}
3. 生成器与迭代器的关系
3.1 生成器函数与生成的迭代器
生成器是一种方便创建迭代器的语法糖，使用 function* 形式定义，生成器函数在调用时返回一个实现了 next() 的迭代器对象。它让你用 yield 逐步产出值，并在需要时暂停与恢复执行。
相比手写迭代器，生成器让遍历逻辑更简洁、状态管理更直观，尤其在处理大量数据、异步编排或分段计算时，显著提升开发效率与代码可读性。
function* numbers() {yield 1;yield 2;yield 3;
}// 使用生成器创建的迭代器
for (const n of numbers()) {console.log(n);
}
3.2 yield 的工作机制与暂停/继续
yield 可以理解为一个暂停点，它会向外部暴露一个值，并等待外部通过 next() 传入一个参数来继续执行。这个参数会成为生成器函数内部的表达式结果，从而影响后续的控制流。
通过下面的示例，可以感受到 yield 如何在外部驱动内部状态更新，实现简单的协程风格的编程模式。
function* pingPong() {let msg = 'ping';while (true) {const input = yield msg; // 暂停并等待外部传入值msg = (input === 'ping') ? 'pong' : 'ping';}
}const it = pingPong();
console.log(it.next().value); // 第一次执行，输出 'ping'
console.log(it.next('ping').value); // 传入 'ping'，输出 'pong'
console.log(it.next('pong').value); // 传入 'pong'，输出 'ping'
4. 常见模式与性能考量
4.1 惰性求值与生产者-消费者模式
迭代器天然具备惰性求值的特性：只有在需要值时才会触发计算，这对于大数据集尤为关键。将数据作为“生产者-消费者”的模式进行切分，可以显著降低内存占用，并提升响应性。
在 生产者-消费者场景下，生产者持续产出数据，消费者以迭代器形式逐步消费。结合 生成器，我们还可以实现分块读取、流式处理等高级模式，确保应用在高并发或大规模数据下保持稳定性能。
// 简单的惰性分块处理：把数组分成块逐块遍历
function* chunker(arr, size) {for (let i = 0; i < arr.length; i += size) {yield arr.slice(i, i + size);}
}const data = [1,2,3,4,5,6,7,8,9];
for (const chunk of chunker(data, 3)) {console.log('chunk:', chunk);
}
4.2 错误处理与终止条件
在迭代过程中，错误可能来自数据源、异步操作或自定义实现。对 next() 调用的结果要严格判断 done，并在必要时通过 try/catch 捕获异常，确保迭代器的使用方能够得到可预期的行为。
一个简单的容错设计是对迭代器包装一个保护层，确保在出现异常时能够优雅地中止遍历并清理资源。
// 安全地遍历可迭代对象，捕获遍历中的异常
function safeIter(iterable) {const iterator = iterable[Symbol.iterator]();return {[Symbol.iterator]() { return this; },next() {try {return iterator.next();} catch (e) {return { value: undefined, done: true };}}};
}const faulty = {[Symbol.iterator]() {return {next() {throw new Error('遍历错误');}};}
};for (const v of safeIter(faulty)) {console.log(v);
}
综上所述，JS迭代器的原理与实现涉及到 Symbol.iterator、next() 与 done 的协同工作，以及通过 生成器 等工具实现更高层次的抽象。通过对这些核心概念的理解与示例实践，你可以在实际项目中设计出高效、可维护的迭代方案，覆盖从小型数据集合到大型数据流的各种场景。
