纯函数: 相同的输入永远会得到相同的输出,而且没有任何可观察的副作用

    • 函数的返回结果只依赖于它的参数
    • 函数执行过程里面没有副作用。

    相同的输入永远会得到相同的输出:

    • 如 slice(0, 3)返回数组中的指定部分,不会改变原数组,是纯函数。
    • 如 splice(0,3)多次调用, 会操作原数组并改变 每次返回的值会改变,这就不是纯函数。
    1. let numbers = [1, 2, 3, 4, 5];
    2. //纯函数
    3. numbers.slice(0, 3)
    4. // => [1, 2, 3]
    5. numbers.slice(0, 3)
    6. // => [1, 2, 3]
    7. numbers.slice(0, 3)
    8. // => [1, 2, 3]
    9. //不纯的函数
    10. numbers.splice(0, 3)
    11. // => [1, 2, 3]
    12. numbers.splice(0, 3)
    13. // => [4, 5]
    14. numbers.splice(0, 3)
    15. // => []
    1. // 不是纯函数
    2. const a = 1;
    3. const foo1 = (b) => x + b;
    4. foo(2);
    5. //纯函数
    6. const q = 1;
    7. const foo2 = (x, b) => x + b;
    8. foo2(1,2)

    foo1 就不是一个纯函数,他返回的结果依赖于外部变量a,返回的结果是不可预料的。
    foo2 是纯函数, 因为他的返回结果 依赖于它的参数。

    副作用:
    例一 情况发生了变化,我在 foo 内部加了一句 obj.x = 2,计算前 counter.x 是 1,但是计算以后 counter.x 是 2。foo 函数的执行对外部的 counter 产生了影响,它产生了副作用,因为它修改了外部传进来的对象,现在它是不纯的。

    例二, 但是你在函数内部构建的变量,然后进行数据的修改不是副作用

    1. //例一
    2. const a = 1
    3. const foo = (obj, b) => {
    4. obj.x = 2
    5. return obj.x + b
    6. }
    7. const counter = { x: 1 }
    8. foo(counter, 2) // => 4
    9. counter.x // => 2
    10. //例二
    11. const foo = (b) => {
    12. const obj = { x: 1 }
    13. obj.x = 2
    14. return obj.x + b
    15. }

    副作用来源:

    • 配置文件
    • 数据库
    • 获取用户的输入

    所有外部的交互都有可能有代理副作用,副作用也使得方法通用性下降不适合扩展和可重用性,同时会给程序带来安全隐患和不确定性,但是副作用不可能完全禁止,尽可能控制他们在可控范围内发生。

    总结: 一个函数的返回结果只依赖于它的参数,并且在执行过程里面没有副作用,我们就把这个函数叫做纯函数。

    柯里化:
    解决硬编码的问题

    1. //硬编码
    2. function checkAge(age) {
    3. let min = 18;
    4. return min >= age
    5. }
    6. //普通的函数
    7. function checkAge(min, age) {
    8. return min >= age
    9. }
    10. //柯里化
    11. function checkAge(min) {
    12. return function(age) {
    13. return min >= age
    14. }
    15. }
    16. const min18 = checkAge(18);
    17. const min22 = checkAge(22);
    18. console.log(min18(19));
    19. console.log(min22(20));

    总结:

    • 柯里化可以让我们给一个函数传递较少的参数得到一个已经记住了某些固定参数的函数
    • 这是一种对函数参数的’缓存’
    • 让函数变得更灵活,让函数的粒度更小
    • 可以把多元函数转换为一元函数,可以组合使用函数产生强大的功能