es-toolkit/fp 的 differenceBy基于映射键的 pipe 数据排除与惰性求值原理【免费下载链接】es-toolkitA modern JavaScript utility library thats 2-3 times faster and up to 97% smaller, a major upgrade to lodash.项目地址: https://gitcode.com/GitHub_Trending/es/es-toolkitdifferenceBy函数式编程版是 es-toolkit 函数式编程入口 es-toolkit/fp 提供的一个数据末尾data-last操作符它接收一个secondArray和一个mapper映射函数返回一个等待数据的函数用于在pipe管道中按“映射后的键”排除数组元素。本文以 docs/ja/fp/reference/differenceBy.md 为核心结合 src/fp/array/differenceBy.ts 的源码实现、src/fp/_internal/lazy.ts 的惰性求值原语与 src/fp/array/differenceBy.spec.ts 的测试用例完整讲解 API 用法、与普通版differenceBy的取舍以及 pipe 中惰性融合lazy fusion的底层原理。一、API 概览为 pipe 设计的>const result pipe(array, differenceBy(secondArray, mapper));从源码签名可以看出这种“配置先行、数据后到”的结构src/fp/array/differenceBy.tsexport function differenceByT, U( secondArray: readonly U[], mapper: (value: T | U) unknown ): (array: readonly T[]) T[] { // ... }这与 docs/fp/intro.md 描述的 fp 模块设计一致每个es-toolkit/fp函数都先用配置参数如map(fn)、take(2)调用返回一个接收数据的函数pipe负责把上一步的输出依次传入下一步。参数说明参数类型说明secondArrayreadonly U[]提供“排除键”的值数组其元素经mapper映射后的键作为排除基准mapper(item: T \| U) unknown比较键生成函数同时作用于被 pipe 的数组元素与secondArray元素返回值(array: readonly T[]) T[]一个把readonly T[]转换为新数组的函数。新数组只保留“映射后键不在secondArray中”的元素。二、基本用法按 id 排除对象differenceBy比较的是mapper返回的值。被 pipe 的数组元素只有在“映射后的键未出现在secondArray中”时才会被保留。官方示例docs/ja/fp/reference/differenceBy.md如下import { differenceBy, pipe } from es-toolkit/fp; pipe( [{ id: 1 }, { id: 2 }], differenceBy([2], value (typeof value number ? value : value.id)) ); // [{ id: 1 }]这里的mapper是一个典型的“双类型兼容”写法secondArray中是原始数字[2]而被 pipe 的数组是{ id: number }对象因此映射函数需要用typeof分支把两种类型统一到同一个键空间数字id上。最终{ id: 2 }的映射键2命中了排除基准而被剔除{ id: 1 }得以保留。类型不一致的数组也能比较与普通版differenceBy一样参见 docs/reference/array/differenceBy.md 中的示例fp 版允许T与U是不同类型。在 pipe 中这可以配合map等操作符先把上游数据转换为与secondArray一致的形状再做排除。例如按字符串长度排除import { differenceBy, pipe } from es-toolkit/fp; pipe( [apple, banana, cherry], differenceBy([grape, lemon], word word.length) ); // [banana, cherry] // apple 长度为 5与 grape、lemon 相同被排除三、何时使用 fp 版何时使用普通版原文档用提示框明确给出了选型建议docs/ja/fp/reference/differenceBy.md普通代码不组合管道优先使用原版 es-toolkit 的differenceBy即import { differenceBy } from es-toolkit/array一次调用直接得到结果写法更直接。用pipe串联变换时使用本fp版本让每个步骤都是>// src/fp/array/differenceBy.ts import { differenceBy as differenceByToolkit } from ../../array/differenceBy.ts; function differenceByEager(array: readonly T[]): T[] { return differenceByToolkit(array, secondArray, mapper); }而普通版的核心逻辑src/array/differenceBy.ts是先把secondArr全部映射并放入Set再过滤firstArr中映射键不在Set内的元素export function differenceByT, U( firstArr: readonly T[], secondArr: readonly U[], mapper: (value: T | U) unknown ): T[] { const mappedSecondSet new Set(secondArr.map(item mapper(item))); return firstArr.filter(item { return !mappedSecondSet.has(mapper(item)); }); }值得注意的是mapper只对secondArray的每个元素调用一次映射结果被缓存在Set中后续对主数组每个元素的键查找都是 O(1) 的Set.has操作整体时间复杂度为 O(n m)。fp 版在配置阶段同样预先把secondArray映射成mappedSecondSetsrc/fp/array/differenceBy.tsconst mappedSecondSet new Set(secondArray.map(item mapper(item)));四、源码纵深惰性求值与 pipe 中的融合执行fp 版differenceBy与普通版最本质的区别在于它同时注册了惰性变换lazy transform。源码src/fp/array/differenceBy.ts通过 src/fp/_internal/lazy.ts 提供的两个原语把急切实现与惰性实现绑定在一起function differenceByEager(array: readonly T[]): T[] { return differenceByToolkit(array, secondArray, mapper); } const differenceByLazy createLazyFunctionT, T((value, _index, emit) { if (!mappedSecondSet.has(mapper(value))) { emit(value); } }); return combineEagerAndLazyFunctions(differenceByEager, differenceByLazy);逐行解读differenceByEager直接复用普通版实现在differenceBy被单独调用时走这条路径。differenceByLazy由createLazyFunction构建的推式push变换。每个元素到来时若其映射键不在mappedSecondSet中就调用emit(value)把元素推给下一级否则丢弃。combineEagerAndLazyFunctions把lazy元数据挂到急切函数上pipe就能识别它并参与融合。lazy 原语的推式模型根据 src/fp/_internal/lazy.ts 的注释es-toolkit/fp 的惰性求值不采用生成器而是一个“推式”管道每个函数接收下一阶段的 sink汇点通过emit把值推入。createLazyFunctionsrc/fp/_internal/lazy.ts为每个元素调用一次step(value, index, emit)返回false可提前结束整轮运行供take这类短路函数使用。combineEagerAndLazyFunctionssrc/fp/_internal/lazy.ts则把 eager 实现与 lazy 变换“就地合并”为一个同时带lazy与可选shortCircuit标记的OperatorFunction。pipe 如何融合并短路在pipe的实现src/fp/pipe.ts中连续的惰性函数会被chunkFunctions划分为“最大连续惰性段”当输入可迭代且该段含短路函数或输入非数组时整段通过lazyPipe融合为单趟遍历src/fp/pipe.ts从最后一个函数开始把各 lazy 变换反向组合成一个 sink逐个元素驱动 sink 穿过所有变换中间不生成任何临时数组一旦某函数如take返回false驱动循环立即 break剩余输入不再访问。因此当differenceBy与map、take等惰性函数相邻时每个元素会一次性穿过整条管道且能在take满足后提前终止——这正是 docs/fp/intro.md 所描述的“不用在每步之间构造中间数组、收集到足够结果就停”的性能来源。测试用例验证src/fp/array/differenceBy.spec.ts 覆盖了两个关键场景1. 在 pipe 中正常工作pipe( [{ id: 1 }, { id: 2 }], differenceBy([2], value (typeof value number ? value : value.id)) ); // toEqual([{ id: 1 }])2. 与短路操作符组合时支持惰性求值用 spy 验证访问次数const spy vi.fn((item: { id: number }) item); pipe( [{ id: 1 }, { id: 2 }, { id: 3 }, { id: 4 }], map(spy), differenceBy([1], value (typeof value number ? value : value.id)), take(2) ); // toEqual([{ id: 2 }, { id: 3 }]) expect(spy).toHaveBeenCalledTimes(3); // 只访问了前 3 个元素第 4 个从未被访问这个测试直观证明了惰性融合的效果输入有 4 个元素但map的 spy 只被调用 3 次。原因是管道在take(2)收集到[{ id: 2 }, { id: 3 }]两个结果后立即停止——{ id: 4 }甚至没有进入map。若换成逐函数急切执行map必然被调用 4 次。也就是说differenceBy的惰性注册让整条管道可以“按需前进”而不是先算完全部再截断。五、实践要点与注意事项导入路径fp 版从es-toolkit/fp导入且已在 src/fp/array/index.ts 中作为公开 API 导出export { differenceBy } from ./differenceBy.ts。映射键的等值语义mapper的返回值通过Set进行同值比较SameValueZero 语义因此NaN与NaN会被视为相同键而1与1不相等。mapper的健壮性当secondArray元素与被 pipe 的元素类型不同如数字 vs 对象时务必像官方示例那样在mapper内做typeof分支把两类值统一到同一键空间否则映射键无法命中排除将不生效。单飞 vs 组合若只是对一个数组做一次排除直接用普通版differenceBy更简洁只有需要与pipe串联多个变换、或希望利用惰性融合与短路提前终止时才值得使用 fp 版。六、总结fp 版differenceBy是 es-toolkit/fp 中“同一函数、两种执行路径”设计的典型代表直接调用时复用 src/array/differenceBy.ts 的普通版实现基于Set的 O(n m) 映射比较放入pipe时则通过 src/fp/_internal/lazy.ts 的推式变换参与惰性融合与map、filter、take等相邻操作符合并为单趟遍历并支持短路提前终止。理解它的参数约定secondArraymapper先配置、数组后传入、双类型映射函数写法以及 src/fp/pipe.ts 的融合调度逻辑你就能在数据管道中精准、高效地完成“按映射键排除”这类常见变换。【免费下载链接】es-toolkitA modern JavaScript utility library thats 2-3 times faster and up to 97% smaller, a major upgrade to lodash.项目地址: https://gitcode.com/GitHub_Trending/es/es-toolkit创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考
es-toolkit/fp 的 differenceBy：基于映射键的 pipe 数据排除与惰性求值原理
es-toolkit/fp 的 differenceBy基于映射键的 pipe 数据排除与惰性求值原理【免费下载链接】es-toolkitA modern JavaScript utility library thats 2-3 times faster and up to 97% smaller, a major upgrade to lodash.项目地址: https://gitcode.com/GitHub_Trending/es/es-toolkitdifferenceBy函数式编程版是 es-toolkit 函数式编程入口 es-toolkit/fp 提供的一个数据末尾data-last操作符它接收一个secondArray和一个mapper映射函数返回一个等待数据的函数用于在pipe管道中按“映射后的键”排除数组元素。本文以 docs/ja/fp/reference/differenceBy.md 为核心结合 src/fp/array/differenceBy.ts 的源码实现、src/fp/_internal/lazy.ts 的惰性求值原语与 src/fp/array/differenceBy.spec.ts 的测试用例完整讲解 API 用法、与普通版differenceBy的取舍以及 pipe 中惰性融合lazy fusion的底层原理。一、API 概览为 pipe 设计的>const result pipe(array, differenceBy(secondArray, mapper));从源码签名可以看出这种“配置先行、数据后到”的结构src/fp/array/differenceBy.tsexport function differenceByT, U( secondArray: readonly U[], mapper: (value: T | U) unknown ): (array: readonly T[]) T[] { // ... }这与 docs/fp/intro.md 描述的 fp 模块设计一致每个es-toolkit/fp函数都先用配置参数如map(fn)、take(2)调用返回一个接收数据的函数pipe负责把上一步的输出依次传入下一步。参数说明参数类型说明secondArrayreadonly U[]提供“排除键”的值数组其元素经mapper映射后的键作为排除基准mapper(item: T \| U) unknown比较键生成函数同时作用于被 pipe 的数组元素与secondArray元素返回值(array: readonly T[]) T[]一个把readonly T[]转换为新数组的函数。新数组只保留“映射后键不在secondArray中”的元素。二、基本用法按 id 排除对象differenceBy比较的是mapper返回的值。被 pipe 的数组元素只有在“映射后的键未出现在secondArray中”时才会被保留。官方示例docs/ja/fp/reference/differenceBy.md如下import { differenceBy, pipe } from es-toolkit/fp; pipe( [{ id: 1 }, { id: 2 }], differenceBy([2], value (typeof value number ? value : value.id)) ); // [{ id: 1 }]这里的mapper是一个典型的“双类型兼容”写法secondArray中是原始数字[2]而被 pipe 的数组是{ id: number }对象因此映射函数需要用typeof分支把两种类型统一到同一个键空间数字id上。最终{ id: 2 }的映射键2命中了排除基准而被剔除{ id: 1 }得以保留。类型不一致的数组也能比较与普通版differenceBy一样参见 docs/reference/array/differenceBy.md 中的示例fp 版允许T与U是不同类型。在 pipe 中这可以配合map等操作符先把上游数据转换为与secondArray一致的形状再做排除。例如按字符串长度排除import { differenceBy, pipe } from es-toolkit/fp; pipe( [apple, banana, cherry], differenceBy([grape, lemon], word word.length) ); // [banana, cherry] // apple 长度为 5与 grape、lemon 相同被排除三、何时使用 fp 版何时使用普通版原文档用提示框明确给出了选型建议docs/ja/fp/reference/differenceBy.md普通代码不组合管道优先使用原版 es-toolkit 的differenceBy即import { differenceBy } from es-toolkit/array一次调用直接得到结果写法更直接。用pipe串联变换时使用本fp版本让每个步骤都是>// src/fp/array/differenceBy.ts import { differenceBy as differenceByToolkit } from ../../array/differenceBy.ts; function differenceByEager(array: readonly T[]): T[] { return differenceByToolkit(array, secondArray, mapper); }而普通版的核心逻辑src/array/differenceBy.ts是先把secondArr全部映射并放入Set再过滤firstArr中映射键不在Set内的元素export function differenceByT, U( firstArr: readonly T[], secondArr: readonly U[], mapper: (value: T | U) unknown ): T[] { const mappedSecondSet new Set(secondArr.map(item mapper(item))); return firstArr.filter(item { return !mappedSecondSet.has(mapper(item)); }); }值得注意的是mapper只对secondArray的每个元素调用一次映射结果被缓存在Set中后续对主数组每个元素的键查找都是 O(1) 的Set.has操作整体时间复杂度为 O(n m)。fp 版在配置阶段同样预先把secondArray映射成mappedSecondSetsrc/fp/array/differenceBy.tsconst mappedSecondSet new Set(secondArray.map(item mapper(item)));四、源码纵深惰性求值与 pipe 中的融合执行fp 版differenceBy与普通版最本质的区别在于它同时注册了惰性变换lazy transform。源码src/fp/array/differenceBy.ts通过 src/fp/_internal/lazy.ts 提供的两个原语把急切实现与惰性实现绑定在一起function differenceByEager(array: readonly T[]): T[] { return differenceByToolkit(array, secondArray, mapper); } const differenceByLazy createLazyFunctionT, T((value, _index, emit) { if (!mappedSecondSet.has(mapper(value))) { emit(value); } }); return combineEagerAndLazyFunctions(differenceByEager, differenceByLazy);逐行解读differenceByEager直接复用普通版实现在differenceBy被单独调用时走这条路径。differenceByLazy由createLazyFunction构建的推式push变换。每个元素到来时若其映射键不在mappedSecondSet中就调用emit(value)把元素推给下一级否则丢弃。combineEagerAndLazyFunctions把lazy元数据挂到急切函数上pipe就能识别它并参与融合。lazy 原语的推式模型根据 src/fp/_internal/lazy.ts 的注释es-toolkit/fp 的惰性求值不采用生成器而是一个“推式”管道每个函数接收下一阶段的 sink汇点通过emit把值推入。createLazyFunctionsrc/fp/_internal/lazy.ts为每个元素调用一次step(value, index, emit)返回false可提前结束整轮运行供take这类短路函数使用。combineEagerAndLazyFunctionssrc/fp/_internal/lazy.ts则把 eager 实现与 lazy 变换“就地合并”为一个同时带lazy与可选shortCircuit标记的OperatorFunction。pipe 如何融合并短路在pipe的实现src/fp/pipe.ts中连续的惰性函数会被chunkFunctions划分为“最大连续惰性段”当输入可迭代且该段含短路函数或输入非数组时整段通过lazyPipe融合为单趟遍历src/fp/pipe.ts从最后一个函数开始把各 lazy 变换反向组合成一个 sink逐个元素驱动 sink 穿过所有变换中间不生成任何临时数组一旦某函数如take返回false驱动循环立即 break剩余输入不再访问。因此当differenceBy与map、take等惰性函数相邻时每个元素会一次性穿过整条管道且能在take满足后提前终止——这正是 docs/fp/intro.md 所描述的“不用在每步之间构造中间数组、收集到足够结果就停”的性能来源。测试用例验证src/fp/array/differenceBy.spec.ts 覆盖了两个关键场景1. 在 pipe 中正常工作pipe( [{ id: 1 }, { id: 2 }], differenceBy([2], value (typeof value number ? value : value.id)) ); // toEqual([{ id: 1 }])2. 与短路操作符组合时支持惰性求值用 spy 验证访问次数const spy vi.fn((item: { id: number }) item); pipe( [{ id: 1 }, { id: 2 }, { id: 3 }, { id: 4 }], map(spy), differenceBy([1], value (typeof value number ? value : value.id)), take(2) ); // toEqual([{ id: 2 }, { id: 3 }]) expect(spy).toHaveBeenCalledTimes(3); // 只访问了前 3 个元素第 4 个从未被访问这个测试直观证明了惰性融合的效果输入有 4 个元素但map的 spy 只被调用 3 次。原因是管道在take(2)收集到[{ id: 2 }, { id: 3 }]两个结果后立即停止——{ id: 4 }甚至没有进入map。若换成逐函数急切执行map必然被调用 4 次。也就是说differenceBy的惰性注册让整条管道可以“按需前进”而不是先算完全部再截断。五、实践要点与注意事项导入路径fp 版从es-toolkit/fp导入且已在 src/fp/array/index.ts 中作为公开 API 导出export { differenceBy } from ./differenceBy.ts。映射键的等值语义mapper的返回值通过Set进行同值比较SameValueZero 语义因此NaN与NaN会被视为相同键而1与1不相等。mapper的健壮性当secondArray元素与被 pipe 的元素类型不同如数字 vs 对象时务必像官方示例那样在mapper内做typeof分支把两类值统一到同一键空间否则映射键无法命中排除将不生效。单飞 vs 组合若只是对一个数组做一次排除直接用普通版differenceBy更简洁只有需要与pipe串联多个变换、或希望利用惰性融合与短路提前终止时才值得使用 fp 版。六、总结fp 版differenceBy是 es-toolkit/fp 中“同一函数、两种执行路径”设计的典型代表直接调用时复用 src/array/differenceBy.ts 的普通版实现基于Set的 O(n m) 映射比较放入pipe时则通过 src/fp/_internal/lazy.ts 的推式变换参与惰性融合与map、filter、take等相邻操作符合并为单趟遍历并支持短路提前终止。理解它的参数约定secondArraymapper先配置、数组后传入、双类型映射函数写法以及 src/fp/pipe.ts 的融合调度逻辑你就能在数据管道中精准、高效地完成“按映射键排除”这类常见变换。【免费下载链接】es-toolkitA modern JavaScript utility library thats 2-3 times faster and up to 97% smaller, a major upgrade to lodash.项目地址: https://gitcode.com/GitHub_Trending/es/es-toolkit创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考
