
通过提取公共迭代逻辑为生成器函数,可将同步/异步遍历行为解耦,仅保留回调执行方式的差异,显著减少重复代码和维护成本。
在 JavaScript 开发中,常遇到这样一种场景:同一段核心业务逻辑(如正则匹配、数据遍历、状态流转等)既需同步执行(用于服务端渲染、单元测试或简单脚本),又需异步执行(用于 I/O 操作、API 调用或事件驱动流程)。若直接编写两套几乎相同的函数(如 regExpSync 和 regExpAsync),不仅违反 DRY 原则,还会导致每次逻辑变更都需双份修改,极易引入不一致 bug。
最佳实践是——将「控制流」与「执行模式」分离。核心思想是:用生成器函数(function*)抽象出不可变的迭代过程,再由轻量包装函数分别处理同步调用(for...of + 直接调用)和异步调用(for...of + await)。
✅ 推荐方案:生成器 + 分离执行层
// ✅ 公共逻辑:纯迭代器,不关心同步/异步
function* regExp(str, pat) {
let loc = 0;
let res;
while ((res = pat.exec(str.substring(loc)))) {
yield res;
loc += res.length + res.index;
}
}
// ✅ 同步版本:消费迭代器,直接调用回调
function regExpSync(str, pat, fn) {
for (const res of regExp(str, pat)) {
const rtn = fn(res);
if (rtn) return rtn;
}
}
// ✅ 异步版本:消费迭代器,await 回调返回的 Promise
async function regExpAsync(str, pat, fn) {
for (const res of regExp(str, pat)) {
const rtn = await fn(res);
if (rtn) return rtn;
}
}该方案优势明显:
- 零重复逻辑:循环条件、索引更新、匹配提取全部集中在 regExp 中;
- 类型安全:fn 的同步/异步签名由调用方决定,TS 可精准推导;
- 可读性强:语义清晰,for...of 天然表达“逐项处理”意图;
- 易于扩展:后续如需支持取消(AbortSignal)、节流、日志埋点,只需增强包装层。
? 进阶提示:若环境支持 Iterator Helpers(Chrome 128+、Node.js 22+),可进一步简化:// 同步一行式(返回首个真值结果) const regExpSync = (str, pat, fn) => [...regExp(str, pat)].find(fn); // 或更语义化的 some(需 polyfill) const regExpSync = (str, pat, fn) => regExp(str, pat).some(fn); // 异步版(需 AsyncIterator.from + some,暂未进入标准,可用三方库如 `iter-tools`) import { asyncSome } from 'iter-tools'; const regExpAsync = (str, pat, fn) => asyncSome(fn, regExp(str, pat));
⚠️ 注意事项
- 避免 fn.constructor.name === 'AsyncFunction' 类型判断:运行时检测不可靠(箭头函数、Babel 编译、包装函数均会失效),且破坏类型系统;
- 勿滥用 yield + 自定义 runner:虽技术上可行(如答案中 regExp* + syncRun/asyncRun),但增加了理解成本与调试复杂度,适用于极端通用化场景,日常开发中得不偿失;
- 确保 pat 是全局正则(带 g 标志):否则 exec 不会持续匹配;若传入非全局正则,建议在 regExp 内部做防御性克隆:const safePat = new RegExp(pat.source, pat.flags.includes('g') ? pat.flags : pat.flags + 'g');
✅ 总结
代码复用的本质不是“写一个函数适配两种模式”,而是识别并隔离变化维度。此处,“如何遍历”是稳定逻辑,“如何执行回调”才是变化点。生成器函数正是为此而生的天然抽象——它产出数据流,交由消费者决定同步拉取还是异步等待。坚持这一原则,你的工具函数将更健壮、更易维护,也更符合现代 JavaScript 的设计哲学。










