JavaScript 之函数式编程

时间 2019-11-08

标签 javascript 函数编程栏目 JavaScript 繁體版

原文原文链接

同步发布于 https://github.com/xianshanna...前端

是个程序员都知道函数，可是有些人不必定清楚函数式编程的概念。jquery

应用的迭代使程序变得愈来愈复杂，那么程序员颇有必要创造一个结构良好、可读性好、重用性高和可维护性高的代码。git

函数式编程就是一个良好的代码方式，可是这不表明函数式编程是必须的。你的项目没用到函数式编程，不表明项目很差。程序员

什么是函数式编程（FP）？

函数式编程关心数据的映射，命令式编程关心解决问题的步骤。

函数式编程的对立面就是命令式编程。github

函数式编程语言中的变量也不是 命令式编程语言中的变量，即存储状态的单元，而是代数中的变量，即一个值的名称。变量的值是不可变的（immutable），也就是说不容许像 命令式编程语言中那样屡次给一个变量赋值。

函数式编程只是一个概念（一致编码方式），并无严格的定义。本人根据网上的知识点，简单的总结一下函数式编程的定义（本人总结，或许有人会不一样意这个观点）。编程

函数式编程就是纯函数的应用，而后把不一样的逻辑分离为许多独立功能的纯函数（模块化思想），而后再整合在一块儿，变成复杂的功能。redux

什么是纯函数？

一个函数若是输入肯定，那么输出结果是惟一肯定的，而且没有反作用，那么它就是纯函数。

通常符合上面提到的两点就算纯函数：设计模式

相同的输入一定产生相同的输出
在计算的过程当中，不会产生反作用

那怎么理解反作用呢？数组

简单的说就是变量的值不可变，包括函数外部变量和函数内部变量。浏览器

所谓 反作用，指的是函数内部与外部互动（最典型的状况，就是修改全局变量的值），产生运算之外的其余结果。

这里说明一下不可变，不可变指的是咱们不能改变原来的变量值。或者原来变量值的改变，不能影响到返回结果。不是变量值原本就是不可变。

纯函数特性对比例子

上面的理论描述对于刚接触这个概念的程序员，或许很差理解。下面会经过纯函数的特色一一举例说明。

输入相同返回值相同

纯函数

function test(pi) {
  // 只要 pi 肯定，返回结果就必定肯定。
  return pi + 2;
}
test(3);

非纯函数

function test(pi) {
  // 随机数返回值不肯定
  return pi + Math.random();
}

test(3);

返回值不受外部变量的影响

非纯函数，返回值会被其余变量影响（说明有反作用），返回值不肯定。

let a = 2;
function test(pi) {
  // a 的值可能中途被修改
  return pi + a;
}
a = 3;
test(3);

非纯函数，返回值受到对象 getter 的影响，返回结果不肯定。

const obj = Object.create(
  {},
  {
    bar: {
      get: function() {
        return Math.random();
      },
    },
  }
);

function test(obj) {
  // obj.a 的值是随机数
  return obj.a;
}
test(obj);

纯函数，参数惟一，返回值肯定。

function test(pi) {
  // 只要 pi 肯定，返回结果就必定肯定。
  return pi + 2;
}
test(3);

输入值是不能够被改变的

非纯函数，这个函数已经改变了外面 personInfo 的值了（产生了反作用）。

const personInfo = { firstName: 'shannan', lastName: 'xian' };

function revereName(p) {
  p.lastName = p.lastName
    .split('')
    .reverse()
    .join('');
  p.firstName = p.firstName
    .split('')
    .reverse()
    .join('');
  return `${p.firstName} ${p.lastName}`;
}
revereName(personInfo);
console.log(personInfo);
// 输出 { firstName: 'nannahs',lastName: 'naix' }
// personInfo 被修改了

纯函数，这个函数不影响外部任意的变量。

const personInfo = { firstName: 'shannan', lastName: 'xian' };

