一直以来都在函数式编程的大门之外徘徊，要入门的话首先得熟悉各种高阶函数，数组的reduce方法就是其中之一。
reduce方法将会对数组元素从左到右依次执行reducer函数，然后返回一个累计的值。举个形象的例子：你要组装一台电脑，买了主板、CPU、显卡、内存、硬盘、电源...这些零件是组装电脑的必要条件。
装的过程可以简单概括为拆掉每个零件的包装，再装到一起。类比一下reduce函数就可以明白了，那些零件就相当于要执行reduce方法的数组，对每个零件执行拆除包装的加工程序，就是对数组的每个元素执行reducer函数，把这些零件装到一起，就相当于reduce方法的任务，最终组装好的电脑相当于reduce方法的返回值。
reduce方法接收两个参数，第一个参数是回调函数reducer，第二个参数是初始值。reducer函数接收四个参数：
Accumulator：MDN上解释为累计器，但我觉得不恰当，按我的理解它应该是截至当前元素，之前所有的数组元素被reducer函数处理累计的结果
Current：当前被执行的数组元素
CurrentIndex: 当前被执行的数组元素索引
SourceArray：原数组，也就是调用reduce方法的数组
如果传入第二个参数，reduce方法会在这个参数的基础上开始累计执行。
概念讲了那么多，那reduce它的执行机制是怎样的呢？别着急，从用法入手一点一点分析。
来个最好理解的例子：数组求和
const arr = [1, 2, 3, 4] const accumulator = (total, current, currentIndex, arr) => { console.log(total, current, currentIndex, arr); return total + current } console.log(arr.reduce(accumulator))
执行结果如下：
很明确，最终的结果就是把所有数组的元素都加起来。值得注意的是，它将数组的第一个元素作为累加的初始值，然后再依次对后边的元素执行reducer函数。
总共执行了三次，得出最终结果。那如果传入初始值，是怎样的执行顺序？
console.log(arr.reduce(accumulator, 3))
结果如下：
这次是以传入的初始值作为累加的起点，然后依次对数组的元素执行reducer。
假设对没有初始值的空数组调用reduce方法，则会报错：
Uncaught TypeError: Reduce of empty array with no initial value
一些用法讲了一些概念，但使用场景更重要，下面来看一下reduce方法都会有哪些用途。
compose函数compose是函数式编程的一种形式，用于将多个函数合并，上一个函数的返回值作为当前函数的入参，当前函数的返回值再作为下一个函数的入参，这样的效果有点类似于koa中间件的洋葱模型。
[a, b, c, d] => a(b(c(d())))
实际上和累加差不多，只不过把累加操作变成了入参执行，相加的结果变成了执行的返回值。redux的applyMiddleware内就使用了compose，目的是保证最终的dispatch是被所有中间件处理后的结果。
下面来以applyMiddleware中的compose为例，先看用法：
const result = compose(a, b, c)(params)
执行情况是这样：
(params) => a(b(c(params)))
返回的是一个函数，将params作为该函数的入参，被右侧第一个函数执行，执行顺序是从右到左执行，其余的函数的参数都是上一个函数的返回值。
看一下实现：
function compose(...funcs) { // funcs是compose要组合的那些函数，arg是componse返回的函数的参数 if (funcs.length === 0) { // 如果没有传入函数，那么直接返回一个函数，函数的返回值就是传进来的参数 return arg => arg } if (funcs.length === 1) { // 如果只传入了一个函数，直接返回这个函数 return funcs[0] } return funcs.reduce((all, current) => { return (...args) => { return all(current(...args)) } }) }
扁平化数组const array = [[0, 1], [2, 3], [4, 5]] const flatten = arr => { return arr.reduce((a, b) => { return a.concat(b) }, []) } console.log(flatten(array)); // [0, 1, 2, 3, 4, 5]
来看一下执行过程，
第一次执行，初始值传入[]，走到reduce的回调里，参数a就这个[]，参数b是数组第一项[0, 1]，回调内[].cancat([0, 1])
第二次执行，reduce的回调参数a是上一次回调执行的结果[0, 1]，本次继续用它来concat数组的第二项[2, 3]，得到结果[0, 1, 2, 3]作为下一次回调执行的参数a继续执行下去
...以此类推
那么假设数组是这样呢？[[0, [111, 222], 1], [2, [333, [444, 555]], 3], [4, 5]]，其实加个递归调用就可以