面试官问:JS 的 this 指向
前言
大家好,我是若川。为了能帮助到更多对源码感兴趣、想学会看源码、提升自己前端技术能力的同学。我倾力最近组织了源码共读活动,已进行三个月,大家一起交流学习,共同进步,很多人都表示收获颇丰。
这是面试官问系列的第四篇,旨在帮助读者提升
JS
基础知识,包含new、call、apply、this、继承
相关知识。<br>面试官问系列
文章如下:感兴趣的读者可以点击阅读。<br>1.面试官问:能否模拟实现JS的new操作符<br>2.面试官问:能否模拟实现JS的bind方法<br>3.面试官问:能否模拟实现JS的call和apply方法<br>4.面试官问:JS的this指向<br>5.面试官问:JS的继承<br>
面试官出很多考题,基本都会变着方式来考察this
指向,看候选人对JS
基础知识是否扎实。读者可以先拉到底部看总结,再谷歌(或各技术平台)搜索几篇类似文章,看笔者写的文章和别人有什么不同(欢迎在评论区评论不同之处),对比来看,验证与自己现有知识是否有盲点,多看几篇,自然就会完善自身知识。
附上之前写文章写过的一段话:已经有很多关于
this
的文章,为什么自己还要写一遍呢。学习就好比是座大山,人们沿着不同的路登山,分享着自己看到的风景。你不一定能看到别人看到的风景,体会到别人的心情。只有自己去登山,才能看到不一样的风景,体会才更加深刻。<br>
函数的this
在调用时绑定的,完全取决于函数的调用位置(也就是函数的调用方法)。为了搞清楚this
的指向是什么,必须知道相关函数是如何调用的。
全局上下文
非严格模式和严格模式中 this 都是指向顶层对象(浏览器中是window
)。
函数上下文
普通函数调用模式
你可能会误以为window.doSth()
是调用的,所以是指向window
。虽然本例中window.doSth
确实等于doSth
。name
等于window.name
。上面代码中这是因为在ES5
中,全局变量是挂载在顶层对象(浏览器是window
)中。事实上,并不是如此。
这个例子中let
没有给顶层对象中(浏览器是 window)添加属性,window.name2和window.doSth
都是undefined
。
严格模式中,普通函数中的this
则表现不同,表现为undefined
。
看过的《你不知道的JavaScript
》上卷的读者,应该知道书上将这种叫做默认绑定。对call
,apply
熟悉的读者会类比为:
效果是一样的,call
,apply
作用之一就是用来修改函数中的this
指向为第一个参数的。第一个参数是undefined
或者null
,非严格模式下,是指向window
。严格模式下,就是指向第一个参数。后文详细解释。<br>经常有这类代码(回调函数),其实也是普通函数调用模式。
对象中的函数(方法)调用模式
但往往会有以下场景,把对象中的函数赋值成一个变量了。这样其实又变成普通函数了,所以使用普通函数的规则(默认绑定)。
call、apply、bind
调用模式
上文提到call
、apply
,这里详细解读一下。先通过MDN
认识下call
和apply
MDN 文档:Function.prototype.call()<br>语法<br>
thisArg<br>在fun
函数运行时指定的this
值。需要注意的是,指定的this
值并不一定是该函数执行时真正的this
值,如果这个函数处于非严格模式下,则指定为null
和undefined
的this
值会自动指向全局对象(浏览器中就是window
对象),同时值为原始值(数字,字符串,布尔值)的this
会指向该原始值的自动包装对象。<br>arg1, arg2, ...<br>指定的参数列表<br>返回值<br>返回值是你调用的方法的返回值,若该方法没有返回值,则返回undefined
。<br>apply
和call
类似。只是参数不一样。它的参数是数组(或者类数组)。
根据参数thisArg
的描述,可以知道,call
就是改变函数中的this
指向为thisArg
,并且执行这个函数,这也就使JS
灵活很多。严格模式下,thisArg
是原始值是值类型,也就是原始值。不会被包装成对象。举个例子:
虽然一般不会把thisArg
参数写成值类型。但还是需要知道这个知识。之前写过一篇文章:面试官问:能否模拟实现JS
的call
和apply
方法就是利用对象上的函数this
指向这个对象,来模拟实现call
和apply
的。感兴趣的读者思考如何实现,再去看看笔者的实现。
bind
和call
和apply
类似,第一个参数也是修改this
指向,只不过返回值是新函数,新函数也能当做构造函数(new
)调用。MDN Function.prototype.bind
bind()
方法创建一个新的函数, 当这个新函数被调用时this
键值为其提供的值,其参数列表前几项值为创建时指定的参数序列。<br>语法:fun.bind(thisArg[, arg1[, arg2[, ...]]])<br>参数:thisArg 调用绑定函数时作为 this 参数传递给目标函数的值。 如果使用new
运算符构造绑定函数,则忽略该值。当使用bind
在setTimeout
中创建一个函数(作为回调提供)时,作为thisArg
传递的任何原始值都将转换为object
。如果没有提供绑定的参数,则执行作用域的this
被视为新函数的thisArg
。arg1, arg2, ...当绑定函数被调用时,这些参数将置于实参之前传递给被绑定的方法。返回值返回由指定的this
值和初始化参数改造的原函数拷贝。
之前也写过一篇文章:面试官问:能否模拟实现JS
的bind
方法就是利用call
和apply
指向这个thisArg
参数,来模拟实现bind
的。感兴趣的读者思考如何实现,再去看看笔者的实现。
构造函数调用模式
使用new
操作符调用函数,会自动执行以下步骤。
创建了一个全新的对象。
这个对象会被执行
[[Prototype]]
(也就是__proto__
)链接。生成的新对象会绑定到函数调用的
this
。通过
new
创建的每个对象将最终被[[Prototype]]
链接到这个函数的prototype
对象上。如果函数没有返回对象类型
Object
(包含Functoin
,Array
,Date
,RegExg
,Error
),那么new
表达式中的函数调用会自动返回这个新的对象。
由此可以知道:new
操作符调用时,this
指向生成的新对象。特别提醒一下,new
调用时的返回值,如果没有显式返回对象或者函数,才是返回生成的新对象。
很多人或者文章都忽略了这一点,直接简单用typeof
判断对象。虽然实际使用时不会显示返回,但面试官会问到。
之前也写了一篇文章面试官问:能否模拟实现JS
的new
操作符,是使用 apply 来把 this 指向到生成的新生成的对象上。感兴趣的读者思考如何实现,再去看看笔者的实现。
原型链中的调用模式
会发现这个似曾相识。这就是对象上的方法调用模式。自然是指向生成的新对象。如果该对象继承自其它对象。同样会通过原型链查找。上面代码使用ES6
中class
写法则是:
babel
es6
转换成es5
的结果,可以去babeljs网站转换测试
自行试试。
由此看出,ES6
的class
也是通过构造函数模拟实现的,是一种语法糖。
箭头函数调用模式
先看箭头函数和普通函数的重要区别:
1、没有自己的
this
、super
、arguments
和new.target
绑定。2、不能使用new
来调用。3、没有原型对象。4、不可以改变this
的绑定。5、形参名称不能重复。
箭头函数中没有this
绑定,必须通过查找作用域链来决定其值。如果箭头函数被非箭头函数包含,则this
绑定的是最近一层非箭头函数的this
,否则this
的值则被设置为全局对象。比如:
其实就是相当于箭头函数外的this
是缓存的该箭头函数上层的普通函数的this
。如果没有普通函数,则是全局对象(浏览器中则是window
)。也就是说无法通过call
、apply
、bind
绑定箭头函数的this
(它自身没有this
)。而call
、apply
、bind
可以绑定缓存箭头函数上层的普通函数的this
。比如:
DOM
事件处理函数调用
addEventerListener、attachEvent、onclick
onclick
和addEventerListener
是指向绑定事件的元素。一些浏览器,比如IE6~IE8
下使用attachEvent
,this
指向是window
。顺便提下:面试官也经常考察ev.currentTarget
和ev.target
的区别。ev.currentTarget
是绑定事件的元素,而ev.target
是当前触发事件的元素。比如这里的分别是ul
和li
。但也可能点击的是ul
,这时ev.currentTarget
和ev.target
就相等了。
内联事件处理函数调用
第一个是button
本身,所以是true
,第二个是window
。这里跟严格模式没有关系。当然我们现在不会这样用了,但有时不小心写成了这样,也需要了解。
其实this
的使用场景还有挺多,比如对象object
中的getter
、setter
的this
,new Function()
、eval
。但掌握以上几种,去分析其他的,就自然迎刃而解了。使用比较多的还是普通函数调用、对象的函数调用、new
调用、call、apply、bind
调用、箭头函数调用。那么他们的优先级是怎样的呢。
优先级
而箭头函数的this
是上层普通函数的this
或者是全局对象(浏览器中是window
),所以排除,不算优先级。
试想一下,如果是Student.doSth.call(person)
先执行的情况下,那new
执行一个函数。是没有问题的。然而事实上,这代码是报错的。运算符优先级是new
比点号低,所以是执行new (Student.doSth.call)(person)
而Function.prototype.call
,虽然是一个函数(apply
、bind
也是函数),跟箭头函数一样,不能用new
调用。所以报错了。
这是因为函数内部有两个不同的方法:[[Call]]
和[[Constructor]]
。当使用普通函数调用时,[[Call]]
会被执行。当使用构造函数调用时,[[Constructor]]
会被执行。call
、apply
、bind
和箭头函数内部没有[[Constructor]]
方法。
从上面的例子可以看出普通函数调用优先级最低,其次是对象上的函数。call(apply、bind)
调用方式和new
调用方式的优先级,在《你不知道的 JavaScript》是对比bind
和new
,引用了mdn
的bind
的ployfill
实现,new
调用时 bind 之后的函数,会忽略bind
绑定的第一个参数,(mdn
的实现其实还有一些问题,感兴趣的读者,可以看我之前的文章:面试官问:能否模拟实现JS
的bind
方法),说明new
的调用的优先级最高。所以它们的优先级是new
调用 > call、apply、bind
调用 > 对象上的函数调用 > 普通函数调用。
总结
如果要判断一个运行中函数的 this
绑定, 就需要找到这个函数的直接调用位置。 找到之后就可以顺序应用下面这四条规则来判断 this
的绑定对象。<br>
new
调用:绑定到新创建的对象,注意:显示return
函数或对象,返回值不是新创建的对象,而是显式返回的函数或对象。<br>call
或者apply
( 或者bind
) 调用:严格模式下,绑定到指定的第一个参数。非严格模式下,null
和undefined
,指向全局对象(浏览器中是window
),其余值指向被new Object()
包装的对象。<br>对象上的函数调用:绑定到那个对象。<br>
普通函数调用: 在严格模式下绑定到
undefined
,否则绑定到全局对象。<br>
ES6
中的箭头函数:不会使用上文的四条标准的绑定规则, 而是根据当前的词法作用域来决定this
, 具体来说, 箭头函数会继承外层函数,调用的 this 绑定( 无论 this 绑定到什么),没有外层函数,则是绑定到全局对象(浏览器中是window
)。 这其实和 ES6
之前代码中的 self = this
机制一样。
DOM
事件函数:一般指向绑定事件的DOM
元素,但有些情况绑定到全局对象(比如IE6~IE8
的attachEvent
)。
一定要注意,有些调用可能在无意中使用普通函数绑定规则。 如果想“ 更安全” 地忽略 this
绑定, 你可以使用一个对象, 比如 ø = Object.create(null)
, 以保护全局对象。
面试官考察this
指向就可以考察new、call、apply、bind
,箭头函数等用法。从而扩展到作用域、闭包、原型链、继承、严格模式等。这就是面试官乐此不疲的原因。
读者发现有不妥或可改善之处,欢迎指出。另外觉得写得不错,可以点个赞,也是对笔者的一种支持。
考题
this
指向考题经常结合一些运算符等来考察。看完本文,不妨通过以下两篇面试题测试一下。<br>小小沧海:一道常被人轻视的前端JS面试题<br>从这两套题,重新认识JS的this、作用域、闭包、对象
扩展阅读
你不知道的JavaScript 上卷<br>冴羽:JavaScript深入之从ECMAScript规范解读this<br>这波能反杀:前端基础进阶(五):全方位解读this<br>
最后可以持续关注我 @若川。欢迎与我交流,参与 源码共读 活动,每周大家一起学习 200 行左右的源码,共同进步。
版权声明: 本文为 InfoQ 作者【若川】的原创文章。
原文链接:【http://xie.infoq.cn/article/5e8296341e5b523d745ce7cec】。文章转载请联系作者。
评论