reducer(归纳函数)
reducer(归纳函数)这种函数的名称,是由数组的一个迭代方法reduce(归纳)而来,你可以参考MDN中的相关说明:
在JS语言中的数组reduce(归纳)这个方法是一种应用于特殊情况的迭代方法,它可以藉由一个回调(callback)函数,来作前后值两相运算,然后不断缩减数组中的成员数量,最终返回一个值。reduce(归纳)并不会更动作为传入的数组(调用reduce的数组),所以它也没有副作用。一个简单的例子如下:
const aArray = [0, 1, 2, 3, 4, 5]
const sum = aArray.reduce(function(pValue, value, index, array){
return pValue + value
})
console.log(sum) // 15
数组的reduce(归纳)方法,还有另一种语法样式,是带有初始值的,这会比较接近Redux中的reducer样式,如下面的例子:
const initialState = 0
const sum = [1, 2, 3, 4, 5].reduce(add, initialState)
function add(a, b) {
// `a` 代表前一个状态
// `b` 代表目前在数组中的项目
return a + b
}
console.log(sum) // 15
reduce(归纳)方法具有分散运算的特点,常见于下面几种应用之中:
两相比较最后取出特定的值(最大或最小值)
计算所有成员(值),总合或相乘
其它需要两两处理的情况(组合巢状数组等等)
不过,Redux中的reducer与数组中的reduce方法并不相同,其中最大的差异,是reducer并不是对一整个列表进行归纳运算,而是对一个action(动作)与目前的state进行归纳运算,回传出新的state。
副作用与纯函数
当一个函数是纯函数时,我们可以说
输出
只取决于输入
对于函数来说,具有副作用代表着可能会更动到外部环境,或是更动到传入的参数值。函数的区分是以 纯(pure)函数 与 不纯(impure)函数 两者来区分,但这不光只有无副作用的差异,还有其他的条件。纯函数(pure function)即满足以下三个条件的函数,以下的定义是来自于Redux的概念:
给定相同的输入(传入值),一定会返回相同输出值结果(返回值)
不会产生副作用
不依赖任何外部的状态
一个典型的纯函数的例子如下:
const sum = function(value1, value2) {
return value1 + value2
}
套用上面说的条件定义,你可以用下面观察来理解它是不是一个纯函数:
只要每次给定相同的输入值,就一定会得到相同的输出值: 例如传入1与2,就一定会得到3
不会改变原始输入参数,或是外部的环境,所以没有副作用
不依頼其他外部的状态,变量或常量
那什么又是一个不纯的函数?看以下的例子就是,它需要依赖外部的状态/变量值:
let count = 1
let increaseAge = function(value) {
return count += value
}
在JavaScript中不纯函数很常见,像我们一直用来作为输出的console.log
函数,或是你可能会在很多例子看到的alert
函数,都是”不”纯函数,这类函数通常没有返回值,都是用来作某件事,像console.log
会更动浏览器的主控台(外部环境)的输出,也算是一种副作用。
每次输出值都不同的不纯函数一类,最典型的就是Math.random
,这是产生随机值的内建函数,既然是随机值当然每次运行的返回值都不一样。
例如在数组的内建方法中,有一些是有副作用,而有一些是无副作用的,这个部份需要查对应API才能够清楚。不会改变传入的数组的,会在作完某件事后返回一个新数组的方法,就是无副作用的纯函数(方法),而会改变原数组就算是不纯函数(方法)了。
下面是两个在数组中作同样事情的不同方法,都是要取出只包含数组的前三个成员的数组。一个用splice
,另一用是slice
,看起来都很像,连这两个方法的名称都很像,但却是完全属于不同的种类:
// 不纯粹(impure),splice会改变到原数组
const firstThree = function(arr) {
return arr.splice(0,3)
}
// 纯粹(pure),slice会返回新数组
const firstThree = function(arr) {
return arr.slice(0,3)
}
其他有许多内建的或常用的函数都是免不了有副作用的,例如这些应用:
会改变传参(对象、数组)的函数(方法)
时间性质的函数,setTimeout等等
I/O相关
数据库相关
AJAX
纯函数当然有它的特别的优点:
代码阅读性提高
较为封闭与固定,可重覆使用性高
输出输入单纯,易于测试、调试
因为输入->输出结果固定,可以缓存或作记忆处理,在高花费的应用中可作提高运行效率的机制
最后,并不是说有副作用的函数就不要使用,而且要很清楚的理解这个概念,然后尽可能在你自己的撰写的一般功能函数上使用纯函数,以及让必要有副作用的函数得到良好的管控。现在已经有一些新式的函数库或框架(例如Redux),会特别强制要求在某些地方只能使用纯函数,而具有副作用的不纯函数只能在特定的情况下才能使用。
注: 虽然在副作用与纯函数的介绍中,我们有提到一些调用外部API(console.log/alert)、时间(Date())、随机(Math.random)也属于有副作用的调用,但以等级来区分它们只算是”轻度”或”微量”的副作用,这些在reducer或Action Creators能不能用?答案是可以用但也不要用,它会影响到纯函数的一些优化。以在副作用的主题来说,异步运行才是”中度”或”一般”等级的副作用,我们谈到副作用通常是指这个等级的。当然也有”重度”等级的副作用,那是另一个层次的特殊应用情况讨论,例如组合出来的复杂异步运行流程结构。