knzn.net

05 JS 函数式编程

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

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

理解 JavaScript 纯函数

纯函数的维基百科定义:

  • 在程序设计中,若一个函数符合以下条件,那么这个函数被称为纯函数:
  • 此函数在相同的输入值时,需产生相同的输出。
  • 函数的输出和输入值以外的其他隐藏信息或状态无关,也和由 I/O 设备产生的外部输出无关。
  • 该函数不能有语义上可观察的函数副作用,诸如“触发事件”,使输出设备输出,或更改输出值以外物件的内容等。

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

  • 确定的输入,一定会产生确定的输出;
  • 函数在执行过程中,不能产生副作用;

副作用的理解

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

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

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

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

纯函数的案例

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

slice:slice 截取数组时不会对原数组进行任何操作,而是生成一个新的数组;

slice 就是一个纯函数,不会修改传入的参数;

var names = ['abc', 'cba', 'nba', 'dna']

// slice只要给它传入一个start/end, 那么对于同一个数组来说, 它会给我们返回确定的值
// slice函数本身它是不会修改原来的数组
// slice -> this
// slice函数本身就是一个纯函数
var newNames1 = names.slice(0, 3)
console.log(newNames1)
console.log(names)

splice:splice 截取数组, 会返回一个新的数组, 也会对原数组进行修改;

var names = ['abc', 'cba', 'nba', 'dna']
// splice在执行时, 有修改掉调用的数组对象本身, 修改的这个操作就是产生的副作用
// splice不是一个纯函数
var newNames2 = names.splice(2)
console.log(newNames2) // [ 'nba', 'dna' ]
console.log(names) // [ 'abc', 'cba' ]

纯函数的练习

foo 函数是否是一个纯函数?

// 1.相同的输入一定产生相同的输出
// 2.在执行的过程中不会产生任何的副作用
function foo(num1, num2) {
  return num1 * 2 + num2 * num2
}

bar 不是一个纯函数, 因为它修改了外界的变量

var name = 'abc'
function bar() {
  console.log('bar其他的代码执行')
  name = 'cba'
}

bar()

console.log(name)

baz 也不是一个纯函数, 因为我们修改了传入的参数

function baz(info) {
  info.age = 100
}

var obj = { name: 'why', age: 18 }
baz(obj)
console.log(obj)

test 是否是一个纯函数? 是一个纯函数

function test(info) {
  return {
    ...info,
    age: 100,
  }
}

test({ name: 'why' })

纯函数的优势

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

你在写的时候保证了函数的纯度,只是单纯实现自己的业务逻辑即可,不需要关心传入的内容是如何获得的或 者依赖其他的外部变量是否已经发生了修改;

你在用的时候,你确定你的输入内容不会被任意篡改,并且自己确定的输入,一定会有确定的输出;

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
function sum(x) {
  x = x + 2

  return function (y) {
    y = y * 2

    return function (z) {
      z = z * z

      return x + y + z
    }
  }
}

console.log(sum(10)(20)(30))

柯里化的复用

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

function sum(m, n) {
  return m + n
}

// 假如在程序中,我们经常需要把5和另外一个数字进行相加
console.log(sum(5, 10))
console.log(sum(5, 14))
console.log(sum(5, 1100))
console.log(sum(5, 555))

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

function makeAdder(count) {
  count = count * count

  return function (num) {
    return count + num
  }
}

var adder5 = makeAdder(5)
adder5(10)
adder5(14)
adder5(1100)
adder5(555)

打印日志的柯里化

这里我们在演示一个案例,需求是打印一些日志:日志包括时间、类型、信息;

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

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
}

function add2(x, y, z) {
  x = x + 2
  y = y * 2
  z = z * z
  return x + y + z
}

function log(date, type, message) {
  console.log(
    `[${date.getHours()}:${date.getMinutes()}][${type}]: [${message}]`
  )
}

柯里化函数的实现 hyCurrying

function hyCurrying(fn) {
  function curried(...args) {
    // 判断当前已经接收的参数的个数, 可以参数本身需要接受的参数是否已经一致了
    // 1.当已经传入的参数 大于等于 需要的参数时, 就执行函数
    if (args.length >= fn.length) {
      // fn(...args)
      // fn.call(this, ...args)
      return fn.apply(this, args)
    } else {
      // 没有达到个数时, 需要返回一个新的函数, 继续来接收的参数
      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))
console.log(curryAdd(10, 20)(30))
console.log(curryAdd(10)(20)(30))

理解组合函数

组合(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))

目录