function reverseName(p) {
  const lastName = p.lastName
    .split('')
    .reverse()
    .join('');
  const firstName = p.firstName
    .split('')
    .reverse()
    .join('');
  return `${firstName} ${lastName}`;
}
revereName(personInfo);
console.log(personInfo);
// 输出 { firstName: 'shannan',lastName: 'xian' }
// personInfo 仍是原值

那么大家是否是有疑问，personInfo 对象是引用类型，异步操做的时候，中途改变了 personInfo，那么输出结果那就可能不肯定了。

若是函数存在异步操做，的确有存在这个问题，的确应该确保 personInfo 不能被外部再次改变（能够经过深度拷贝）。

可是，这个简单的函数里面并无异步操做，reverseName 函数运行的那一刻 p 的值已是肯定的了，直到返回结果。

下面的异步操做才须要确保 personInfo 中途不会被改变：

async function reverseName(p) {
  await new Promise(resolve => {
    setTimeout(() => {
      resolve();
    }, 1000);
  });
  const lastName = p.lastName
    .split('')
    .reverse()
    .join('');
  const firstName = p.firstName
    .split('')
    .reverse()
    .join('');
  return `${firstName} ${lastName}`;
}

const personInfo = { firstName: 'shannan', lastName: 'xian' };

async function run() {
  const newName = await reverseName(personInfo);
  console.log(newName);
}

run();
personInfo.firstName = 'test';
// 输出为 tset naix，由于异步操做的中途 firstName 被改变了

修改为下面的方式就能够确保 personInfo 中途的修改不影响异步操做：

// 这个才是纯函数
async function reverseName(p) {
  // 浅层拷贝，这个对象并不复杂
  const newP = { ...p };
  await new Promise(resolve => {
    setTimeout(() => {
      resolve();
    }, 1000);
  });
  const lastName = newP.lastName
    .split('')
    .reverse()
    .join('');
  const firstName = newP.firstName
    .split('')
    .reverse()
    .join('');
  return `${firstName} ${lastName}`;
}

const personInfo = { firstName: 'shannan', lastName: 'xian' };

// run 不是纯函数
async function run() {
  const newName = await reverseName(personInfo);
  console.log(newName);
}

// 固然小先运行 run，而后再去改 personInfo 对象。
run();
personInfo.firstName = 'test';
// 输出为 nannahs naix

这个仍是有个缺点，就是外部 personInfo 对象仍是会被改到，但不影响以前已经运行的 run 函数。若是再次运行 run 函数，输入都变了，输出固然也变了。

参数和返回值能够是任意类型

那么返回函数也是能够的。

function addX(y) {
  return function(x) {
    return x + y;
  };
}

尽可能只作一件事

固然这个要看实际应用场景，这里举个简单例子。

两件事一块儿作（不太好的作法）：

function getFilteredTasks(tasks) {
  let filteredTasks = [];
  for (let i = 0; i < tasks.length; i++) {
    let task = tasks[i];
    if (task.type === 'RE' && !task.completed) {
      filteredTasks.push({ ...task, userName: task.user.name });
    }
  }
  return filteredTasks;
}
const filteredTasks = getFilteredTasks(tasks);

getFilteredTasks 也是纯函数，可是下面的纯函数更好。

两件事分开作（推荐的作法）：

function isPriorityTask(task) {
  return task.type === 'RE' && !task.completed;
}
function toTaskView(task) {
  return { ...task, userName: task.user.name };
}
let filteredTasks = tasks.filter(isPriorityTask).map(toTaskView);

isPriorityTask 和 toTaskView 就是纯函数，并且都只作了一件事，也能够单独反复使用。

结果可缓存

根据纯函数的定义，只要输入肯定，那么输出结果就必定肯定。咱们就能够针对纯函数返回结果进行缓存（缓存代理设计模式）。

const personInfo = { firstName: 'shannan', lastName: 'xian' };

