ES6学习(四)——函数的扩展

函数参数的默认值

基本用法

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

log('Hello') // Hello World
log('Hello', 'China') // Hello China
log('Hello', '') // Hello

注意

  • 参数变量是默认声明的,所以不能用let或const再次声明,否则会报错
  • 使用参数默认值时,函数不能有同名参数
  • 参数默认值不是传值的,而是每次都重新计算默认值表达式的值。也就是说,参数默认值是惰性求值的
    let x = 99;
    function foo(p = x + 1) {
       console.log(p);
    }
    
    foo() // 100
    
    x = 100;
    foo() // 101
    // 参数p的默认值是x + 1。这时,每次调用函数foo,都会重新计算x + 1,而不是默认p等于 100
    

与解构赋值默认结合使用

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

foo({}) // undefined 5
foo({x: 1}) // 1 5
foo({x: 1, y: 2}) // 1 2
foo() // TypeError: Cannot read property 'x' of undefined

上面代码中因为,如果函数foo()调用时没有提供参数,那么xy就不会生成,所以,就会报错,为了解决这个问题,可以给函数参数设置一个默认值

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

再看一个例子

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

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

// 函数没有参数的情况
m1() // [0, 0]
m2() // [0, 0]

// x 和 y 都有值的情况
m1({x: 3, y: 8}) // [3, 8]
m2({x: 3, y: 8}) // [3, 8]

// x 有值,y 无值的情况
m1({x: 3}) // [3, 0]
m2({x: 3}) // [3, undefined]

// x 和 y 都无值的情况
m1({}) // [0, 0];
m2({}) // [undefined, undefined]

m1({z: 3}) // [0, 0]
m2({z: 3}) // [undefined, undefined]

函数的length属性

指定了默认值以后,函数的length属性,将返回没有指定默认值的参数个数。也就是说,指定了默认值后,length属性将失真。

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

上面代码中,length属性的返回值,等于函数的参数个数减去指定了默认值的参数个数。比如,上面最后一个函数,定义了 3 个参数,其中有一个参数c指定了默认值,因此length属性等于3减去1,最后得到2。
这是因为length属性的含义是,该函数预期传入的参数个数。某个参数指定默认值以后,预期传入的参数个数就不包括这个参数了。同理,后文的 rest 参数也不会计入length属性。

(function(...args) {}).length // 0

如果设置了默认值的参数不是尾参数,那么length属性也不再计入后面的参数了。

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

作用域

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

var x = 1;

function f(x, y = x) {
  console.log(y);
}

f(2) // 2

上面代码中,参数y的默认值等于变量x。调用函数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。

注意

如果参数的默认值是一个函数,该函数的作用域也遵守这个规则。请看下面的例子

let foo = 'outer';

function bar(func = () => foo) {
  let foo = 'inner';
  console.log(func());
}

bar(); // outer

上面代码中,函数bar的参数func的默认值是一个匿名函数,返回值为变量foo。函数参数形成的单独作用域里面,并没有定义变量foo,所以foo指向外层的全局变量foo,因此输出outer。

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的值都没变。

rest参数

ES6引入rest参数,形式为...变量名,用于获取函数的多余参数,这样就不需要使用arguments对象了。rest参数搭配的变量是一个数组,该变量将多余的参数放入数组中。

function add(...values) {
  let sum = 0;

  for (var val of values) {
    sum += val;
  }

  return sum;
}

add(2, 5, 3) // 10

arguments对象不是数组,而是一个类似数组的对象。所以为了使用数组的方法,必须使用Array.prototype.slice.call先将其转为数组。rest 参数就不存在这个问题,它就是一个真正的数组,数组特有的方法都可以使用。下面是一个利用 rest 参数改写数组push方法的例子。
注意

  • 注意,rest 参数之后不能再有其他参数(即只能是最后一个参数),否则会报错。
  • 函数的length属性,不包括 rest 参数。
箭头函数

需要注意的点

  1. 普通函数内部的this指的是这个函数在被调用的时候函数所在的对象,而箭头函数内部的this指的是箭头函数被声明时箭头函数所在的对象
  2. 不可以当做构造函数,也就是说不可以使用new命令,否则会抛出错误
  3. 不可以使用arguments对象,改对象在函数体内不存在。如果要用可以用rest参数代替
  4. 不可以使用yield命令,因此箭头函数不能用做Generator函数
function Timer() {
  this.s1 = 0;
  this.s2 = 0;
  // 箭头函数
  setInterval(() => this.s1++, 1000);
  // 普通函数
  setInterval(function () {
    this.s2++;
  }, 1000);
}

