zhoulu00 2019-06-21
简单说,"函数式编程"是一种 "编程范式"(programming paradigm),也就是如何编写程序的方法论。
它属于 "结构化编程" 的一种,主要思想是把运算过程尽量写成一系列嵌套的函数调用。举例来说,现在有这样一个数学表达式:
(5+6) - 1 * 3
传统的过程式编程,可能这样写:
var a = 5 + 6; var b = 1 * 3; var c = a - b;
函数式编程要求使用函数,我们可以把运算定义成不同的函数:
const add = (a, b) => a + b; const mul = (a, b) => a * b; const sub = (a,b) => a - b; sub(add(5,6), mul(1,3));
我们把每个运算包成一个个不同的函数,并且根据这些函数组合出我们要的结果,这就是最简单的函数式编程。
函数为一等公民 (First Class)
所谓 "一等公民"(first class),指的是函数与其他数据类型一样,处于平等地位,可以赋值给其他变量,也可以作为参数,传入另一个函数,或者作为其它函数的返回值。
函数赋值给变量:
const greet = function(msg) { console.log(`Hello ${msg}`); } greet('Semlinker'); // Output: 'Hello Semlinker'
函数作为参数:
const logger = function(msg) { console.log(`Hello ${msg}`); }; const greet = function(msg, print) { print(msg); }; greet('Semlinker', logger);
函数作为返回值:
const a = function(a) { return function(b) { return a + b; }; }; const add5 = a(5); add5(10); // Output: 15
只用表达式,不用语句
"表达式"(expression)是一个单纯的运算过程,总是有返回值;"语句"(statement)是执行某种操作,没有返回值。函数式编程要求,只使用表达式,不使用语句。也就是说,每一步都是单纯的运算,而且都有返回值。
原因是函数式编程的开发动机,一开始就是为了处理运算(computation),不考虑系统的读写(I/O)。"语句"属于对系统的读写操作,所以就被排斥在外。
Pure Function
Pure Function (纯函数) 的特点:
给定相同的输入参数,总是返回相同的结果
没有产生任何副作用
没有依赖外部变量的值
所谓 "副作用")(side effect),是指函数内做了与本身运算无关的事,比如修改某个全局变量的值,或发送 HTTP 请求,甚至函数体内执行 console.log
都算是副作用。函数式编程强调函数不能有副作用,也就是函数要保持纯粹,只执行相关运算并返回值,没有其他额外的行为。
前端中常见的产生副作用的场景:
发送 HTTP 请求
函数内调用 logger 函数,如 console.log、console.dir 等
修改外部变量的值
函数内执行 DOM 操作
接下来我们看一下纯函数与非纯函数的具体示例:
纯函数示例:
const double = (number) => number * 2; double(5);
非纯函数示例:
Math.random(); // => 0.3384159509502669 Math.random(); // => 0.9498302571942787 Math.random(); // => 0.9860841663478281
不修改状态 - 利用参数保存状态
函数式编程只是返回新的值,不修改系统变量。因此,不修改变量,也是它的一个重要特点。
在其他类型的语言中,变量往往用来保存"状态"(state)。不修改变量,意味着状态不能保存在变量中。函数式编程使用参数保存状态,最好的例子就是递归,具体示例如下:
function findIndex(arr, predicate, start = 0) { if (0 <= start && start < arr.length) { if (predicate(arr[start])) { return start; } return findIndex(arr, predicate, start+1); } } findIndex(['a', 'b'], x => x === 'b'); // 查找数组中'b'的索引值
示例中的 findIndex 函数用于查找数组中某个元素的索引值,我们通过 start 参数来保存当前的索引值,这就是利用参数保存状态。
引用透明
引用透明(Referential transparency),指的是函数的运行不依赖于外部变量或 "状态",只依赖于输入的参数,任何时候只要参数相同,引用函数所得到的返回值总是相同的。
非引用透明的示例:
const FIVE = 5; const addFive = (num) => num + FIVE; addFive(10);
1.代码简洁,开发快速
函数式编程大量使用函数,减少了代码的重复,因此程序比较短,开发速度较快。
2.接近自然语言,易于理解,可读性高
函数式编程的自由度很高,可以写出很接近自然语言的代码。我们可以通过一系列的函数,封装数据的处理过程,代码会变得非常简洁且可读性高,具体参考以下示例:
[1,2,3,4,5].map(x => x * 2).filter(x => x > 5).reduce((p,n) => p + n);
3.可维护性高、方便代码管理
函数式编程不依赖、也不会改变外界的状态,只要给定输入参数,返回的结果必定相同。因此,每一个函数都可以被看做独立单元,很有利于进行单元测试(unit testing)和除错(debugging),以及模块化组合。
4.易于"并发编程"
函数式编程不需要考虑"死锁"(deadlock),因为它不修改变量,所以根本不存在"锁"线程的问题。不必担心一个线程的数据,被另一个线程修改,所以可以很放心地把工作分摊到多个线程,部署"并发编程"(concurrency)。
forEach
在 ES 5 版本之前,我们只能通过 for 循环遍历数组:
var heroes = ['Windstorm', 'Bombasto', 'Magneta', 'Tornado']; for (var i =0, len = heroes.length; i < len; i++) { console.log(heroes[i]); }
在 ES 5 版本之后,我们可以使用 forEach 方法,实现上面的功能:
forEach 方法签名:
array.forEach(callback[, thisArg])
参数说明:
callback - 对数组中每一项,进行处理的函数
currentValue - 数组中正在处理的当前元素
index - 数组中正在处理的当前元素的索引
array - 处理的数组
thisArg (可选的) - 设置执行 callback 函数时,this 的值
以上示例 forEach 方法实现:
var heroes = ['Windstorm', 'Bombasto', 'Magneta', 'Tornado']; heroes.forEach(name => console.log(name));
map
在 ES 5 版本之前,对于上面的示例,如果我们想给每个英雄的名字添加一个前缀,但不改变原来的数组,我们可以这样实现:
var heroes = ['Windstorm', 'Bombasto', 'Magneta', 'Tornado']; var prefixedHeroes = []; for (var i =0, len = heroes.length; i < len; i++) { prefixedHeroes.push('Super_' + heroes[i]); }
在 ES 5 版本之后,我们可以使用 map 方法,方便地实现上面的功能。
map 方法签名:
const new_array = arr.map(callback[, thisArg])
参数说明:
callback - 对数组中每一项,进行映射处理的函数
currentValue - 数组中正在处理的当前元素
index - 数组中正在处理的当前元素的索引
array - 处理的数组
thisArg (可选的) - 设置执行 callback 函数时,this 的值
以上示例 map 方法实现:
var heroes = ['Windstorm', 'Bombasto', 'Magneta', 'Tornado']; var prefixedHeroes = heroes.map(name => 'Super_' + name);
filter
在 ES 5 版本之前,对于 heroes 数组,我们想获取名字中包含 m
字母的英雄,我们可以这样实现:
var heroes = ['Windstorm', 'Bombasto', 'Magneta', 'Tornado']; var filterHeroes = []; for (var i =0, len = heroes.length; i < len; i++) { if(/m/i.test(heroes[i])) { filterHeroes.push(heroes[i]); } }
在 ES 5 版本之后,我们可以使用 filter 方法,方便地实现上面的功能。
filter 方法签名:
var new_array = arr.filter(callback[, thisArg])
参数说明:
callback - 用来测试数组的每个元素的函数。调用时使用参数 (element, index, array)。返回true表示保留该元素(通过测试),false则不保留。
thisArg (可选的) - 设置执行 callback 函数时,this 的值
以上示例 filter 方法实现:
var heroes = ['Windstorm', 'Bombasto', 'Magneta', 'Tornado']; var filterRe = /m/i; var filterHeroes = heroes.filter(name => filterRe.test(name));