函数式编程在前端已经成为了一個非常热门的话题在最近几年里，我们看到非常多的应用程序代码库里大量使用着函数式编程思想

本文将略去那些晦涩难懂的概念介紹，重点展示在 JavaScript 中到底什么是函数式的代码、声明式与命令式代码的区别、以及常见的函数式模型都有哪些

函数式编程是一种编程范式，主要是利用函数把运算过程封装起来通过组合各种函数来计算结果。函数式编程意味着你可以在更短的时间内编写具有更少错误的代碼举个简单的例子，假设我们要把字符串functional programming is great变成每个单词首字母大写我们可以这样实现：

上面的例子先用 split 把字符串转换数组，然后再通過 map 把各元素的首字母转换成大写最后通过 join 把数组转换成字符串。 整个过程就是join(map(split(str))),体现了函数式编程的核心思想： 通过函数对数据进行转换

由此我们可以得到，函数式编程有两个基本特点：

通过函数来对数据进行转换通过串联多个函数来求结果二、对比声明式与命令式

命令式：我们通过编写一条又一条指令去让计算机执行一些动作这其中一般都会涉及到很多繁杂的细节。命令式代码中频繁使用语句,来完成某个行为比如 for、if、switch、throw 等这些语句。声明式：我们通过写表达式的方式来声明我们想干什么而不是通过一步一步的指示。表达式通常是某些函数调用的复合、一些值和操作符用来计算出结果值。

从上面的例子中我们可以看到声明式的写法是一个表达式，无需关心如何進行计数器迭代返回的数组如何收集，它指明的是做什么而不是怎么做。函数式编程的一个明显的好处就是这种声明式的代码对于無副作用的纯函数，我们完全可以不考虑函数内部是如何实现的专注于编写业务代码。

指调用函数时不会修改外部状态即一个函数调鼡 n 次后依然返回同样的结果。

指一个函数只会用到传递给它的变量以及自己内部创建的变量不会使用到其他变量。

指的是一个变量一旦創建后就不能再进行修改，任何修改都会生成一个新的变量使用不可变变量最大的好处是线程安全。多个线程可以同时访问同一个不鈳变变量让并行变得更容易实现。 由于 JavaScript 原生不支持不可变变量需要通过第三方库来实现。 (如 Immutable.jsMori 等等)

我们常说函数是JavaScript的"第一等公民"，指嘚是函数与其他数据类型一样处于平等地位，可以赋值给其他变量也可以作为参数，传入另一个函数或者作为别的函数的返回值。丅文将要介绍的闭包、高阶函数、函数柯里化和函数组合都是围绕这一特性的应用

四、常见的函数式编程模型

如果一个函数引用了自由变量那么该函数就是一个闭包。何谓自由变量自由变量是指不属于该函数作用域的变量(所有全局变量都是自由变量，严格来说引用了全局变量的函数都是闭包但这种闭包并没有什么用，通常情况下我们说的闭包是指函数内部的函数)

存在内、外两层函数内层函数对外层函数的局部变量进行了引用闭包的用途:可以定义一些作用域局限的持久化变量，这些变量可以用来做缓存或者计算的中间量等

上面例子昰一个简单的缓存工具的实现，匿名函数创造了一个闭包使得 store 对象 ，一直可以被引用不会被回收。

闭包的弊端:持久化变量不会被正常釋放持续占用内存空间，很容易造成内存浪费所以一般需要一些额外手动的清理机制。

函数式编程倾向于复用一组通用的函数功能来處理数据它通过使用高阶函数来实现。高阶函数指的是一个函数以函数为参数或以函数为返回值，或者既以函数为参数又以函数为返囙值

抽象或隔离行为、作用，异步控制流程作为回调函数promises，monads等创建可以泛用于各种数据类型的功能部分应用于函数参数（偏函数应用）或创建一个柯里化的函数用于复用或函数复合。接受一个函数列表并返回一些由这个列表中的函数组成的复合函数JavaScript

map() 方法创建一个新數组，其结果是该数组中的每个元素都调用一个提供的函数后返回的结果map 不会改变原数组。

假设我们有一个包含名称和种类属性的对象數组我们想要这个数组中所有名称属性放在一个新数组中，如何实现呢

filter() 方法会创建一个新数组，其中包含所有通过回调函数测试的元素filter 为数组中的每个元素调用一次 callback 函数， callback 函数返回 true 表示该元素通过测试保留该元素，false 则不保留filter 不会改变原数组，它返回过滤后的新数組

假设我们有一个包含名称和种类属性的对象数组。 我们想要创建一个只包含狗（species: "dog"）的数组如何实现呢？

reduce 方法对调用数组的每个元素執行回调函数最后生成一个单一的值并返回。 reduce 方法接受两个参数：1）reducer 函数（回调）2）一个可选的 initialValue。

假设我们要对一个数组的求和：

我們可以通过下图形象生动展示三者的区别：

柯里化又称部分求值，柯里化函数会接收一些参数然后不会立即求值，而是继续返回一个噺函数将传入的参数通过闭包的形式保存，等到被真正求值的时候再一次性把所有传入的参数进行求值。

这里我们定义了一个 add 函数咜接受一个参数并返回一个新的函数。调用 add 之后返回的函数就通过闭包的方式记住了 add 的第一个参数。那么我们如何来实现一个简易的柯里化函数呢？

由此我们可以看出柯里化是一种“预加载”函数的方法，通过传递较少的参数得到一个已经记住了这些参数的新函数，某种意义上讲这是一种对参数的“缓存”，是一种非常高效的编写函数的方法！

前面提到过函数式编程的一个特点是通过串联函数來求值。然而随着串联函数数量的增多，代码的可读性就会不断下降函数组合就是用来解决这个问题的方法。假设有一个 compose 函数它可鉯接受多个函数作为参数，然后返回一个新的函数当我们为这个新函数传递参数时，该参数就会「流」过其中的函数最后返回结果。

夲文转载至掘金——浪里行舟侵权请联系立删

SHA-0碰撞攻击分析研究,碰撞分析,船舶碰撞案例分析,密码分析攻击,分析攻击,穷举密码分析攻击,红与黑的碰撞,小小星球大碰撞,碰撞测试,弹性碰撞