ES6学习笔记6 函数的扩展

ゝ一世哀愁。 2022-05-21 06:24 205阅读 0赞

# 函数参数的默认值 #

**ES6可以为函数的参数提供默认值，直接写在参数定义的后面即可**

function log(x, y = 'World') {
      console.log(x, y);
    }
    
    log('Hello') // Hello World
    log('Hello', 'China') // Hello China
    log('Hello', '') // Hello

**参数变量时默认声明的，所以不能用`let`和`const`重复声明。在使用参数默认值时，函数不能有同名参数。**

function foo(x = 5) { 
      let x = 1; // error
      const x = 2; // error
    }

**若函数默认值是一个表达式或函数时，则其是惰性求值的，只有当使用到默认值时，才计算表达式的值**

let x = 99;
    function foo(p = x + 1) { 
      console.log(p);
    }
    
    foo() // 100
    
    x = 100;
    foo() // 101

上述代码在第二次调用`foo`函数时，重新计算了参数`p`的默认值

--------------------

# 与解构赋值默认值结合使用 #

**参数默认值可以和解构赋值默认值联合起来使用**

function foo({x, y = 5} = {}) { 
      console.log(x, y);
    }
    
    foo() // undefined 5

上述函数，当不传入参数时，函数`foo`的参数将默认为一个空对象，此时y的值为`undefined`，因此自动采取默认值5

// 写法一
    function m1({x = 0, y = 0} = {}) { 
      return [x, y];
    }
    
    // 写法二
    function m2({x, y} = { x: 0, y: 0 }) { 
      return [x, y];
    }

写法1中，函数的默认参数是一个空对象，x和y的默认值都为0。这意味着，无论函数有没有传入参数，x和y总是有值，其不可能为`undefined`  
写法2中，函数的默认参数是一个对象，而x和y没有默认值，这导致当函数的参数为空对象或`{x:undefined, y:undefined}`时，x和y会为`undefined`

--------------------

# 参数默认值的位置 #

**定义了默认值的函数参数应该为函数的尾参数，否则无法省略该参数而不省略其后参数，除非显示输入`undefined`**

// 例一
    function f(x = 1, y) {
      return [x, y];
    }
    
    f() // [1, undefined]
    f(2) // [2, undefined])
    f(, 1) // 报错
    f(undefined, 1) // [1, 1]

--------------------

# 函数的length属性 #

**指定了默认值以后，函数的`length`属性将返回没有指定默认值参数的个数，但rest参数不会计入`length`属性，同时，如果默认值参数不是尾参数，那么位于该默认值参数之后的参数也不计入`length`属性**

(function (a) { }).length // 1
    (function (a = 5) { }).length // 0
    (function (a, b, c = 5) { }).length // 2

(function(...args) { }).length // 0
    (function (a = 0, b, c) { }).length // 0

--------------------

# 作用域 #

**一旦设置了参数的默认值，函数进行声明初始化时，参数会形成一个单独的作用域（context）。等到初始化结束，这个作用域就会消失。这种语法行为，在不设置参数默认值时，是不会出现的。**

var x = 1;
    
    function f(x, y = x) { 
      console.log(y);
    }
    
    f(2) // 2

上述代码中，调用函数f时，参数形成了一个单独的作用域，在这个作用域中，默认值变量`x`指向函数的第一个参数`x`，而不是全局变量的`x`，所以输出是2

let x = 1;
    
    function f(y = x) { 
      let x = 2;
      console.log(y);
    }
    
    f() // 1

上面代码中，函数f调用时，参数`y = x`形成一个单独的作用域。这个作用域里面，变量`x`本身没有定义，所以指向外层的全局变量`x`。函数调用时，函数体内部的局部变量x影响不到默认值变量`x`**（注：经过火狐浏览器加traceur转换测试，变量x并没有指向外部的全局变量x，最终y的值为undefined）**

var x = 1;
    function foo(x, y = function() { x = 2; }) { 
      var x = 3;
      y();
      console.log(x);
    }
    
    foo() // 3
    x // 1

在函数`foo`参数形成的作用域中，首先声明了变量`x`，然后声明了变量`y`，`y`的默认值是一个匿名函数。这个匿名函数内部的变量`x`，指向同一个作用域的第一个参数`x`。在`foo`函数的内部，又声明了一个内部变量`x`，该变量与第一个参数x由于不是同一个作用域，所以不是同一个变量，因此执行y后，内部变量x和外部全局变量x的值都没变。（**经过火狐浏览器加traceur转换测试，`foo函数`返回值为2，并不是3。当把`var`改为`let`时，出现重复定义变量`x`错误**）

var x = 1;
    function foo(x, y = function() { x = 2; }) { 
      x = 3;
      y();
      console.log(x);
    }
    
    foo() // 2
    x // 1

如果将`var x = 3`的`var`去除，函数foo的内部变量`x`就指向第一个参数`x`，与匿名函数内部的`x`是一致的，所以最后输出的就是2，而外层的全局变量`x`依然不受影响。

