使用递归与reduce实现嵌套数组求和：简化代码遇阻求助

问题回顾 #

你尝试用递归+reduce实现嵌套数组求和，测试数组为[[[1, 2, [[3], 4]], 5, []]]。最初的版本能正常运行：

const sumItems = function(array) { 
  return array.reduce(function(acc, x) { 
    return acc + (Array.isArray(x) ? sumItems(x) : x); 
  }, 0); 
};

但简化后的版本完全失效，返回结果是[ [ 1, 2, [ [Array], 4 ] ], 5, [] ]而非预期的求和数值：

const sumItems = function(array) { 
  const reducer = (acc, x) => (acc || 0) + (Array.isArray(x) ? sumItems(x) : x); 
  return array.reduce(reducer); 
};

下面来拆解你踩的两个JavaScript用法误区，以及对应的修复方案：

误区1：reduce未传入初始值的行为偏差 #

当你调用array.reduce(reducer)而不提供第二个参数（初始累加值）时，reduce的逻辑会和你预期的完全不一样：

• 如果数组不为空，第一个元素会直接作为初始的acc值，然后从第二个元素开始执行reducer
• 如果数组为空，直接调用reduce会抛出TypeError

在你的测试数组里，最外层数组的第一个元素是[[1,2,[[3],4]],5,[]]（一个嵌套数组），所以第一次执行reducer时，acc就是这个数组，而不是你以为的0。后续的acc + x操作就变成了数组和数值的拼接，最终返回的自然是数组而非求和结果。

误区2：acc || 0的真值判断错误 #

你想用acc || 0来兜底初始值，但这里存在逻辑漏洞：数组在JavaScript中是真值（哪怕是空数组[]也是真值），所以当acc是数组时，acc || 0会直接返回acc本身，根本不会转换成0。这个写法完全起不到你想要的“当acc不存在时用0代替”的作用。

修复方案 #

方案1：恢复reduce的初始值0（最直接有效） #

回到reduce的标准用法，显式传入初始值0，同时保留箭头函数的简化写法：

const sumItems = function(array) { 
  const reducer = (acc, x) => acc + (Array.isArray(x) ? sumItems(x) : x); 
  return array.reduce(reducer, 0); 
};

方案2：兼容空数组的额外处理（可选） #

如果需要确保递归到空数组时不报错（你的测试数组里包含[]，上面的方案已经能处理，因为[].reduce(reducer, 0)会直接返回0），如果要更严谨可以在函数开头加个判断：

const sumItems = function(array) {
  if (!array.length) return 0;
  const reducer = (acc, x) => acc + (Array.isArray(x) ? sumItems(x) : x);
  return array.reduce(reducer, 0);
};

测试验证 #

调用sumItems([[[1, 2, [[3], 4]], 5, []]])会得到正确结果15（1+2+3+4+5）。

内容的提问来源于stack exchange，提问作者Sebastien Dufresne