`reduce()` 初始值未提供时，空数组调用为何报错？

Question

**问题：** `reduce()` 在未提供初始值时，若传入空数组，为何会抛出 `TypeError: Reduce of empty array with no initial value` 错误？ **原因简析：** `reduce()` 无初始值时，会将数组第一个元素作为累加器（accumulator）初值，并从第二个元素开始遍历。但空数组既无“第一个元素”，也无“第二个元素”，导致逻辑无法启动——引擎无法确定累加器的起始状态和回调函数的首次调用参数，故主动抛错以避免隐式错误。这是 JavaScript 规范（ECMAScript §22.1.3.19）的明确要求，属**防御性设计**，而非 Bug。 **典型误例：** ```js [].reduce((a, b) => a + b); // TypeError! ``` **解法：** ✅ 显式传入初始值（如 `0`, `[]`, `{}` 等）； ✅ 或先校验数组长度（`arr.length > 0 ? arr.reduce(...) : defaultValue`）。 本质是提醒开发者：**空集合的归约结果必须由业务语义定义，不可交由引擎猜测。**

Answer 1

一、现象层：错误复现与表层行为观察

执行以下代码将立即触发运行时异常：

[].reduce((a, b) => a + b); 
// TypeError: Reduce of empty array with no initial value

该错误在所有符合 ECMAScript 2015+ 规范的引擎中（V8、SpiderMonkey、JavaScriptCore）均一致出现，非浏览器差异或 polyfill 缺陷所致。值得注意的是，reduceRight() 行为完全对称，空数组无初值时同样抛错。

二、机制层：reduce 的双模式执行模型

reduce() 在规范中定义为两种调用路径：

调用方式	累加器初始值来源	回调首次调用索引	空数组行为
arr.reduce(cb)	数组第 0 个元素（arr[0]）	从索引 1 开始	❌ 无法获取 arr[0] → 抛 TypeError
arr.reduce(cb, init)	显式传入的 init	从索引 0 开始	✅ 正常执行（0 次迭代，直接返回 init）

这种设计使 reduce() 在有初值时具备“零元操作”（zero-iteration）能力，而无初值时则强制要求至少一个参与元素——这是函数式编程中 foldl1（fold left without identity）语义的严格体现。

三、规范层：ECMAScript 标准的明确约束

根据 ECMAScript® 2023 Language Specification §22.1.3.19，算法步骤第 4.b 明确规定：

If len is 0 and initialValue was not passed, throw a TypeError exception.

其中 len 是数组的 length 属性值。该条款并非“容错兜底”，而是**语义完整性校验**——它确保归约操作在数学上可定义（即满足结合律与封闭性前提下的起点确定性）。若允许空数组静默返回 undefined，将导致类型不安全链式调用（如 [].reduce(...).toString() 在生产环境崩溃）。

四、设计哲学层：防御性编程与领域语义主权

该错误本质是 JavaScript 运行时对开发者发出的语义契约提醒：

• 求和归约（+）的空集合结果应是 0（加法单位元）
• 连接归约（concat）的空集合结果应是 []（数组单位元）
• 对象合并归约（Object.assign）的空集合结果应是 {}（空对象）
• 但「最大值」归约（Math.max）的空集合结果——业务上可能应是 -Infinity、null 或抛自定义错误，引擎无权代为决策

下图展示了不同归约场景下初始值选择的决策流：

flowchart TD A[调用 reduce cb] --> B{提供 initialValue?} B -->|Yes| C[以 initialValue 为 acc 起点
遍历全部元素] B -->|No| D{arr.length === 0?} D -->|Yes| E[Throw TypeError
强制业务定义] D -->|No| F[以 arr[0] 为 acc
从 arr[1] 开始迭代]

五、工程实践层：高鲁棒性解决方案矩阵

面向五年以上经验的工程师，需超越“加个 0”的直觉解法，构建可维护方案：

1. 类型化初始值断言：reduce<number>((a, b) => a + b, 0 as const)（TypeScript）
2. 组合式空值处理：pipe(arr, when(nonEmpty, reduce(cb)), otherwise(defaultValue))（fp-ts 风格）
3. 领域专用 Hook（React）：useReducedValue(arr, sumReducer, { empty: 0 })
4. 静态分析增强：ESLint 插件 eslint-plugin-functional 可检测未覆盖空数组分支

终极原则：**空集合的归约结果必须由业务语义定义，不可交由引擎猜测。**