function reverseName(firstName, lastName) {
  const newLastName = lastName
    .split('')
    .reverse()
    .join('');
  const newFirstName = firstName
    .split('')
    .reverse()
    .join('');
  console.log('在 proxyReverseName 中，相同的输入，我只运行了一次');
  return `${newFirstName} ${newLastName}`;
}

const proxyReverseName = (function() {
  const cache = {};
  return (firstName, lastName) => {
    const name = firstName + lastName;
    if (!cache[name]) {
      cache[name] = reverseName(firstName, lastName);
    }
    return cache[name];
  };
})();

函数式编程有什么优势？

实施函数式编程的思想，咱们应该尽可能让咱们的函数有如下的优势：

更容易理解
更容易重复使用
更容易测试
更容易维护
更容易重构
更容易优化
更容易推理

函数式编程有什么缺点？

性能可能相对来讲较差

函数式编程可能会牺牲时间复杂度来换取了可读性和维护性。可是呢，这个对用户来讲这个性能十分微小，有些场景甚至可忽略不计。前端通常场景不存在很是大的数据量计算，因此你尽可放心的使用函数式编程。看下上面提到个的例子（数据量要稍微大一点才好对比）：

首先咱们先赋值 10 万条数据：

const tasks = [];
for (let i = 0; i < 100000; i++) {
  tasks.push({
    user: {
      name: 'one',
    },
    type: 'RE',
  });
  tasks.push({
    user: {
      name: 'two',
    },
    type: '',
  });
}

两件事一块儿作，代码可读性不够好，理论上时间复杂度为 o(n)，不考虑 push 的复杂度。

(function() {
  function getFilteredTasks(tasks) {
    let filteredTasks = [];
    for (let i = 0; i < tasks.length; i++) {
      let task = tasks[i];
      if (task.type === 'RE' && !task.completed) {
        filteredTasks.push({ ...task, userName: task.user.name });
      }
    }
    return filteredTasks;
  }

  const timeConsumings = [];

  for (let k = 0; k < 100; k++) {
    const beginTime = +new Date();
    getFilteredTasks(tasks);
    const endTime = +new Date();

    timeConsumings.push(endTime - beginTime);
  }

  const averageTimeConsuming =
    timeConsumings.reduce((all, current) => {
      return all + current;
    }) / timeConsumings.length;

  console.log(`第一种风格平均耗时：${averageTimeConsuming} 毫秒`);
})();

两件事分开作，代码可读性相对好，理论上时间复杂度接近 o(2n)

(function() {
  function isPriorityTask(task) {
    return task.type === 'RE' && !task.completed;
  }
  function toTaskView(task) {
    return { ...task, userName: task.user.name };
  }

  const timeConsumings = [];

  for (let k = 0; k < 100; k++) {
    const beginTime = +new Date();
    tasks.filter(isPriorityTask).map(toTaskView);
    const endTime = +new Date();

    timeConsumings.push(endTime - beginTime);
  }

  const averageTimeConsuming =
    timeConsumings.reduce((all, current) => {
      return all + current;
    }) / timeConsumings.length;

  console.log(`第二种风格平均耗时：${averageTimeConsuming} 毫秒`);
})();

上面的例子屡次运行得出耗时平均值，在数据较少和较多的状况下，发现二者平均值并无多大差异。10 万条数据，运行 100 次取耗时平均值，第二种风格平均多耗时 15 毫秒左右，至关于 10 万条数据多耗时 1.5 秒，1 万条数多据耗时 150 毫秒（150 毫秒用户基本感知不到）。

虽然理论上时间复杂度多了一倍，可是在数据不庞大的状况下（会有个临界线的），这个性能相差其实并不大，彻底能够牺牲浏览器用户的这点性能换取可读和可维护性。

极可能被过分使用
过分使用反而是项目维护性变差。有些人可能写着写着，就变成别人看不懂的代码，本身以为挺高大上的，可是你肯定别人能快速的看懂不? 适当的使用才是合理的。

应用场景

