JS函数式编程

cocoCola91667
246 阅读8分钟

理解JavaScript纯函数

函数式编程中有一个非常重要的概念叫纯函数，JavaScript符合函数式编程的范式，所以也有纯函数的概念；

在react开发中纯函数是被多次提及的；比如react中组件就被要求像是一个纯函数（为什么是像，因为还有class组件），redux中有一个reducer的概念，也是要求必须是一个纯函数；所以掌握纯函数对于理解很多框架的设计是非常有帮助的；

纯函数的维基百科定义：在程序设计中，若一个函数符合以下条件，那么这个函数被称为纯函数：

  • 此函数在相同的输入值时，需产生相同的输出。
  • 函数的输出和输入值以外的其他隐藏信息或状态无关，也和由I/O设备产生的外部输出无关。
  • 该函数不能有语义上可观察的函数副作用，诸如“触发事件”，使输出设备输出，或更改输出值以外物件的内容等。

当然上面的定义会过于的晦涩，所以我简单总结一下：

纯函数有两个条件：

  1. 相同的输入，一定会产生相同的输出
  2. 纯函数在执行过程中，不能产生副作用

副作用就是比如修改了全局变量，修改参数等等。

副作用的理解

那么这里又有一个概念，叫做副作用，什么又是副作用呢？

副作用（side effect）其实本身是医学的一个概念，比如我们经常说吃什么药本来是为了治病，可能会产生一些其他的副作用；

在计算机科学中，也引用了副作用的概念，表示在执行一个函数时，除了返回函数值之外，还对调用函数产生了附加的影响，比如修改了全局变量，修改参数或者改变外部的存储；

纯函数在执行的过程中就是不能产生这样的副作用：因为副作用往往是产生bug的 “温床”。

纯函数的案例

我们来看一个对数组操作的两个函数：

splice：splice截取数组, 会返回一个新的数组, 也会对原数组进行修改；
slice：slice截取数组时不会对原数组进行任何操作，而是生成一个新的数组；

splice不是一个纯函数，因为会对原数组进行修改。 slice就是一个纯函数，不会修改传入的参数，所以是个纯函数。

我们来自己编写几个案例，来看一下它们是否是纯函数

答案：

  1. 是
  2. 不是，因为引用了全局变量，相同的add(5)，返回的结果不一样
  3. 不是，因为修改了参数

纯函数的优势

为什么纯函数在函数式编程中非常重要呢？因为你可以安心的编写和安心的使用；

你在写的时候保证了函数的纯度，只是单纯实现自己的业务逻辑即可，不需要关心传入的内容是如何获得的或者依赖其他的外部变量是否已经发生了修改；你在用的时候，你确定你的输入内容不会被任意篡改，并且自己确定的输入，一定会有确定的输出；

React中就要求我们无论是函数还是class声明一个组件，这个组件都必须像纯函数一样，保护它们的props不被修改：

JavaScript柯里化

柯里化也是属于函数式编程里面一个非常重要的概念。我们先来看一下维基百科的解释：

在计算机科学中，柯里化（英语：Currying），又译为卡瑞化或加里化；是把接收多个参数的函数，变成接受一个单一参数（最初函数的第一个参数）的函数，并且返回接受余下的参数，而且返回结果的新函数的技术；柯里化声称 “如果你固定某些参数，你将得到接受余下参数的一个函数”；

维基百科的结束非常的抽象，我们这里做一个总结：

函数的柯里化就是把接收多个参数的函数，转成几个函数，一个函数只接收一个参数，然后返回这个函数去处理剩余的参数的技术。

柯里化的结构

那么柯里化到底是怎么样的表现呢？

// 未柯里化的代码
function add(x, y, z) {
  return x + y + z
}
var result = add(10, 20, 30)
console.log(result)

// 柯里化的代码
function sum1(x) {
  return function(y) {
    return function(z) {
      return x + y + z
    }
  }
}
var result1 = sum1(10)(20)(30)
console.log(result1)

// 简化柯里化的代码
var sum2 = x => y => z => {
  return x + y + z
}
console.log(sum2(10)(20)(30))

// 再简化箭头函数
var sum3 = x => y => z => x + y + z
console.log(sum3(10)(20)(30))

柯里化好处一：让函数的职责单一

那么为什么需要有柯里化呢？

在函数式编程中，我们其实往往希望一个函数处理的问题尽可能的单一，而不是将一大堆的处理过程交给一个函数来处理；那么我们是否就可以将每次传入的参数在单一的函数中进行处理，处理完后在下一个函数中再使用处理后的结果；

比如上面的案例我们进行一个修改，传入的函数需要分别被进行如下处理：

  • 第一个参数 + 2
  • 第二个参数 * 2
  • 第三个参数 ** 2

柯里化好处二：可以让函数更好的复用

另外一个使用柯里化的场景是可以帮助我们可以复用参数逻辑：

