二、纯函数

纯函数的概念

相同的输入永远会得到相同的输出，而且没有任何副作用。也就是说输出的值总是由输入的值决定，而随着程序执行时函数外部任何数据的变化而变化。

• 所以易知，slice是纯函数，而splice不是纯函数，如下：

let numbers = [1, 2, 3, 4, 5]
// 纯函数
numbers.slice(0, 3)
// => [1, 2, 3]
numbers.slice(0, 3)
// => [1, 2, 3]
numbers.slice(0, 3)
// => [1, 2, 3]

// 不纯的函数
numbers.splice(0, 3)
// => [1, 2, 3]
numbers.splice(0, 3)
// => [4, 5]
numbers.splice(0, 3)
// => []

特征：

1. 函数式编程不会保留计算中间的结果，所以变量是不可变的（无状态）
2. 我们可以把一个函数的执行结果交给留一个函数去处理

好处

• 可缓存 因为纯函数对相同的输入始终有相同的结果，所以可以把纯函数的结果缓存起来

  • lodash 是一个纯函数的功能库，提供了对数组、数字、对象、字符串、函数等操作的一些方法

    以lodash库中的memoize方法为例。

    // 首先要引入lodash这个功能库
    const _ = require('lodash')
    function getArea(r) {
        console.log('执行了');  // 这句代码只会被执行一次，如下图
        return Math.PI * r * r
    }
    let getAreaWithMemory = _.memoize(getArea)
    console.log(getAreaWithMemory(4))
    console.log(getAreaWithMemory(4))
    console.log(getAreaWithMemory(4))
    

• 模拟实现一个memoize函数：

  function memoize(f) {
      let cache = {}
      return function () {
          let arg_str = JSON.stringify(arguments)
          cache[arg_str] = cache[arg_str] || f.apply(f, arguments)
          return cache[arg_str]
      }
  }
  
  let getArea = function(r) {
      console.log('执行了');  // 这句代码只会被执行一次，如下图
      return Math.PI * r * r
  }
  
  let result = memoize(getArea)
  console.log(result(3));
  console.log(result(3));
  console.log(result(3));
  

• 可测试 纯函数让测试更方便
• 并行处理 在多线程环境下并行操作共享的内存数据很可能会出现意外情况 纯函数不需要访问共享的内存数据，所以在并行环境下可以任意运行纯函数 (Web Worker)

副作用

概念

函数副作用指当调用函数时，除了返回函数值之外，还对主调用函数产生附加的影响。例如修改全局变量（函数外的变量）或修改参数。

// 有副作用，依赖于外部变量（比如固定输入age为20，mini从18改成22，就得到了不同的结果，不满足纯函数要求）
let mini = 18
function checkAge (age) {
	return age >= mini
}


// 纯的(有硬编码，后续可以通过柯里化解决)
function checkAge (age) {
	let mini = 18
	return age >= mini
}

副作用让一个函数变的不纯(如上例)，纯函数的根据相同的输入返回相同的输出，如果函数依赖于外部 的状态就无法保证输出相同，就会带来副作用。

副作用来源

• 如配置文件、数据库、获取用户输入等
• 所有外部交互都有可能带来副作用
• 副作用也使得方法通用性下降不适合扩展和可重用性，同时副作用会给程序中带来安全隐患给程序带来不确定性
• 但是副作用不可能完全禁止，尽可能控制它们在可控范围内发生。