var timer = new Timer(); // 使用new操作符的时候,会执行构造函数中的代码块,所以,两个定时器在此时都会被执行

setTimeout(() => console.log('s1: ', timer.s1), 3100);
setTimeout(() => console.log('s2: ', timer.s2), 3100);
// s1: 3
// s2: 0

在上述代码中,Timer构造函数中的两个定时器都会在使用new操作符的时候被执行,但不同的是,第一个定时器使用了箭头函数,此时函数内部的this指向Timer构造函数,而第二个定时器的函数是普通匿名函数,函数内部的this是指向全局的,而全局中没有s2属性,所以如果此时在这个匿名函数里打印this.s2的话,则会发现控制台会输出NaN

不适用场合

  1.  const cat = {
     	lives: 9,
     	jumps: () => {
     		this.lives--;
     	}
     }
    
    上面代码中,cat.jumps()方法是一个箭头函数,这是错误的。调用cat.jumps()时,如果是普通函数,该方法内部的this指向cat;如果写成上面那样的箭头函数,使得this指向全局对象,因此不会得到预期结果。
  2.  var button = document.getElementById('press');
     button.addEventListener('click', () => {
     	this.classList.toggle('on');
     });
    
    上面代码运行时,点击按钮会报错,因为button的监听函数是一个箭头函数,导致里面的this就是全局对象。如果改成普通函数,this就会动态指向被点击的按钮对象
尾调用优化

尾调用指某个函数的最后一步是调用另一个函数

  1. 尾调用优化
    函数调用会在内存形成一个“调用记录”,又称“调用帧”(call frame),保存调用位置和内部变量等信息。如果在函数A的内部调用函数B,那么在A的调用帧上方,还会形成一个B的调用帧。等到B运行结束,将结果返回到A,B的调用帧才会消失。如果函数B内部还调用函数C,那就还有一个C的调用帧,以此类推。所有的调用帧,就形成一个“调用栈”(call stack)。

    尾调用由于是函数的最后一步操作,所以不需要保留外层函数的调用帧,因为调用位置、内部变量等信息都不会再用到了,只要直接用内层函数的调用帧,取代外层函数的调用帧就可以了。
    这就叫做“尾调用优化”(Tail call optimization),即只保留内层函数的调用帧。如果所有函数都是尾调用,那么完全可以做到每次执行时,调用帧只有一项,这将大大节省内存。这就是“尾调用优化”的意义。

    注意,只有不再用到外层函数的内部变量,内层函数的调用帧才会取代外层函数的调用帧,否则就无法进行“尾调用优化”。

       function addOne(a){
          var one = 1;
          function inner(b){
            return b + one;
          }
          return inner(a);
       }
    

    上面的函数不会进行尾调用优化,因为内层函数inner用到了外层函数addOne的内部变量one

  2. 尾递归
    递归非常耗费内存,很容易发生“栈溢出”错误,但对于尾递归来说则不会存在这个问题,比如一个阶乘函数

    function factorial(n) {
       if (n === 1) return 1;
       return n * factorial(n - 1);
    }
    
    factorial(5) 
    

    如果改写成尾递归

    function factorial(n, total) {
       if (n === 1) return total;
       return factorial(n - 1, n * total);
    }
    
    factorial(5, 1)
    
  3. 递归函数的改写
    尾递归的实现,往往需要改写递归函数,确保最后一步只调用自身。做到这一点的方法,就是把所有用到的内部变量改写成函数的参数。
    修改上面的递归函数如下:

    // 在尾递归函数之外,再提供一个正常形式的函数
    function tailFactorial(n, total) {
     	if (n === 1) return total;
     	return tailFactorial(n - 1, n * total);
     }
    
     function factorial(n) {
     	return tailFactorial(n, 1);
     }
    
     factorial(5) // 120
    

    或者

    // 柯里化
    function currying(fn, n) {
     	return function (m) {
     		return fn.call(this, m, n);
      	};
     }
    function tailFactorial(n, total) {
     	if (n === 1) return total;
     	 return tailFactorial(n - 1, n * total);
    }
    const factorial = currying(tailFactorial, 1);
    factorial(5) // 120
    

    或者

    function factorial(n, total = 1) {
       if (n === 1) return total;
       return factorial(n - 1, n * total);
    }
    factorial(5) // 120
    

注意:尾递归优化只在严格模式下生效,正常模式下尾递归优化的实现请参考ECMAScript 入门

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值