深入理解Js中的this
JavaScript
作用域为静态作用域static scope
,但是在Js
中的this
却是一个例外,this
的指向问题就类似于动态作用域,其并不关心函数和作用域是如何声明以及在何处声明的,只关心它们从何处调用,this
的指向在函数定义的时候是确定不了的,只有函数执行的时候才能确定this
到底指向谁,当然实际上this
的最终指向的是那个调用它的对象。
作用域
我们先来了解一下JavaScript
的作用域,以便理解为什么说this
更类似于动态作用域,通常来说,一段程序代码中所用到的名字并不总是有效或可用的,而限定这个名字的可用性的代码范围就是这个名字的作用域scope
,当一个方法或成员被声明,他就拥有当前的执行上下文context
环境,在有具体值的context
中,表达式是可见也都能够被引用,如果一个变量或者其他表达式不在当前的作用域,则将无法使用。作用域也可以根据代码层次分层,以便子作用域可以访问父作用域,通常是指沿着链式的作用域链查找,而不能从父作用域引用子作用域中的变量和引用。
JavaScript
作用域为静态作用域static scope
,也可以称为词法作用域lexical scope
,其主要特征在于,函数作用域中遇到既不是参数也不是函数内部定义的局部变量时,去函数定义时上下文中查,而与之相对应的是动态作用域dynamic scope
则不同,其函数作用域中遇到既不是参数也不是函数内部定义的局部变量时,到函数调用时的上下文中去查。
调用s()
是打印的a
为1
,此为静态作用域,也就是声明时即规定作用域,而假如是动态作用域的话在此处会打印2
。现在大部分语言都采用静态作用域,比如C
、C++
、Java
、PHP
、Python
等等,具有动态作用域的语言有Emacs Lisp
、Common Lisp
、Perl
等。
全局作用域
直接声明在顶层的变量或方法就运行在全局作用域,借用函数的[[Scopes]]
属性来查看作用域,[[Scopes]]
是保存函数作用域链的对象,是函数的内部属性无法直接访问但是可以打印来查看。
函数作用域
当声明一个函数后,在函数内部声明的方法或者成员的运行环境就是此函数的函数作用域
块级作用域
代码块内如果存在let
或者const
,代码块会对这些命令声明的变量从块的开始就形成一个封闭作用域。
分析
我们在使用this
之前有必要了解为什么在JavaScript
中要有this
这个设计,在这之前我们先举个小例子,通常我们使用this
时可能会遇到的典型问题就类似于下面这样,虽然我们运行的都是同一个函数,但是执行的结果可能会不同。
产生这样的结果的原因就是因为使用了this
关键字,前文已经提到了this
必须要在运行时才能确定,在这里,对于obj.say()
来说,say()
运行的环境是obj
对象,对于window.say()
来说,say()
运行的环境是window
对象,所以两者运行的结果不同。
此时我们就来了解一下,为什么JavaScript
会有this
这样一个设计,我们首先来了解一下JavaScript
的内存结构中的堆栈,堆heap
是动态分配的内存,大小不定也不会自动释放,栈stack
为自动分配的内存空间,在代码执行过程中自动释放。JavaScript
在栈内存中提供一个供Js
代码执行的环境,关于作用域以及函数的调用都是栈内存中执行的。Js
中基本数据类型String
、Number
、Boolean
、Null
、Undefined
、Symbol
,占用空间小且大小固定,值直接保存在栈内存中,是按值访问,对于Object
引用类型,其指针放置于栈内存中,指向堆内存的实际地址,是通过引用访问。
那么此时我们来看一下上边的示例,在内存中对于obj
对象是存放在堆内存的,如果在对象中的属性值是个基本数据类型,那么其会跟这个对象存储在同一块内存区域,但是这个属性值同样可能是一个引用类型,那么对于say
这个函数也是存在于堆内存中的,实际上在此处我们可以将其理解为这个函数的实际定义在一个内存区域(以一个匿名函数的形式存在),而obj
这个对象同样在其他的一个内存区域,obj
通过say
这个属性指向了这个匿名函数的内存地址,obj --say--> funtion
,那么此时问题来了,由于这种内存结构,我们可以使任何变量对象等指向这个函数,所以在JavaScript
的函数中是需要允许我们取得运行环境的值以供使用的,我们必须要有一种机制,能够在函数体内部获得当前的运行环境context
,所以this
就出现了,它的设计目的就是在函数体内部,指代函数当前的运行环境。
使用
我们需要记住,this
是在运行时进行绑定的,并不是在定义时绑定,它的context
取决于函数调用时的各种条件,简单来说this
的绑定和函数声明的位置没有任何关系,只取决于函数的调用方式,再简单来说this
永远指向调用者,但箭头函数除外,接下来我们介绍一下五种this
的使用情况。
默认绑定
最常用的函数调用类型即独立函数调用,这个也是优先级最低的一个,此时this
指向全局对象,注意如果使用严格模式strict mode
,那么全局对象将无法使用默认绑定,因此this
会变为undefined
。
隐式绑定
对象属性引用链中只有最顶层或者说最后一层会影响this
,同样也是this
永远指向调用者,具体点说应该是指向最近的调用者,当然箭头函数除外,另外我们可能有意无意地创建间接引用地情况,这个情况下同样也适用于this
指向调用者,在上文分析那部分使用的示例就属于间接引用的情况。
显示绑定
如果我们想把某个函数强制在某个环境即对象上,那么就可以使用apply
、call
、bind
强制绑定this
去执行即可,每个Function
对象都存在apply()
、call()
、bind()
方法,其作用都是可以在特定的作用域中调用函数,等于设置函数体内this
对象的值,以扩充函数赖以运行的作用域,此外需要注意使用bind
绑定this
的优先级是大于apply
和call
的,即使用bind
绑定this
后的函数使用apply
和call
是无法改变this
指向的。
new绑定
在JavaScript
中new
是一个语法糖,可以简化代码的编写,可以批量创建对象实例,在new
的过程实际上进行了以下操作。
- 创建一个空的简单
JavaScript
对象即{}
。 - 链接该对象(即设置该对象的构造函数)到另一个对象。
- 将步骤
1
新创建的对象作为this
的上下文context
。 - 如果该函数没有返回对象,则返回步骤
1
创建的对象。
箭头函数
箭头函数没有单独的this
,在箭头函数的函数体中使用this
时,会取得其上下文context
环境中的this
。箭头函数调用时并不会生成自身作用域下的this
,它只会从自己的作用域链的上一层继承this
。由于箭头函数没有自己的this
指针,使用apply
、call
、bind
仅能传递参数而不能动态改变箭头函数的this
指向,另外箭头函数不能用作构造器,使用new
实例化时会抛出异常。
示例
每日一题
参考