箭头函数返回对象 && 尾调用优化
如果箭头函数的代码块部分多于一条语句,就要使用大括号将它们括起来,并且使用return
语句返回。
var sum = (num1, num2) => { return num1 + num2; }
箭头函数返回对象,由于大括号被解释为代码块,所以如果箭头函数直接返回一个对象,必须在对象外面加上括号。
var getTempItem = id => ({ id: id, name: "Temp" });
箭头函数可以与变量解构结合使用。
const full = ({ first, last }) => first + ' ' + last; // 等同于 function full(person) { return person.first + ' ' + person.last; }
其他:
ES6允许使用“箭头”(=>
)定义函数。
var f = v => v;
上面的箭头函数等同于:
1 var f = function(v) { 2 return v; 3 };
如果箭头函数不需要参数或需要多个参数,就使用一个圆括号代表参数部分。
1 var f = () => 5; 2 // 等同于 3 var f = function () { return 5 }; 4 5 var sum = (num1, num2) => num1 + num2; 6 // 等同于 7 var sum = function(num1, num2) { 8 return num1 + num2; 9 };
如果箭头函数的代码块部分多于一条语句,就要使用大括号将它们括起来,并且使用return
语句返回。
var sum = (num1, num2) => { return num1 + num2; }
由于大括号被解释为代码块,所以如果箭头函数直接返回一个对象,必须在对象外面加上括号。
var getTempItem = id => ({ id: id, name: "Temp" });
箭头函数可以与变量解构结合使用。
1 const full = ({ first, last }) => first + ' ' + last; 2 3 // 等同于 4 function full(person) { 5 return person.first + ' ' + person.last; 6 }
使用注意点
箭头函数有几个使用注意点。
(1)函数体内的this
对象,就是定义时所在的对象,而不是使用时所在的对象。
(2)不可以当作构造函数,也就是说,不可以使用new
命令,否则会抛出一个错误。
(3)不可以使用arguments
对象,该对象在函数体内不存在。如果要用,可以用Rest参数代替。
(4)不可以使用yield
命令,因此箭头函数不能用作Generator函数。
this
指向的固定化,并不是因为箭头函数内部有绑定this
的机制,实际原因是箭头函数根本没有自己的this
,导致内部的this
就是外层代码块的this
。正是因为它没有this
,所以也就不能用作构造函数。
除了this
,以下三个变量在箭头函数之中也是不存在的,指向外层函数的对应变量:arguments
、super
、new.target
。
1 function foo() { 2 setTimeout(() => { 3 console.log('args:', arguments); 4 }, 100); 5 } 6 7 foo(2, 4, 6, 8) 8 // args: [2, 4, 6, 8]
上面代码中,箭头函数内部的变量arguments
,其实是函数foo
的arguments
变量。
另外,由于箭头函数没有自己的this
,所以当然也就不能用call()
、apply()
、bind()
这些方法去改变this
的指向。
1 (function() { 2 return [ 3 (() => this.x).bind({ x: 'inner' })() 4 ]; 5 }).call({ x: 'outer' }); 6 // ['outer']
上面代码中,箭头函数没有自己的this
,所以bind
方法无效,内部的this
指向外部的this
。
长期以来,JavaScript语言的this
对象一直是一个令人头痛的问题,在对象方法中使用this
,必须非常小心。箭头函数”绑定”this
,很大程度上解决了这个困扰。
函数绑定
箭头函数可以绑定this
对象,大大减少了显式绑定this
对象的写法(call
、apply
、bind
)。但是,箭头函数并不适用于所有场合,所以ES7提出了“函数绑定”(function bind)运算符,用来取代call
、apply
、bind
调用。虽然该语法还是ES7的一个提案,但是Babel转码器已经支持。
函数绑定运算符是并排的两个双冒号(::),双冒号左边是一个对象,右边是一个函数。该运算符会自动将左边的对象,作为上下文环境(即this对象),绑定到右边的函数上面。
1 foo::bar; 2 // 等同于 3 bar.bind(foo); 4 5 foo::bar(...arguments); 6 // 等同于 7 bar.apply(foo, arguments); 8 9 const hasOwnProperty = Object.prototype.hasOwnProperty; 10 function hasOwn(obj, key) { 11 return obj::hasOwnProperty(key); 12 }
如果双冒号左边为空,右边是一个对象的方法,则等于将该方法绑定在该对象上面。
1 var method = obj::obj.foo; 2 // 等同于 3 var method = ::obj.foo; 4 5 let log = ::console.log; 6 // 等同于 7 var log = console.log.bind(console);
由于双冒号运算符返回的还是原对象,因此可以采用链式写法。
尾调用优化
什么是尾调用?
尾调用(Tail Call)是函数式编程的一个重要概念,本身非常简单,一句话就能说清楚,就是指某个函数的最后一步是调用另一个函数。
1 function f(x){ 2 return g(x); 3 }
上面代码中,函数f的最后一步是调用函数g,这就叫尾调用。
“尾调用优化”(Tail call optimization),即只保留内层函数的调用帧。如果所有函数都是尾调用,那么完全可以做到每次执行时,调用帧只有一项,这将大大节省内存。这就是“尾调用优化”的意义。
严格模式
ES6的尾调用优化只在严格模式下开启,正常模式是无效的。
这是因为在正常模式下,函数内部有两个变量,可以跟踪函数的调用栈。
func.arguments
:返回调用时函数的参数。func.caller
:返回调用当前函数的那个函数。
尾调用优化发生时,函数的调用栈会改写,因此上面两个变量就会失真。严格模式禁用这两个变量,所以尾调用模式仅在严格模式下生效。
1 function restricted() { 2 "use strict"; 3 restricted.caller; // 报错 4 restricted.arguments; // 报错 5 } 6 restricted();
箭头函数与常规函数对比
一个箭头函数与一个普通的函数在两个方面不一样:
- 下列变量的构造是词法的:
arguments
,super
,this
,new.target
- 不能被用作构造函数:没有内部方法
[[Construct]]
(该方法允许普通的函数通过new
调用),也没有prototype
属性。因此,new (() => {})
会抛出错误。
除了那些意外,箭头函数和普通的函数没有明显的区别。例如, typeof
和 instanceof
产生同样的结果:
1 > typeof () => {} 2 //'function' 3 > () => {} instanceof Function 4 //true 5 6 > typeof function () {} 7 //'function' 8 > function () {} instanceof Function 9 //true
函数表达式和对象字面量是例外,这种情形下必须放在括号里面,因为它们看起来像是函数声明和代码块。
.