makeAdder函数要求我们传入一个num（并且如果我们需要的话，可以在这里对num进行一些修改），在之后使用返回的函数时，我们不需要再继续传入num了；

打印日志的柯里化

这里我们再演示一个案例，需求是打印一些日志：日志包括时间、类型、信息；

普通函数的实现方案如下：

// 未柯里化的函数
function log(date, type, message) {
  console.log(`[${date.getHours()}:${date.getMinutes()}][${type}]: [${message}]`)
}
// log(new Date(), "DEBUG", "查找到轮播图的bug")
// log(new Date(), "DEBUG", "查询菜单的bug")
// log(new Date(), "DEBUG", "查询数据的bug")

柯里化函数的实现方案如下：

// 柯里化的函数
var log = date => type => message => {
  console.log(`[${date.getHours()}:${date.getMinutes()}][${type}]: [${message}]`)
}

// 有了柯力化的函数之后, 我们就能定制一些函数, 不用传日期和类型了

// 如果我现在打印的都是当前时间
var nowLog = log(new Date())
nowLog("DEBUG")("查找到轮播图的bug")
nowLog("FETURE")("新增了添加用户的功能")

var nowAndDebugLog = log(new Date())("DEBUG")
nowAndDebugLog("查找到轮播图的bug")
nowAndDebugLog("查找到轮播图的bug")
nowAndDebugLog("查找到轮播图的bug")
nowAndDebugLog("查找到轮播图的bug")

var nowAndFetureLog = log(new Date())("FETURE")
nowAndFetureLog("添加新功能~")

自动柯里化函数

编写一个函数，将普通函数转成柯里化函数：

// 未柯里化的函数
function add1(x, y, z) {
  return x + y + z
}

// 柯里化函数的实现hyCurrying
// 传入一个原函数,通过原函数的fn.length即可获取原函数的参数
function hyCurrying(fn) {
  function curried(...args) {
    // 1.当已经传入的参数个数大于等于原来书的参数的个数的时候,直接调用
    if (args.length >= fn.length) {
      // 有可能返回的curried函数被调用的时候绑定了新值,所以我们调用的时候使用curried函数对应的this
      return fn.apply(this, args)
    } else {
      // 2.没有达到个数时, 需要返回一个新的函数, 继续来接收的参数
      function curried2(...args2) {
        // 接收到参数后, 需要递归调用curried来检查函数的个数是否达到
        return curried.apply(this, args.concat(args2))
      }
      return curried2
    }
  }
  return curried
}

// 将传入的函数自动柯里化
var curryAdd = hyCurrying(add1)

console.log(curryAdd(10, 20, 30)) // 60
console.log(curryAdd(10, 20)(30)) // 60
console.log(curryAdd(10)(20)(30)) // 60

// function foo(x, y, z, m, n, a, b) {

// }
// console.log(foo.length)


function foo(x, y, z) {
  return x + y + z
}

foo.call({}, 1, 2, 3)

var curryFoo = hyCurrying(foo)
curryFoo.call({}, 1)

理解组合函数

组合（Compose）函数是在JavaScript开发过程中一种对函数的使用技巧、模式。比如我们现在需要对某一个数据进行函数的调用，执行两个函数fn1和fn2，这两个函数是依次执行的，前面函数接受参数，调用后返回值会作为后面函数的参数。那么如果每次我们都需要进行两个函数的调用，操作上就会显得重复，我们可以将这两个函数组合起来，自动依次调用，这个过程就是对函数的组合，最后返回的新函数称之为组合函数（Compose Function）。

function double(num) {
  return num * 2
}

function square(num) {
  return num ** 2
}

var count = 10
var result = square(double(count)) //没有组合函数的时候我们需要依次调用
console.log(result)

// 实现最简单的组合函数
function composeFn(m, n) {
  return function(count) {
    return n(m(count))
  }
}

var newFn = composeFn(double, square)
console.log(newFn(10)) //使用组合函数直接调用即可

实现组合函数

刚才我们实现的compose函数比较简单，我们需要考虑更加复杂的情况：比如传入了更多的函数，在调用compose函数时，传入了更多的参数：

function hyCompose(...fns) {
  var length = fns.length
  for (var i = 0; i < length; i++) {
    if (typeof fns[i] !== 'function') {
      // 如果传入的不是函数就报错
      throw new TypeError("Expected arguments are functions")
    }
  }

  function compose(...args) {
    var index = 0
    var result = length ? fns[index].apply(this, args): args // 先调用第一个函数,拿到结果
    while(++index < length) {
      result = fns[index].call(this, result) // 将前面的结果作为参数传给后面的函数
    }
    return result
  }
  return compose
}

// 通用组合函数测试
function double(m) {
  return m * 2
}

function square(n) {
  return n ** 2
}

var newFn = hyCompose(double, square)
console.log(newFn(10))
avatar
文章
阅读
粉丝