本文详解如何在手写 _.reduce 时，通过动态设置循环起始索引统一处理 accumulator 有无两种情况，避免重复代码，提升可读性与健壮性。
本文详解如何在手写 _.reduce 时，通过动态设置循环起始索引统一处理 accumulator 有无两种情况，避免重复代码，提升可读性与健壮性。
在实现类似 Underscore.js 的 reduce 方法时，一个常见痛点是：当用户未传入初始累加值（即 accumulator === undefined）时，需自动取集合首个元素作为初始值，并跳过对该元素的重复处理——否则会导致逻辑错误（如数组 [1,2,3] 被错误计算为 1 + 1 + 2 + 3）。原始方案通过两套几乎相同的 for 循环分支处理，不仅冗余，还违反 DRY 原则。
核心优化思路在于：将循环起始索引 i 变量化，由 accumulator 是否存在决定其初值。这样只需一套循环结构，即可覆盖全部场景：
- 若 accumulator 已定义 → i = 0，从首项开始累积；
- 若 accumulator 未定义 → i = 1，跳过首项（因其已被用作初始值 returnVal）。
以下是重构后的专业实现（兼容数组与普通对象）：
_.reduce = function(collection, iteratee, accumulator, context) {
let returnVal, i, keys;
if (Array.isArray(collection)) {
// 确定初始值：用户提供则用之，否则取 collection[0]
returnVal = accumulator !== undefined ? accumulator : collection[0];
// 动态设置循环起点：有 accumulator 则从 0 开始；否则从 1 开始跳过首项
i = accumulator !== undefined ? 0 : 1;
for (; i <p>✅ <strong>关键改进点说明：</strong> </p>
- 消除重复逻辑：数组与对象分支仅在数据访问方式上不同（collection[i] vs collection[keys[i]]），循环结构完全复用；
- 语义清晰：i = accumulator !== undefined ? 0 : 1 直观表达“是否跳过首项”的意图；
- 变量作用域更安全：使用 let 替代 var，避免变量提升与作用域污染；
- 增强鲁棒性：补充 collection !== null 检查，防止对 null 调用 Object.keys() 报错；
- 严格错误提示：对非法输入类型抛出明确异常，便于调试。
⚠️ 注意事项：
- 此实现严格遵循原生 Array.prototype.reduce 行为：当空数组且无 accumulator 时应抛错（本例中若 collection.length === 0 && accumulator === undefined，访问 collection[0] 会返回 undefined，后续调用 iteratee 可能出错，生产环境建议前置校验）；
- 对象遍历顺序依赖 Object.keys() 的实现（ES2015+ 规范保证属性插入顺序），但不保证 for...in 的枚举顺序；
- context 参数支持 iteratee 内部 this 绑定，符合 Underscore 设计规范。
通过这一重构，代码行数减少约 40%，逻辑主干一目了然，既满足题目禁用高阶函数的要求，又体现了函数式编程中“参数驱动行为”的设计思想。