概念是概念，实际应用倒是五花八门，没有实际应用，记住了也是死记硬背。这里总结一些经常使用的函数式编程应用场景。

简单使用

有时候不少人都用到了函数式的编程思想（最简单的用法），可是没有意识到而已。下面的列子就是最简单的应用，这个不用怎么说明，根据上面的纯函数特色，都应该看的明白。

function sum(a, b) {
  return a + b;
}

当即执行的匿名函数

匿名函数常常用于隔离内外部变量（变量不可变）。

const personInfo = { firstName: 'shannan', lastName: 'xian' };

function reverseName(firstName, lastName) {
  const newLastName = lastName
    .split('')
    .reverse()
    .join('');
  const newFirstName = firstName
    .split('')
    .reverse()
    .join('');
  console.log('在 proxyReverseName 中，相同的输入，我只运行了一次');
  return `${newFirstName} ${newLastName}`;
}

// 匿名函数
const proxyReverseName = (function() {
  const cache = {};
  return (firstName, lastName) => {
    const name = firstName + lastName;
    if (!cache[name]) {
      cache[name] = reverseName(firstName, lastName);
    }
    return cache[name];
  };
})();

JavaScript 的一些 API

如数组的 forEach、map、reduce、filter 等函数的思想就是函数式编程思想（返回新数组），咱们并不须要使用 for 来处理。

const arr = [1, 2, '', false];
const newArr = arr.filter(Boolean);
// 至关于 const newArr = arr.filter(value => Boolean(value))

递归

递归也是一直经常使用的编程方式，能够代替 while 来处理一些逻辑，这样的可读性和上手度都比 while 简单。

以下二叉树全部节点求和例子：

const tree = {
  value: 0,
  left: {
    value: 1,
    left: {
      value: 3,
    },
  },
  right: {
    value: 2,
    right: {
      value: 4,
    },
  },
};

while 的计算方式：

function sum(tree) {
  let sumValue = 0;
  // 使用列队方式处理，使用栈也能够，处理顺序不同
  const stack = [tree];

  while (stack.length !== 0) {
    const currentTree = stack.shift();
    sumValue += currentTree.value;

    if (currentTree.left) {
      stack.push(currentTree.left);
    }

    if (currentTree.right) {
      stack.push(currentTree.right);
    }
  }

  return sumValue;
}

递归的计算方式：

function sum(tree) {
  let sumValue = 0;

  if (tree && tree.value !== undefined) {
    sumValue += tree.value;

    if (tree.left) {
      sumValue += sum(tree.left);
    }
    if (tree.right) {
      sumValue += sum(tree.right);
    }
  }

  return sumValue;
}

递归会比 while 代码量少，并且可读性更好，更容易理解。

链式编程

若是接触过 jquery，咱们最熟悉的莫过于 jq 的链式便利了。如今 ES6 的数组操做也支持链式操做：

const arr = [1, 2, '', false];
const newArr = arr.filter(Boolean).map(String);
// 输出 "1", "2"]

或者咱们自定义链式，加减乘除的链式运算：

function createOperation() {
  let theLastValue = 0;
  const plusTwoArguments = (a, b) => a + b;
  const multiplyTwoArguments = (a, b) => a * b;

  return {
    plus(...args) {
      theLastValue += args.reduce(plusTwoArguments);
      return this;
    },
    subtract(...args) {
      theLastValue -= args.reduce(plusTwoArguments);
      return this;
    },
    multiply(...args) {
      theLastValue *= args.reduce(multiplyTwoArguments);
      return this;
    },
    divide(...args) {
      theLastValue /= args.reduce(multiplyTwoArguments);
      return this;
    },
    valueOf() {
      const returnValue = theLastValue;
      // 获取值的时候须要重置
      theLastValue = 0;
      return returnValue;
    },
  };
}
const operaton = createOperation();
const result = operation
  .plus(1, 2, 3)
  .subtract(1, 3)
  .multiply(1, 2, 10)
  .divide(10, 5)
  .valueOf();
console.log(result);