**为什么实际测试结果和书上结果不同呢？，原来是转换过程中traceur的错误，Babel也有同样的问题，以上代码在chrome中运行就和书上一样了**

**实际上，当定义在全局，带有默认参数的函数声明，在函数运行时共产生至少3个作用域，如下：**  
![这里写图片描述][70]  
**因此，如果默认参数引用了函数作用域外部的变量，同时函数内部有同名的变量存在的话，那么实际所使用的变量应该是外部的变量，而不是函数内部的。**  
[https://segmentfault.com/q/1010000015237136][https_segmentfault.com_q_1010000015237136]

--------------------

# rest参数 #

**ES6 引入 `rest` 参数（形式为`...变量名`），用于获取函数的多余参数，这样就不需要使用`arguments`对象了。rest 参数搭配的变量是一个数组，该变量将多余的参数放入数组中。注意，rest 参数之后不能再有其他参数（即只能是最后一个参数），否则会报错。**

function add(...values) { 
      let sum = 0;
    
      for (var val of values) {
        sum += val;
      }
    
      return sum;
    }
    
    add(2, 5, 3) // 10

--------------------

# 严格模式 #

**只要函数参数使用了默认值、解构赋值、或者扩展运算符，那么函数内部就不能显式设定为严格模式，否则会报错。**

**有两种方法可以规避这种限制。第一种是设定全局的严格模式，而不是在函数内部。**

'use strict';
    
    function doSomething(a, b = a) { 
      // code
    }

**第二种方法就是将函数包在一个无参数的立即执行函数中**

const doSomething = (function(){ 
     'use strict';
         return function(value = 42) { 
              return value;
          };
    }());

--------------------

# name属性 #

**ES6的`name`属性会返回实际的函数名。`Function`构造函数返回的函数实例，`name`属性的值为`anonymous`。`bind`返回的函数，`name`属性值会加上`bound`前缀。**

var f = function(){ };
    
    f.name   //"f"

(new Function).name  // "anonymous"

function foo() { };
    foo.bind({}).name // "bound foo"

--------------------

# 箭头函数 #

**箭头函数使用（`=>`）定义**

var 函数名 = 参数名 => 返回值;

var f = v => v;
    
    //等同于
    var f = function(v){ 
        return v;
    };

**如果不需要参数或有多个参数，要使用圆括号**

var f = () => 5;
    
    var sum = (num1,num2) => num1+num2;

**如果函数的代码多于一条，就必须使用大括号将其括起来，并使用`retun`语句**

var sum = (num1, num2) => { return num1 + num2; }

**如果函数返回一个对象，那么必须用圆括号将其括起来**

let getTempItem = id => ({ id: id, name: "Temp" });

箭头函数可以简化回调函数

[1,2,3].map(x => x * x);

**箭头函数有以下几点注意事项：**

*  **函数体内的`this`对象就是定义时所在的对象，而不是调用时所在的对象**
 *  **不可以作为构造函数**
 *  **不可以使用`arguments`对象**
 *  **不可以使用yield命令，因此箭头函数不能用作 Generator 函数**

function foo() {
      setTimeout(() => { console.log('id:', this.id); }, 100); } var id = 21; foo.call({ id: 42 }); // id: 42

上述代码中，在`foo`函数中定义了一个延时调用函数，其实际执行时间为100ms之后，此时`foo`已经执行完毕，如果是普通函数就应该返回21，因为延时函数执行时，`this`值为`window`。但由于使用了箭头函数，使其`this`值总是指向函数定义生效时所在对象

还记得下面的类似例子吗？在ES5中，使用`bind`函数解决了`this`绑定问题，此时，只需使用箭头函数即可  
[https://blog.csdn.net/zjw\_python/article/details/80109580][https_blog.csdn.net_zjw_python_article_details_80109580]

**实际上，箭头函数自身没有自己的`this`，导致其内部的`this`就是外层代码块的`this`**

// ES6
    function foo() { 
      setTimeout(() => {
        console.log('id:', this.id);
      }, 100);
    }
    
    // ES5
    function foo() { 
      var _this = this;
    
      setTimeout(function () { 
        console.log('id:', _this.id);
      }, 100);
    }

**除了`this`，以下三个变量在箭头函数之中也是不存在的，它们都指向外层函数的对应变量：`arguments`、`super`、`new.target`。因此，由于箭头函数没有自己的`this`，所以当然也就不能用`call()`、`apply()`、`bind()`这些方法去改变this的指向**

**箭头函数内部还可以使用箭头函数，形成多重嵌套**

//下面函数在列表中的指定位置插入项
    let insert = (value) => ({into: (array) => ({after: (afterValue) => {
      array.splice(array.indexOf(afterValue) + 1, 0, value);
      return array;
    }})});
    
    insert(2).into([1, 3]).after(1); //[1, 2, 3]

第一个`insert`函数，接受要插入的值`value`，返回一个具有`into`方法的对象，`into`方法是一个箭头函数，接受一个数列参数，返回一个具有`after`方法的对象，`after`方法接受一个插入的位置，执行插入操作，并最终返回结果数列。

--------------------

# 双冒号运算符 #

**ES7有个提案提出使用双冒号`：：`，作为函数绑定运算符，用来取代`call`、`apply`、`bind`调用。双冒号左边是一个对象，右边是一个函数。该运算符会自动将左边的对象，作为上下文环境（即`this`对象），绑定到右边的函数上面。**

foo::bar;
    // 等同于
    bar.bind(foo);
    
    foo::bar(...arguments);
    // 等同于
    bar.apply(foo, arguments);
    
    const hasOwnProperty = Object.prototype.hasOwnProperty;
    function hasOwn(obj, key) { 
      return obj::hasOwnProperty(key);
    }

**如果双冒号左边为空，右边是一个对象的方法，则等于将该方法绑定在该对象上面**

var method = obj::obj.foo;
    // 等同于
    var method = ::obj.foo;

--------------------

# 尾调用优化 #

**尾调用，指某个函数最后一步是调用另一个函数\*，其不一定出现在函数尾部，但一定是函数的最后一步操作，否则不是尾调用**

function f(x){ 
      return g(x);
    }

**我们知道，函数调用会在内存形成一个“调用记录”，又称“调用帧”（call frame），保存调用位置和内部变量等信息。如果在函数A的内部调用函数B，那么在A的调用帧上方，还会形成一个B的调用帧。等到B运行结束，将结果返回到A，B的调用帧才会消失。如果函数B内部还调用函数C，那就还有一个C的调用帧，以此类推。所有的调用帧，就形成一个“调用栈”（call stack）。**

**尾调用由于是函数的最后一步操作，所以不需要保留外层函数的调用帧，因为调用位置、内部变量等信息都不会再用到了，只要直接用内层函数的调用帧，取代外层函数的调用帧就可以了。**  
![这里写图片描述][SouthEast]

**如果所有函数都是尾调用，那么完全可以做到每次执行时，调用帧只有一项，这将大大节省内存。这就是“尾调用优化”的意义。**

--------------------

# 尾递归 #

**函数调用自身，称为递归。如果尾调用自身，就称为尾递归**

**递归非常耗费内存，因为需要同时保存成千上百个调用帧，很容易发生“栈溢出”错误（stack overflow）。但对于尾递归来说，由于只存在一个调用帧，所以永远不会发生“栈溢出”错误。**

**结合函数参数的默认值，我们可以将非尾递归函数改写为尾递归**

function Fibonacci (n) { 
      if ( n <= 1 ) {
       return 1};
    
      return Fibonacci(n - 1) + Fibonacci(n - 2);
    }
    
    Fibonacci(10) // 89
    Fibonacci(100) // 堆栈溢出
    Fibonacci(500) // 堆栈溢出

改写后

function Fibonacci2 (n , ac1 = 1 , ac2 = 1) { 
      if( n <= 1 ) {
       return ac2};
    
      return Fibonacci2 (n - 1, ac2, ac1 + ac2);
    }
    
    Fibonacci2(100) // 573147844013817200000
    Fibonacci2(1000) // 7.0330367711422765e+208
    Fibonacci2(10000) // Infinity

--------------------

# 尾递归优化的实现 #

**ES6的尾调用优化只在严格模式下开启，正常模式是无效的。在正常模式下，需要自己实现尾递归，即采用循环换掉递归**

上述代码中，原本的sum函数是一个利用递归，实现x值不断递增的函数。经过tco函数改造后，sum函数就成为了`accumulator()`函数。第一次运行时，active为`false`，参数1和10000被推入数组，进入`accumulator`函数的if分支，弹出参数，调用sum函数，返回`accumulator(2,9999)`，第二次执行时，active为`true`，参数2和9999被推入数组，没有进入`accumulator`函数`if`分支，active变为`false`，返回value为`undefined`。但此时由于新的参数被推入了数组，因此第一次运行时的`while`语句继续循环，弹出参数，返回`accumulator(3,9998)`，这样不断循环，直至y小于0，最终返回结果。这样就很巧妙地将“递归”改成了“循环”，而后一轮的参数会取代前一轮的参数，保证了调用栈只有一层。  
![这里写图片描述][70 1]

--------------------

# 尾逗号 #

**ES2017 允许函数的最后一个参数有尾逗号（trailing comma），样的规定也使得，函数参数与数组和对象的尾逗号规则，保持一致了**

function clownsEverywhere(
      param1,
      param2,
    ) { /* ... */ }
    
    clownsEverywhere(
      'foo',
      'bar',
    );

[70]: /images/20220521/fe07207817d548eea99ff54300e60746.png
[https_segmentfault.com_q_1010000015237136]: https://segmentfault.com/q/1010000015237136
[https_blog.csdn.net_zjw_python_article_details_80109580]: https://blog.csdn.net/zjw_python/article/details/80109580
[SouthEast]: /images/20220521/10e71b1f73284781a950e950aea90057.png
[70 1]: /images/20220521/e6317b721c2e4aa19aeb7705a011d09f.png