固然上面的例子不彻底都是函数式编程，由于 valueOf 的返回值就不肯定。

高阶函数

高阶函数（Higher Order Function）,按照维基百科上面的定义，至少知足下列一个条件的函数

函数做为参数传入
返回值为一个函数

简单的例子：

function add(a, b, fn) {
  return fn(a) + fn(b);
}
function fn(a) {
  return a * a;
}
add(2, 3, fn); // 13

还有一些咱们平时经常使用高阶的方法，如 map、reduce、filter、sort，以及如今经常使用的 redux 中的 connect 等高阶组件也是高阶函数。

柯里化（闭包）

柯里化（Currying），又称部分求值（Partial Evaluation），是把接受多个参数的函数变换成接受一个单一参数（最初函数的第一个参数）的函数，而且返回接受余下的参数并且返回结果的新函数的技术。

柯里化的做用如下优势:

参数复用
提早返回
延迟计算/运行
缓存计算值

柯里化实质就是闭包。其实上面的当即执行匿名函数的例子就用到了柯里化。

// 柯里化以前
function add(x, y) {
  return x + y;
}

add(1, 2); // 3

// 柯里化以后
function addX(y) {
  return function(x) {
    return x + y;
  };
}

addX(2)(1); // 3

高阶组件

这是组件化流行后的一个新概念，目前常常用到。ES6 语法中 class 只是个语法糖，实际上仍是函数。

一个简单例子：

class ComponentOne extends React.Component {
  render() {
    return <h1>title</h1>;
  }
}

function HocComponent(Component) {
  Component.shouldComponentUpdate = function(nextProps, nextState) {
    if (this.props.id === nextProps.id) {
      return false;
    }
    return true;
  };
  return Component;
}

export default HocComponent(ComponentOne);

深刻理解高阶组件请看这里。

无参数风格（Point-free）

其实上面的一些例子已经使用了无参数风格。无参数风格不是没参数，只是省略了多余参数的那一步。看下面的一些例子就很容易理解了。

范例一：

const arr = [1, 2, '', false];
const newArr = arr.filter(Boolean).map(String);
// 有参数的用法以下：
// arr.filter(value => Boolean(value)).map(value => String(value));

范例二：

const tasks = [];
for (let i = 0; i < 1000; i++) {
  tasks.push({
    user: {
      name: 'one',
    },
    type: 'RE',
  });
  tasks.push({
    user: {
      name: 'two',
    },
    type: '',
  });
}
function isPriorityTask(task) {
  return task.type === 'RE' && !task.completed;
}
function toTaskView(task) {
  return { ...task, userName: task.user.name };
}
tasks.filter(isPriorityTask).map(toTaskView);

范例三：

// 好比，现成的函数以下：
var toUpperCase = function(str) {
  return str.toUpperCase();
};
var split = function(str) {
  return str.split('');
};
var reverse = function(arr) {
  return arr.reverse();
};
var join = function(arr) {
  return arr.join('');
};

// 现要由现成的函数定义一个 point-free 函数toUpperCaseAndReverse
var toUpperCaseAndReverse = _.flowRight(
  join,
  reverse,
  split,
  toUpperCase
); // 自右向左流动执行
// toUpperCaseAndReverse是一个point-free函数，它定义时并没有可识别参数。只是在其子函数中操纵参数。flowRight 是引入了 lodash 库的组合函数，至关于 compose 组合函数
console.log(toUpperCaseAndReverse('abcd')); // => DCBA

无参数风格优势？

参风格的好处就是不须要费心思去给它的参数进行命名，把一些现成的函数按需组合起来使用。更容易理解、代码简小，同时分离的回调函数，是能够复用的。若是使用了原生 js 如数组，还能够利用 Boolean 等构造函数的便捷性进行一些过滤操做。

无参数风格缺点？

缺点就是须要熟悉无参数风格，刚接触不可能就能够用得驾轻就熟的。对于一些新手，可能第一时间理解起来没那没快。